| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:14

题名/责任者:
数理逻辑引论:计算机科学与系统的天然基础/刘志明, 裘宗燕编著
出版发行项:
北京:科学出版社,2022
ISBN及定价:
978-7-03-073238-5/CNY168.00
载体形态项:
x, 305页:图;26cm
其它题名:
计算机科学与系统的天然基础
个人责任者:
刘志明 编著
个人责任者:
裘宗燕 编著
学科主题:
数理逻辑
中图法分类号:
O141
书目附注:
有书目 (第284页) 和索引
提要文摘附注:
本书讨论这类系统的核心思想、重要概念、组成部分、构建方法,以及它们与数学和计算机科学的紧密关系,解释数理逻辑系统中符号化语言、解释、模型等概念,研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心,也成为计算机科学和计算机软件与系统的天然基础。
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O141/43 01402369   总馆      可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架