MAT6000-01 (2021학년도 1학기)

2021-01-07 12:51:00  2021-03-02 11:56:29 
수리논리학 
과219  화4,목3,4 
 
김병한  이과대학 수학 
SciH246  2123-2585 
bkim@yonsei.ac.kr  office hour by appointment
 
Graduate students
We are aiming at proving Goedel`s Incompleteness Theorems. On the way, 
Propositional logic, First order (predicate) logic will be covered. The 
notions of truth, satisfaction, model, proof and Turing machine will be 
introduced too.
Elementary Set Theory
Course will be proceeded by lectures and presentations
Homeworks (4 or 5 times)  and 
+ presentation and else
Herbert B. Enderton, A mathematical Introduction to Logic 2nd edt, Academic Press 2001
Professor of Mathematics, Yonsei University
http://math.yonsei.ac.kr/bkim/
Lee(이봉훈) cjdthrltptkd@naver.com
We are aiming at proving Goedel`s Incompleteness Theorems. On the way, 
Propositional logic, First order (predicate) logic will be covered. The 
notions of truth, satisfaction, model, proof and Turing machine will be 
introduced too.
2021-03-02 2021-03-08
Propositional Logic 
 
(3.2.) 개강
(3.5. - 3.9.) 수강신청 확인 및 변경 
2021-03-09 2021-03-15
Propositional Logic 
 
(3.5. - 3.9.) 수강신청 확인 및 변경 
2021-03-16 2021-03-22
Predicate Logic 
 
 
2021-03-23 2021-03-29
 
 
 
2021-03-30 2021-04-05
Models and satisfaction 
 
(4.5. - 4.7.) 수강철회 
2021-04-06 2021-04-12
 
 
(4.5. - 4.7.) 수강철회
(4.7.) 학기 1/3선 
2021-04-13 2021-04-19
Completeness Theorem 
 
(4.19. - 4.23.) 중간시험 
2021-04-20 2021-04-26
 
 
(4.19. - 4.23.) 중간시험 
2021-04-27 2021-05-03
 
 
 
10  2021-05-04 2021-05-10
Turing Machine 
 
(5.5.) 어린이날 
11  2021-05-11 2021-05-17
 
 
(5.17.) 학기 2/3 선 
12  2021-05-18 2021-05-24
Godel`s Incompleteness Theorems 
 
(5.19.) 석가탄신일 
13  2021-05-25 2021-05-31
 
 
 
14  2021-06-01 2021-06-07
 
 
(6.6.) 현충일
(6.7. - 6.18.) 자율학습 및 기말시험 
15  2021-06-08 2021-06-14
 
 
(6.7. - 6.18.) 자율학습 및 기말시험 
16  2021-06-15 2021-06-18
 
 
(6.7. - 6.18.) 자율학습 및 기말시험