Mathematical Logic

Reading materials and resources:

• T.A. Slaman and W. H. Woodin. Mathematical Logic (The Berkeley undergraduate course). Preprint. December 2019.
• H. Enderton. A Mathematical Introduction to Logic.
  • 人民邮电出版社. 2006. （有中文译本，但墙裂;)不推荐）
  • Harcourt/Academic Press, Burlington, MA, second edition, 2001.
• BBC 纪录片: The joy of logic (from Bilibili)
• 一本漫画书： Logicomix (122Mb).
• 维基百科（英文）: en.wikipedia.org
• mathoverflow: mathoverflow.net
• 知乎: zhihu.com

Other information:

• Email: nc\(.\)ude\(.\)unbxyz\(@\)ihs
• Homework: Homework problems are assigned every week along the course in the lecture slides, and due in two weeks.
• Course Project: Students are required to write a term paper on course related material. Here is the guideline and tex template for the course project.
• Teaching assistant: 彭杨波(Time & locations: TBA)

Updates:

• Fix links to homework solutions
• Upload the slide for the final review.

• Solutions to all the homeworks are uploaded.

• Add the second advanced topic: Abstract Logic, explaining why we choose the first order logic in mathematical practice.

• Upload the first advanced topic slide, which is on the famous Gödel's Incompleteness Theorem.

• Some deduction exercises.

• Upload slide FL06.

• Upload slide FL04 and FL05.

• Slide FL02 is uploaded.

• Slide FL01 is uploaded.

• Upload slide PL04.

• Reminder: Homework of week 1 is due this Thursday (March 14).
• Upload slide PL03.

• Upload slide PL01 and PL02.

• See section Files for the lecture slide for Week 1.
• Homeworks are marked online. Although picture formats are acceptable, LaTeX-ed homework is recommended.
• Here are the tex template (tex, pdf) for homework.
  The latest CTeX or TeX Live [for Windows], teTeX [for linux], macTeX [for MacOS] are recommended.
• Here is an online LaTeXing system overleaf.com.

Files:

• Lecture Slides:
  • Introduction
  • Propositional Logic: 01, 02, 03, 04.
  • First Order Logic: 01, 02, 03, 04, 05, 06.
  • Advanced topics: 01, 02.
• Homework Solutions: 01, 02, 03, 04, 05, 06, 07, 08, 09.
• Miscellaneous:
  • Templates for homework (tex, pdf).
  • Project guideline.
  • Templates for course project (tex, pdf).
  • Some deduction exercises.
  • Equivalent versions for three theorems in propositional logic.
  • Equivalent versions for three theorems in the first order logic.
  • Final review.
  
  ==============
  Last modified at