山东大学哲学与社会发展学院

首页 > 朱雀博士论坛 > 通知预告 > 正文

数理逻辑读书会

来源: 时间: 作者: 编辑: 字号: 阅读:

读书会名称:数理逻辑读书会

读书会材料:Herbert B. Enderton, A Mathematical Introduction to Logic, 2nd edition, Harcourt/Academic Press, 2001.

读书会目标:通过阅读本书的基本内容,夯实数理逻辑技术,理解形式化方法的优势和局限,为进一步地逻辑学研究打下基础。

目标学生:对数理逻辑感兴趣且有一定逻辑学基础的同学。

时间和地点:每周六18:00-21:00, 知新楼A 1418.

指导教师:梁飞

相关内容:

读取内容中,请等待...