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

2019-06-26 18:04:00  2019-08-30 14:47:52 
수리논리 
과227(과227)  화2,3,목2(목3) 
 
김병한  이과대학 수학 
   
김준희  이과대학 수학 
   
 
Undegraduate students who are mature in mathematical
reasoning.
In this course, we will cover basic mathematical logic such as  
propositional logic and first order (predicate) logic by studying the 
notions of truth, satisfaction, model, proof and Turing machine. 
Goedel`s completeness theorem will be presented and 
his incompleteness theorems will be introduced.
Elementary Set Theory
(절대)
Homeworks (3 times 150 %),
Exams (midterm 100%, final 150%)
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 (김준희)
2019-09-02 2019-09-08
Propositional Logic 
 
(9.2.) Fall semester classes begin
(9.5. - 9.9.) Course add and drop period 
2019-09-09 2019-09-15
Propositional Logic 
 
(9.5. - 9.9.) Course add and drop period
(9.6.) Upon Professor`s approval, class may be replaced by Yon-Kojeon
(9.12. - 9.14.) Chuseok Holiday 
2019-09-16 2019-09-22
Predicate Logic 
 
 
2019-09-23 2019-09-29
 
 
 
2019-09-30 2019-10-06
 
 
(10.1. - 10.4.) Course withdrawal period
(10.3.) National Foundation Day 
2019-10-07 2019-10-13
Models and satisfaction 
 
(10.9.) Hangul Proclamation Day
(10.10.) First third of the semester ends 
2019-10-14 2019-10-20
 
 
 
2019-10-21 2019-10-27
 
 
(10.21. - 10.25.) Midterm Examinations 
2019-10-28 2019-11-03
Completeness Theorem 
 
 
10  2019-11-04 2019-11-10
 
 
 
11  2019-11-11 2019-11-17
 
 
(11.15.) Second third of the semester ends 
12  2019-11-18 2019-11-24
Turing Machine 
 
 
13  2019-11-25 2019-12-01
 
 
 
14  2019-12-02 2019-12-08
Goedel`s Incompleteness Theorems 
 
 
15  2019-12-09 2019-12-15
 
 
(12.9. - 12.20.) Self-study and Final Examinations 
16  2019-12-16 2019-12-22
 
 
(12.9. - 12.20.) Self-study and Final Examinations