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

2014-06-23 12:41:18  2014-08-29 13:53:06 
수리논리 
과227(과227)  월3,4,수4(수3) 
 
김병한  이과대학 수학 
Sci. Bldg 246  2585 
bkim@yonsei.ac.kr
 
Advanced 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
Course will be proceeded by lectures and presentations
Homeworks (4 times, total 200 %) and 
Exam (final 150%)
+ presentation and else(quiz,...) 50%
-`A mathematical introduction to logic` by Herbert B. Enderton, 2nd Edn., 
Academic Press.

-Lecture notes  available at YSCEC 

or 
http://math.yonsei.ac.kr/bkim/ :

Mathematical logic class note; Complete proofs of Goedel`s Incompleteness 
Theorems
Complete proofs of Goedel`s incompleteness theorems.
Professor of Mathematics, Yonsei University
http://web.yonsei.ac.kr/bkim/
이정욱(Lee, Junguk) ljw@yonsei.ac.kr
2014-09-01 2014-09-07
Propositional Logic 
 
(9.1) Fall semester classes begin
(9.3 ~ 9.5)Course add and drop period 
2014-09-08 2014-09-14
Propositional Logic 
 
(9.7~9.10) Chuseok Holiday 
2014-09-15 2014-09-21
Predicate Logic 
 
 
2014-09-22 2014-09-28
 
 
 
2014-09-29 2014-10-05
Models and satisfaction 
 
(10.3) National Foundation Day 
2014-10-06 2014-10-12
 
 
(10.6~10.8) Course withdrawal
(10.8) First third of the semester ends
(10.9) Hangul Proclamation Day 
2014-10-13 2014-10-19
Completeness Theorem 
 
(10.16 ~ 10.22) Midterm Examinations 
2014-10-20 2014-10-26
 
 
(10.16 ~ 10.22) Midterm Examinations 
2014-10-27 2014-11-02
 
 
 
10  2014-11-03 2014-11-09
Turing Machine 
 
 
11  2014-11-10 2014-11-16
 
 
(11.14) Second third of the semester ends 
12  2014-11-17 2014-11-23
Godel`s Incompleteness Theorems 
 
 
13  2014-11-24 2014-11-30
 
 
 
14  2014-12-01 2014-12-07
 
 
 
15  2014-12-08 2014-12-14
 
 
(12.8 ~ 12.20) Self-Study and Final examinations Period 
16  2014-12-15 2014-12-21
 
Final (12.15) 
(12.8 ~ 12.20) Self-Study and Final examinations Period