MARC状态：订购 文献类型：中文图书 浏览次数：13
- 题名/责任者:
- 数理逻辑引论/朱梧槚等编著
- 版本说明:
- 2版
- 出版发行项:
- 大连:大连理工大学出版社,2023.01
- ISBN及定价:
- 978-7-5685-4035-3/CNY69.00
- 载体形态项:
- 136页;26cm
- 个人责任者:
- 朱梧槚 编著
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。
- 使用对象附注:
- 本书适合数学系大学生、数学系教师以及数学爱好者阅读
全部MARC细节信息>>