数理逻辑引论

借阅：0人

收藏：0人

=Introduction to mathematical logic /朱梧槚 ... [等] 编著

ISBN/ISSN：978-7-5685-4035-3

价格：CNY69.00

出版：大连 :大连理工大学出版社 ,2023-01-01

载体形态：263页 ;24cm

简介：本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。

附注：数学系大学生、数学系教师以及数学爱好者

并列题名：Introduction to mathematical logic

中图分类号：O141

责任者：朱梧槚/肖奚安/朱朝晖

豆瓣内容简介：

豆瓣作者简介：

分馆名	馆藏部门	图书条码	索书号	登录号	架位导航	卷期	状态

序号	图书条码	索书号	登录号	藏书部门	流通状态	年卷期	装订册	装订方式	装订颜色

类型

说明

URL

评论

评分：

发表

扫描图片信息到手机上，便于查找书架！

用户号：
密码：