논리학

집합론

수론

조합론

그래프 이론

알고리즘

정보 이론

계산 가능성 이론, 계산 복잡도 이론

확률론

선형대수학

함수

부분 순서 집합

증명 이론

계수와 관계



정말 컴퓨터과학의 정수같은 하나하나의 주제인데 


한 학기에 이걸 다 가르칠려니


맛뵈기 수준으로만 가르치게 되는거지