山西大同大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑引论:计算机科学与系统的天然基础/刘志明，裘宗燕编著

出版发行项:

北京:科学出版社,2022

ISBN及定价:

978-7-03-073238-5/CNY168.00

载体形态项:

10,305页:图;26cm

其它题名:

计算机科学与系统的天然基础

个人责任者:

刘志明 编著

个人责任者:

裘宗燕 编著

学科主题:

数理逻辑

中图法分类号:

O141

责任者附注:

刘志明，裘宗燕,西北工业大学软件学院

提要文摘附注:

本书讨论数理逻辑系统的核心思想、重要概念，组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。

使用对象附注:

本书适用于大学与计算机专业相关的本科生和研究生，以及数学和工程技术专业的学生；从事计算机科学、软件与系统领域研究和实践工作的专业人员

豆瓣简介：