Home
About
Logic at PKU
Notable logicians
About CLLC
People
Members
Postdocs
Students
Alumni
News
Events
News
Seminars
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
推免生复试要求
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
About
Logic at PKU
Notable logicians
About CLLC
People
Members
Postdocs
Students
Alumni
News
Events
News
Seminars
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
推免生复试要求
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
»
News
»
Others
» 清华6月的logic seminar
Events
News
Seminars
Others
LLCC
News
Events
News
Seminars
Others
LLCC
清华6月的logic seminar
发布日期:2010-06-01
作者:
网址链接:
http://fenrong.net/events/
附件:
intlog.pdf
intu.pdf
清华大学于6月举办关于“直觉主义逻辑和可证性逻辑”的系列讲座
+++++++++++++++++++++++++++++++++++++
课程名称:直觉主义逻辑和可证性逻辑
主讲人:D.de Jongh教授 荷兰阿姆斯特丹大学 逻辑、语言和计算研究所
时间: 6月3日、6月10日、6月11日、6月17日 晚上7:20-9:45
地点: 清华大学6教6B111
课程材料见附件。
关于课程的最新消息,请见网站:
http://fenrong.net/events/
若有什么问题,可联系刘奋荣:
fenronguva@gmail.com
。
发布时间:2010-06-01 10:51:03