MARC状态:审校 文献类型:中文图书 浏览次数:1
- 题名/责任者:
- 数理逻辑引论:计算机科学与系统的天然基础/刘志明,裘宗燕编著
- 出版发行项:
- 北京:科学出版社,2022
- ISBN及定价:
- 978-7-03-073238-5/CNY168.00
- 载体形态项:
- 10,305页:图;26cm
- 其它题名:
- 计算机科学与系统的天然基础
- 个人责任者:
- 刘志明 编著
- 个人责任者:
- 裘宗燕 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 责任者附注:
- 刘志明,裘宗燕,西北工业大学软件学院
- 提要文摘附注:
- 本书讨论数理逻辑系统的核心思想、重要概念,组成部分、构建方法,以及它们与数学和计算机科学的紧密关系,解释数理逻辑系统中符号化语言、解释、模型等概念,研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。
- 使用对象附注:
- 本书适用于大学与计算机专业相关的本科生和研究生,以及数学和工程技术专业的学生;从事计算机科学、软件与系统领域研究和实践工作的专业人员
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/37 | B0122994 | 库本 库353783 | 可借 | 库本 | |
O141/37 | B0122993 | 基本书库 | 可借 | 基本书库 |
显示全部馆藏信息