杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑引论/朱梧槚 ... [等] 编著

版本说明:

第2版

出版发行项:

大连:大连理工大学出版社,2023

ISBN及定价:

978-7-5685-4035-3/CNY69.00

载体形态项:

263页;24cm

并列正题名:

Introduction to mathematical logic

个人责任者:

朱梧槚 编著

个人责任者:

肖奚安 编著

个人责任者:

朱朝晖 编著

个人责任者:

周勇 编著

学科主题:

数理逻辑

中图法分类号:

O141

题名责任附注:

题名页题其余责任者: 肖奚安, 朱朝晖, 周勇

书目附注:

有书目 (第231-232页)

提要文摘附注:

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

豆瓣简介：