Platform for Logic Courses at Tsinghua University, Autumn 2010

逻辑教学平台 Platform for Logic Teaching

Ongoing Opencourse Project

I am involved with an international educational project Logic in Action which aims at the development of 'open' web-oriented courses on logic and a wide range of applications in fields such as mathematics, philosophy, computer science, linguistics and cognitive science.

逻辑开放课程的中文介绍见下面的链接：逻辑开放课程

Courses I Have Been Teaching at Tsinghua

2012

模态逻辑 (春季学期, 研究生课程)
Modal Logic (for Graduates)

2011

模态逻辑 (春季学期, 研究生课程)
Modal Logic (for Graduates)

数理逻辑（秋季学期, 研究生课程）
Mathematical Logic (for Graduates)

一阶逻辑 (秋季学期,本科生课程)
First Order Logic (for Undergraduates)

2010

哲学逻辑 (秋季学期, 研究生课程)
Philosophical Logic (for Graduates)

一阶逻辑 (秋季学期,本科生课程)
First Order Logic (for Undergraduates)

模态逻辑（春季学期,研究生课程）
First Order Logic (for Undergraduates)

人工智能中的逻辑（春季学期, 研究生课程）
Logics in AI (for Graduates)

2009

数理逻辑（秋季学期, 研究生课程）
Mathematical Logic (for Graduates)

模型论（秋季学期, 研究生课程）
Model Theory (for Graduates)

一阶逻辑（秋季学期,本科生课程）
First Order Logic (for Undergraduates)

2008

一阶逻辑（秋季学期,本科生课程）
First Order Logic (for Undergraduates)

模态逻辑（春季学期, 研究生课程）
Modal Logic (for Graduates)

Conferences Related to Logic Teaching

International Workshop on Teaching Logic Today, 7 October 2011. Nankai University, Tianjin, China.

The Third International Congress on Tools for Teaching Logic (TICTTL), June 1-4, 2011. Salamanca, Spain.