mathematics-computing-logic

컴퓨팅의 기초가 되는 수리적 구조, 형식 논리, 확률론 및 정보 이론을 다루는 학습 노드입니다.

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

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

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

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

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

고차원 데이터의 구조를 체계적으로 다루는 선형대수학과, 이를 공간적 관점에서 해석하는 데이터 기하학을 다루는 학습 노드입니다.