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

2020-07-15 17:34:38  2020-08-25 15:14:27 
수리논리 
실시간온라인(실시간온라인)  화2,3,목2(목3) 
 
김병한  이과대학 수학 
SciH246  2123-2585 
bkim@yonsei.ac.kr  office hours are offered by appointments
 
계산능력 및 모델화 능력 분석능력 독립적 이해력과 창의적 문제해결력
50 30 20
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
Online/None face-to-face lectures
(상대)
Homework (3 times, total 150 %);
Take Home 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/
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.
2020-09-01 2020-09-07
Propositional Logic 
 
(9.1.) Fall semester classes begin
(9.3. - 9.7.) Course add and drop period 
2020-09-08 2020-09-14
Propositional Logic 
 
 
2020-09-15 2020-09-21
Predicate Logic 
 
 
2020-09-22 2020-09-28
 
 
 
2020-09-29 2020-10-05
 
 
(9.30. - 10.2.) Chuseok Holiday
(10.3.) National Foundation Day 
2020-10-06 2020-10-12
Models and satisfaction 
 
(10.6. - 10.8.) Course withdrawal period
(10.7.) First third of the semester ends
(10.9.) Hangul Proclamation Day 
2020-10-13 2020-10-19
 
 
 
2020-10-20 2020-10-26
 
 
(10.20. - 10.26.) Midterm Examinations 
2020-10-27 2020-11-02
Completeness Theorem 
 
 
10  2020-11-03 2020-11-09
 
 
 
11  2020-11-10 2020-11-16
 
 
(11.16.) Second third of the semester ends 
12  2020-11-17 2020-11-23
Turing Machine 
 
 
13  2020-11-24 2020-11-30
 
 
 
14  2020-12-01 2020-12-07
Goedel`s Incompleteness Theorems 
 
 
15  2020-12-08 2020-12-14
 
 
(12.8. - 12.21.) Self-study and Final Examinations 
16  2020-12-15 2020-12-21
 
 
(12.8. - 12.21.) Self-study and Final Examinations