珠海科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

版本说明:

第2版

出版发行项:

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

ISBN及定价:

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

载体形态项:

263页;24cm

并列正题名:

Introduction to mathematical logic

个人责任者:

朱梧槚 编著

个人责任者:

肖奚安 编著

个人责任者:

朱朝晖 编著

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

题名责任附注:

题名页题: 朱梧槚, 肖奚安, 朱朝晖, 周勇编著

版本附注:

译自原书第2版

责任者附注:

朱梧槚, 南京航空航天大学计算机科学与技术学院, 教授、博士生导师, 长期致力于数学基础与计算机科学理论的研究。肖奚安, 解放军理工大学理学院数学系, 教授。朱朝晖, 南京航空航天大学计算机科学与技术学院, 教授。研究方向为计算机科学中的逻辑学、进程代数。

书目附注:

有书目 (第231-232页)

提要文摘附注:

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

豆瓣简介：