教师：金小刚
学分：3.0
上课时间：周五3,4,5
评分规则：
作业：10%
小测：20%（2次，不提前通知）
期末考试：70%
课程笔记：
Chapter 1: The Foundations—Logic and Proofs