Logic Lecture

Coq
Proofmood
- 피치 명제논리 증명시스템
- 명제논리와 1계논리의 의미론
- 피치 1계논리 증명시스템
- Coq 명제논리 증명시스템과 apply 택틱
집합론 입문
- 1장. 집합론, 수학의 언어
  - 1절. 집합을 나타내는 법
  - 2절. 집합의 연산과 그 기본성질
  - 3절. 함수
- 2장. 함수
  - 역함수
  - 함수의 상과 역상
  - 문제 모음
- 3장. 관계
  - 관계
  - 분할과 동등관계
  - 순서관계
- 4장. 토픽 몇 가지
  - 준동형사상과 몫구조
  - 폐포연산
  - 수학적 귀납법
- 5장. 기수와 서수 (준비중. 기수, 서수)
- 6장. 증명을 쓰는 법 (준비중. 증명의 구조, 연습)
튜링머신