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

2021-07-08 15:32:45  2021-08-25 13:59:54 
수리논리 
실시간온라인(실시간온라인)  화2,3,목2(목3) 
 
김병한  이과대학 수학 
Sci. Hall 246  2123-2585 
bkim@yonsei.ac.kr
 
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
(절대)
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/ : or LearnUs Class Announcement

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/
Lee, Hyoyoon   toxxinx@gmail.com
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.
2021-08-30 2021-09-05
Propositional Logic 
 
(8.30.) Fall semester classes begin
(9.3. - 9.7.) Course add and drop period 
2021-09-06 2021-09-12
Propositional Logic 
 
(9.3. - 9.7.) Course add and drop period 
2021-09-13 2021-09-19
Predicate Logic 
 
 
2021-09-20 2021-09-26
 
 
(9.20. - 9.22.) Chuseok Holiday 
2021-09-27 2021-10-03
 
 
 
2021-10-04 2021-10-10
Models and satisfaction 
 
(10.4.) Substitute holiday for National Foundation Day
(10.6.) First third of the semester ends 
2021-10-11 2021-10-17
 
 
(10.11.) Substitute holiday for Hangul Proclamation Day 
2021-10-18 2021-10-24
 
 
(10.18. - 10.22.) Midterm Examinations 
2021-10-25 2021-10-31
Completeness Theorem 
 
(10.25. - 10.27.) Course withdrawal period
(10.29. - 11.2.) Application Period for S/U evaluation 
10  2021-11-01 2021-11-07
 
 
(10.29. - 11.2.) Application Period for S/U evaluation 
11  2021-11-08 2021-11-14
 
 
(11.12.) Second third of the semester ends 
12  2021-11-15 2021-11-21
Turing Machine 
 
 
13  2021-11-22 2021-11-28
 
 
 
14  2021-11-29 2021-12-05
Goedel`s Incompleteness Theorems 
 
 
15  2021-12-06 2021-12-12
 
 
(12.6. - 12.10.) Self-study 
16  2021-12-13 2021-12-17
 
 
(12.13. - 12.17.) Final Examinations