WHY: Description and Objectives

The course is intending to be parallel to LGC-201: Logics in Philosophy and LCS-202: Logics in Mathematics, helping computer scientists to be more familiar with the foundation of the fields they are working with, assisting new theoretic CS student to have a taste of the area, and promoting logics part in TCS.

There are three parts of the course. In the first part, we will go through the basis for logic, including systems and their syntax and semantics, then from Basic Law V and Russell’s Paradox to introducing set theory and axiomized deduction. In the second part, we will focus on classic Peano Arithmetics system and Turing Machine, examing some popular properties and results like provability, decidability, computability, incompleteness. In the third part, we will go through topics for how logics form the basis for CS and how could logics applied to CS.

Finally, you would understand include propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Godel’s incompleteness theorem; and an introduction to other logics such as second-order and temporal logic.

WHAT: Setups

Pre-req (not required, but highly recommended)

• Ability to reason deductively and logically (e.g. experiences in math/phil proofs)
• Comfortable with symbolic reasoning
• Experiences in programming (loop, recursion)

Course Time and Office Hour

• Course time: Typically 09:30-11:30 once a week for graduate or 09:30-10:45/14:00-15:15 twice a week for undergrad.
• Office Hour: Typically an hour in person just after the class or online by reservation with email.

Materials and Resources (not required)

TBA

Grading

Bonus points system, curving will only be applied in a very few cases.

40% Homework + 15% 1st Exam + 20% 2nd Exam + 25% Final Project/Paper

• Homework 1 (Due Week 03): PDF, $\TeX$
• Homework 2 (Due Week 05): PDF, $\TeX$
• Exam 1 (Week 05 in class): PDF, $\TeX$
• Homework 3 (Due Week 08): PDF, $\TeX$
• Homework 4 (Due Week 10): PDF, $\TeX$
• Exam 2 (Week 10 in class): PDF, $\TeX$
• (Homework 5 (Due Week 13): PDF, $\TeX$)
• Final Project or Final Paper (Due Last Class)
  • Final Project
  • Final Paper

HOW: Schedule

• Week 01: TBA
• Week 02: TBA
• Week 03: TBA
• Week 04: TBA
• Week 05: Review & Exam 1
• Week 06: TBA
• Week 07: TBA
• Week 08: TBA
• Week 09: TBA
• Week 10: Review & Exam 2
• Week 10+: TBA
• Week 10+: TBA
• Week 10+: TBA
• Week 10+: TBA

History