MAT3117-01 (2017학년도 2학기)

2017-06-15 12:29:04  2017-09-01 15:44:39 
수리논리 
과227(과227)  화2,3,목2(목3) 
 
김병한  이과대학 수학 
Sci 246   
bkim@yonsei.ac.kr, OH - by appointment
 
Undegraduate 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
Lecture and presentation
Homeworks (3 times 150 %) and 
Exams (midterm 100%, final 150%)
+ presentation and else
-`A mathematical introduction to logic` by Herbert B. Enderton, 2nd Edn., 
Academic Press.

-Lecture notes  available at 
http://math.yonsei.ac.kr/bkim/ :

Mathematical logic class note; Complete proofs of Goedel`s Incompleteness 
Theorems
Complete proofs of Goedel`s incompleteness theorems.
Byunghan Kim, Professor of Mathematics, Yonsei University
http://web.yonsei.ac.kr/bkim/
Kim, Joonhee (김준희)
2017-09-01 2017-09-07
Propositional Logic 
 
(9.1.) Fall semester classes begin
(9.5. - 9.7.) Course add and drop period 
2017-09-08 2017-09-14
Propositional Logic 
 
 
2017-09-15 2017-09-21
Predicate Logic 
 
 
2017-09-22 2017-09-28
 
 
(9.22.) Upon Professor`s approval, class may be replaced by Yon-Kojeon 
2017-09-29 2017-10-05
Models and satisfaction 
 
(10.3.) National Foundation Day
(10.3. - 10.6.) Chuseok Holiday 
2017-10-06 2017-10-12
 
 
(10.3. - 10.6.) Chuseok Holiday
(10.9.) Hangul Proclamation Day
(10.10.) First third of the semester ends
(10.11. - 10.13.) Course withdrawal period 
2017-10-13 2017-10-19
Completeness Theorem 
 
(10.11. - 10.13.) Course withdrawal period
(10.18. - 10.24.) Midterm Examinations 
2017-10-20 2017-10-26
 
 
(10.18. - 10.24.) Midterm Examinations 
2017-10-27 2017-11-02
 
 
 
10  2017-11-03 2017-11-09
Turing Machine 
 
 
11  2017-11-10 2017-11-16
 
 
(11.15.) Second third of the semester ends 
12  2017-11-17 2017-11-23
Goedel`s Incompleteness Theorems 
 
 
13  2017-11-24 2017-11-30
 
 
 
14  2017-12-01 2017-12-07
 
 
 
15  2017-12-08 2017-12-14
 
 
(12.8. - 12.21.) Self-study and Final Examinations 
16  2017-12-15 2017-12-21
 
 
(12.8. - 12.21.) Self-study and Final Examinations