Mathematical Logic


Reading materials and resources:

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:

2025-03-27: 2025-03-20:
  • Slide FL02 is uploaded.
2025-03-13:
  • Slide FL01 is uploaded.
2025-03-11:
  • Upload slide PL04.
2025-03-09:
  • Reminder: Homework of week 1 is due this Thursday (March 14).
  • Upload slide PL03.
2025-02-26: 2025-02-19:
  • 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: