×
暂无评论
图文详情
  • ISBN:9787111682226
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 开本:16开
  • 页数:222
  • 出版时间:2021-06-01
  • 条形码:9787111682226 ; 978-7-111-68222-6

本书特色

完美实现逻辑与计算机的知识贯通,培养计算机学生数理逻辑思维

内容简介

  《计算机科学的逻辑基础》以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。  《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。  《计算机科学的逻辑基础》不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材,也可供广大计算机爱好者、计算机及相关领域的科研人员和工程技术人员自学参考。  《计算机科学的逻辑基础》以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,完美地实现了逻辑与计算机之间的知识贯通。  《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。  《计算机科学的逻辑基础》特色:  知识体系的组织结构突破了传统的数学框架,直接面向与计算机科学相关的逻辑主题,将逻辑用于解决计算机科学领域的重要问题。  结合生动有趣的具体应用实例介绍逻辑知识和证明方法,能够有效地激发读者的学习兴趣,特别有助于培养读者的逻辑思维和数学思维。  采用三种形式化表示方法实现逻辑推理并将ACL2作为逻辑证明引擎,通过实际应用效果生动地验证了软件和硬件工程师均可以从逻辑(包括机械化逻辑)的学习中获益。

目录

出版者的话
译者序
前言

**部分 逻辑与等式
第1章 计算机系统:原理简单,行为复杂
1.1 硬件与软件
1.2 程序的结构
1.3 深蓝与归纳定义
习题
第2章 布尔公式和等式
2.1 利用等式推理
习题
2.2 布尔等式
习题
2.3 布尔公式
习题
2.4 数字电路
习题
2.5 演绎推理
习题
2.6 谓词和量词
习题
2.7 量化谓词的推理
习题
2.8 布尔模型
习题
2.9 谓词和量词的一般模型
第3章 软件测试和前缀法
习题
第4章 数学归纳
4.1 数学对象列表
习题
4.2 数学归纳法
习题
4.3 Defun:ACL2中运算符的定义
4.4 连接、前缀和后缀
习题
第5章 机械化逻辑
5.1 ACL2定理与证明
5.2 使用已证的定理库
习题
5.3 约束定理
习题
5.4 辅助机械化逻辑工作
习题
5.5 自动化证明及其做不到的事
习题

第二部分 计算机算术
第6章 二进制数字
6.1 数和数字
习题
6.2 从数字到数
习题
6.3 二进制数字
习题
第7章 加法器
7.1 数字相加
习题
7.2 一位二进制数字加法电路
7.3 两位二进制数字加法电路
习题
7.4 w位二进制数字加法
习题
7.5 负数的数字
习题
第8章 乘法器和大数算法
8.1 大数加法器
习题
8.2 移位相加乘法器
习题

第三部分 算法
第9章 多路复用器和解复用器
9.1 多路复用器
习题
9.2 解复用器
习题
第10章 排序
10.1 插入排序
习题
10.2 保序合并
习题
10.3 归并排序
习题
10.4 排序算法分析
10.4.1 计算步骤的计数
习题
10.4.2 计算解复用的步数
习题
10.4.3 计算归并的步数
习题
10.4.4 计算归并排序的步数
习题
10.4.5 计算插入排序的步数
习题
第11章 搜索树
11.1 查找事物
11.2 平衡二叉树
11.3 搜索树的表示
11.4 有序搜索树
习题
11.5 平衡搜索树
习题
11.6 搜索树中插入新项目
习题
11.7 顺序插入
习题
11.8 双旋转
习题
11.9 快速插入
习题
第12章 哈希表
12.1 列表和数组
12.2 哈希运算符
习题
12.3 一些应用
……

第四部分 计算实践

索引
展开全部

作者简介

  雷克斯·佩奇(Rex Page),美国俄克拉荷马大学计算机科学学院荣休教授,专注于设计和开发可靠的数字电路和软件的方法,在学术界和工业界从事可靠软件领域的研发工作已有40年。他于斯坦福大学获得数学学士学位,加州大学圣地亚哥分校获得数学博士学位。在加入俄克拉荷马大学之前,曾先后在科罗拉多州立大学和美国石油公司从事教学和研究工作。他的早期工作为大规模并行计算系统开发了有效的软件工程方法,在教学生涯中提倡在计算机科学和软件工程的学士学位课程中加强应用逻辑的教育。    鲁本·冈博亚(Ruben Gamboa),怀俄明大学工程与应用科学学院计算机科学系教授,主要研究基于半自动化证明引擎ACL2的自动定理证明。除此之外,他的研究兴趣还包括NoSQL数据库、近似算法、云计算的应用、计算机图形学等。他于得克萨斯农工大学获得硕士学位,得克萨斯大学奥斯汀分校获得博士学位。他多次在ACL2Workshop中发表研究论文,并曾连续两年任职于ACL2指导委员会。

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航