연세대학교 학사관리

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


	2013-12-24 11:35:39		2014-02-26 15:23:32
	수리논리학		3
	과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/


1	2014-03-03 2014-03-09	Propositional Logic	(3.3) Spring semester classes begin (3.5 - 3.7) Course add and drop period
2	2014-03-10 2014-03-16	Propositional Logic
3	2014-03-17 2014-03-23	Predicate Logic
4	2014-03-24 2014-03-30
5	2014-03-31 2014-04-06	Models and satisfaction	(4.2 - 4.4) Course withdrawal period
6	2014-04-07 2014-04-13		(4.9) First third of the semester ends
7	2014-04-14 2014-04-20	Completeness Theorem	(4.17 - 4.23) Midterm examinations
8	2014-04-21 2014-04-27		(4.17 - 4.23) Midterm examinations
9	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