#1. 명제 논리 : 논리 연산자와 기본 논리 규칙들에 대해 알아보자.
#2 : 술어 논리와 증명에 대해 알아보자.
#3 : 집합에 대해 알아보자.
#4 : 함수와 무한성에 대해 알아보자
#5 : 알고리즘에 대해 알아보자