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

2015-07-01 13:50:07  2015-08-31 16:03:47 
수리논리 
과B131(과B131)  수3,4,금4(금3) 
 
김병한  이과대학 수학 
Sci. Bldg 246  (교내)2585 
bkim@yonsei.ac.kr, OH: Wednesdays 2-4pm
 
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
Junguk Lee (이정욱),  ljw@yonsei.ac.kr
2015-09-01 2015-09-07
Propositional Logic 
 
(9.1) Fall semester classes begin (9.2 - 9.4) Course add and drop period 
2015-09-08 2015-09-14
Propositional Logic 
 
 
2015-09-15 2015-09-21
Predicate Logic 
 
 
2015-09-22 2015-09-28
 
 
(9.26 ~ 9.28) Chuseok Holiday 
2015-09-29 2015-10-05
Models and satisfaction 
 
(9.29) Substitue holiday 
2015-10-06 2015-10-12
 
 
(10.6 - 10.8) Course withdrawal period (10.8) First third of the semester ends (10.9) Hangul Proclamation Day 
2015-10-13 2015-10-19
Completeness Theorem 
 
(10.16 ~ 10.22) Midterm Examinations 
2015-10-20 2015-10-26
 
 
(10.16 ~ 10.22) Midterm Examinations 
2015-10-27 2015-11-02
 
 
 
10  2015-11-03 2015-11-09
Turing Machine 
 
 
11  2015-11-10 2015-11-16
 
 
(11.16) Two thirds of the semester ends 
12  2015-11-17 2015-11-23
Godel`s Incompleteness Theorems 
 
 
13  2015-11-24 2015-11-30
 
 
 
14  2015-12-01 2015-12-07
 
 
 
15  2015-12-08 2015-12-14
 
 
(12.8 - 12.21) Self-Study and Final examinations Period 
16  2015-12-15 2015-12-21
 
 
(12.8 - 12.21) Self-Study and Final examinations Period