Math Logic / Discrete Structures & Modeling

집합론, 관계, 기초 논리, 계수 및 그래프 이론 등 컴퓨터 과학의 근간이 되는 이산적 구조를 다루는 학습 노드입니다.

객체를 배열하거나 선택하는 모든 가능한 경우의 수(Combinatorics)를 정량화하고, 알고리즘 성능 예측 및 확률 계산의 수리적 기반을 다루는 학습 노드입니다.

집합 간의 대응 규칙(Mapping)과 함수의 성질인 전사, 단사, 전단사를 정의하고, 알고리즘 분석 및 함수형 프로그래밍의 수학적 기틀을 다루는 학습 노드입니다.

객체(Node)들과 그들 사이의 연결(Edge)로 이루어진 추상적 네트워크 구조를 정의하고, 경로 최적화 및 복잡한 관계망 분석의 수학적 토대를 다루는 학습 노드입니다.

컴퓨팅의 가장 기초가 되는 객체들의 모임(Set)과 그들 사이의 대응 관계(Relation)를 정의하고, 데이터 모델링과 데이터베이스 이론의 수학적 토대를 다루는 학습 노드입니다.