图 书 馆
逻辑的行动Logic in Action |
|
| 课程网址: | http://videolectures.net/esslli2011_eijck_logic/ |
| 主讲教师: | Jan van Eijck |
| 开课单位: | 国家数学和计算机科学研究学会 |
| 开课时间: | 2011-09-12 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course offers a new kind of introduction to logic, merging traditional basic themes on inference and expressive power of languages with modern developments: connections between logic, cognition, and social interaction. The course introduces propositional and predicate logic as ways of describing the world, and then moves on to logics of knowledge, information, action, communication, and games. In doing so, it presents logic as a central topic across the university spectrum. |
| 关 键 词: | 逻辑导论类; 表达语言能力; 中心议题 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-06-08：吴雨秋(课程编辑志愿者) |
| 阅读次数: | 64 |