邏輯 (Logic)

講者

• 柯向上 Hsiang-Shang Ko, 日本国立情報学研究所 National Institute of Informatics, Japan

大綱

• Propositional logic and natural deduction
• Semantics of propositional logic
• First-order logic
• Curry–Howard correspondence and dependently typed programming

課程資源

• lecture_1.pdf
• lecture_2.pdf
• lecture_3.pdf
• lecture_4.pdf
• homework.pdf
• logic-coursework-solution.pdf
• logic-homework-solution.pdf