逻辑课程平台 Platform for Logic Courses
清华大学 2010年秋季学期
Tsinghua University, Autumn 2010
哲学逻辑 (研究生课程)
Philosophical Logic (for Graduates)
一阶逻辑 (本科生课程)
First Order Logic (for Undergraduates)
欢迎大家在本学期选修我开设的逻辑课程. 我将会在这个平台发布与课程相关的信息、通知等,希望大家关注。
有问题,请联系 fenrong AT mail.tsinghua.edu.cn.
清华大学 2010年春季学期
Tsinghua University, Spring 2010
模态逻辑(研究生课程)
First Order Logic (for Undergraduates)
人工智能中的逻辑(研究生课程)
Logics in AI (for Graduates)
清华大学 2009年秋季学期
Tsinghua University, Autumn 2009
一阶逻辑(本科生课程)
First Order Logic (for Undergraduates)
数理逻辑(研究生课程)
Mathematical Logic (for Graduates)
模型论(研究生课程)
Model Theory (for Graduates)
清华大学 2008年秋季学期
Tsinghua University, Spring 2008
一阶逻辑(本科生课程)
First Order Logic (for Undergraduates)
清华大学 2008年春季学期
Tsinghua University, Spring 2008
模态逻辑(研究生课程)
Modal Logic (for Graduates)
回到首页 Go To Homepage
Website Copyright 2010 刘奋荣 Fenrong Liu