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

2015-12-22 16:50:04  2016-03-02 14:00:36 
수리논리학 
과254  화2,목2,3 
 
김병한  이과대학 수학 
과 246   
bkim@yonsei.ac.kr
 
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/
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.
2016-03-02 2016-03-08
Propositional Logic 
 
(3.2)개강 (3.4 - 3.8) 수강신청 확인 및 변경 
2016-03-09 2016-03-15
Propositional Logic 
 
 
2016-03-16 2016-03-22
Predicate Logic 
 
 
2016-03-23 2016-03-29
 
 
 
2016-03-30 2016-04-05
Models and satisfaction 
 
 
2016-04-06 2016-04-12
 
 
(4.4 - 4.6) 수강철회, (4.8) 학기 1/3선 
2016-04-13 2016-04-19
Completeness Theorem 
 
(4.18 - 4.22) 중간시험 
2016-04-20 2016-04-26
 
 
(4.18 - 4.22) 중간시험 
2016-04-27 2016-05-03
 
 
 
10  2016-05-04 2016-05-10
Turing Machine 
 
(5.5)어린이날 
11  2016-05-11 2016-05-17
 
 
(5.14) 창립기념일 석가탄신일 , (5.16) 학기 2/3 선 
12  2016-05-18 2016-05-24
Godel`s Incompleteness Theorems 
 
 
13  2016-05-25 2016-05-31
 
 
 
14  2016-06-01 2016-06-07
 
 
(6.6) 현충일 
15  2016-06-08 2016-06-14
 
 
(6.8 - 6.21) 자율학습 및 기말시험 
16  2016-06-15 2016-06-21
 
 
(6.8 - 6.21) 자율학습 및 기말시험