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

2013-12-24 11:35:39  2014-02-26 15:23:32 
수리논리학 
과225  월2,수2,3 
 
김병한  이과대학 수학 
Sci. 246  2585 
bkim@yonsei.ac.kr Thursdays 2-4 pm or by appointments
 
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
-`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://math.yonsei.ac.kr/bkim/
2014-03-03 2014-03-09
Propositional Logic 
 
(3.3) Spring semester classes begin (3.5 - 3.7) Course add and drop period 
2014-03-10 2014-03-16
Propositional Logic 
 
 
2014-03-17 2014-03-23
Predicate Logic 
 
 
2014-03-24 2014-03-30
 
 
 
2014-03-31 2014-04-06
Models and satisfaction 
 
(4.2 - 4.4) Course withdrawal period 
2014-04-07 2014-04-13
 
 
(4.9) First third of the semester ends 
2014-04-14 2014-04-20
Completeness Theorem 
 
(4.17 - 4.23) Midterm examinations 
2014-04-21 2014-04-27
 
 
(4.17 - 4.23) Midterm examinations 
2014-04-28 2014-05-04
 
 
 
10  2014-05-05 2014-05-11
Turing Machine 
 
(5.5)Children`s Day (5.6)Buddha`s Birthday (5.10) foundation day 
11  2014-05-12 2014-05-18
 
 
(5.16) Two thirds of the semester ends 
12  2014-05-19 2014-05-25
Godel`s Incompleteness Theorems 
 
 
13  2014-05-26 2014-06-01
 
 
 
14  2014-06-02 2014-06-08
 
 
(6.6) Memorial Day 
15  2014-06-09 2014-06-15
 
 
(6.9 - 6.21) Self-Study and Final examinations Period 
16  2014-06-16 2014-06-22
 
 
(6.9 - 6.21) Self-Study and Final examinations Period