第1周. 9月22日:引论 (Introduction)
第2周. 9月29日:命题逻辑 (Propositional logic): I
第3周. 10月6日:Holiday
第4周. 10月13日:命题逻辑(Propositional logic): II
第5周. 10月20日:认知逻辑 (Epistemic logic) : I
第6周. 10月27日:认知逻辑 (Epistemic logic): II
第7周. 11月3日:动态逻辑 (Dynamic logic)
第8周. 11月10日:谓词逻辑(Predicate logic): I
第9周. 11月17日:期中测试 (Mid-term Exam)
第10周. 11月24日:谓词逻辑 (Predicate logic): II
第11周. 12月1日:谓词逻辑(Predicate logic): III
第12周. 12月8日:逻辑的计算方面 (Computational Aspects of Logic)
第13周. 12月15日: 逻辑与博弈 (Logic and Games): I
第14周. 12月22日:逻辑与博弈 (Logic and Games): II
第15周. 12月29日:可靠性和完全性 (Soundness, Completeness, etc.)
第16周. 2010年1月5日:期末考试 (Final Exam)