计算机科学的逻辑基础
全新正版 极速发货
￥ 74.64 7.5折 ￥ 99 全新
库存2件
作者[美]雷克斯·佩奇（RexPage）著,汪荣贵,陈朗,汪雄飞 译
出版社机械工业出版社
ISBN9787111682226
出版时间2021-06
装帧平装
开本16开
定价99元
货号31172122
上书时间2024-06-01
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
雷克斯·佩奇（Rex Page），美国俄克拉荷马大学计算机科学学院荣休教授，专注于设计和开发可靠的数字电路和软件的方法，在学术界和工业界从事可靠软件领域的研发工作已有40年。他于斯坦福大学获得数学学士学位，加州大学圣地亚哥分校获得数学博士学位。在加入俄克拉荷马大学之前，曾先后在科罗拉多州立大学和美国石油公司从事教学和研究工作。他的早期工作为大规模并行计算系统开发了有效的软件工程方法，在教学生涯中提倡在计算机科学和软件工程的学士学位课程中加强应用逻辑的教育。
鲁本·冈博亚（RubeGamboa），怀俄明大学工程与应用科学学院计算机科学系教授，主要研究基于半自动化证明引擎ACL2的自动定理证明。除此之外，他的研究兴趣还包括NoSQL数据库、近似算法、云计算的应用、计算机图形学等。他于得克萨斯农工大学获得硕士学位，得克萨斯大学奥斯汀分校获得博士学位。他多次在ACL2Workshop中发表研究论文，并曾连续两年任职于ACL2指导委员会。
目录
出版者的话<br/>译者序<br/>前言<br/>第一部分 逻辑与等式<br/>第1章 计算机系统：原理简单，行为复杂 2<br/>1.1 硬件与软件 2<br/>1.2 程序的结构 4<br/>1.3 深蓝与归纳定义 7<br/>习题 10<br/>第2章 布尔公式和等式 11<br/>2.1 利用等式推理 11<br/>习题 13<br/>2.2 布尔等式 13<br/>习题 19<br/>2.3 布尔公式 19<br/>习题 22<br/>2.4 数字电路 23<br/>习题 26<br/>2.5 演绎推理 27<br/>习题 36<br/>2.6 谓词和量词 37<br/>习题 40<br/>2.7 量化谓词的推理 40<br/>习题 47<br/>2.8 布尔模型 47<br/>习题 52<br/>2.9 谓词和量词的一般模型 52<br/>第3章 软件测试和前缀法 55<br/>习题 59<br/>第4章 数学归纳 61<br/>4.1 数学对象列表 61<br/>习题 65<br/>4.2 数学归纳法 65<br/>习题 71<br/>4.3 Defun：ACL2中运算符的定义 71<br/>4.4 连接、前缀和后缀 72<br/>习题 77<br/>第5章 机械化逻辑 78<br/>5.1 ACL2定理与证明 78<br/>5.2 使用已证的定理库 80<br/>习题 80<br/>5.3 约束定理 81<br/>习题 83<br/>5.4 辅助机械化逻辑工作 83<br/>习题 86<br/>5.5 自动化证明及其做不到的事 86<br/>习题 92<br/>第二部分 计算机算术<br/>第6章 二进制数字 94<br/>6.1 数和数字 94<br/>习题 98<br/>6.2 从数字到数 99<br/>习题 102<br/>6.3 二进制数字 103<br/>习题 104<br/>第7章 加法器 106<br/>7.1 数字相加 106<br/>习题 106<br/>7.2 一位二进制数字加法电路 106<br/>7.3 两位二进制数字加法电路 109<br/>习题 110<br/>7.4 w位二进制数字加法 110<br/>习题 113<br/>7.5 负数的数字 114<br/>习题 116<br/>第8章 乘法器和大数算法 118<br/>8.1 大数加法器 118<br/>习题 121<br/>8.2 移位相加乘法器 121<br/>习题 124<br/>第三部分 算法<br/>第9章 多路复用器和解复用器 126<br/>9.1 多路复用器 126<br/>习题 129<br/>9.2 解复用器 129<br/>习题 131<br/>第10章 排序 132<br/>10.1 插入排序 132<br/>习题 135<br/>10.2 保序合并 135<br/>习题 137<br/>10.3 归并排序 137<br/>习题 139<br/>10.4 排序算法分析 139<br/>10.4.1 计算步骤的计数 139<br/>习题 141<br/>10.4.2 计算解复用的步数 141<br/>习题 142<br/>10.4.3 计算归并的步数 143<br/>习题 144<br/>10.4.4 计算归并排序的步数 144<br/>习题 147<br/>10.4.5 计算插入排序的步数 147<br/>习题 149<br/>第11章 搜索树 150<br/>11.1 查找事物 150<br/>11.2 平衡二叉树 152<br/>11.3 搜索树的表示 154<br/>11.4 有序搜索树 155<br/>习题 156<br/>11.5 平衡搜索树 156<br/>习题 157<br/>11.6 搜索树中插入新项目 157<br/>习题 159<br/>11.7 顺序插入 159<br/>习题 163<br/>11.8 双旋转 164<br/>习题 167<br/>11.9 快速插入 167<br/>习题 169<br/>第12章 哈希表 170<br/>12.1 列表和数组 170<br/>12.2 哈希运算符 172<br/>习题 177<br/>12.3 一些应用 178<br/>第四部分 计算实践<br/>第13章 Facebook分片技术 182<br/>13.1 技术挑战 182<br/>13.2 权宜之计 183<br/>13.2.1 缓存 183<br/>13.2.2 分片 184<br/>13.3 Cassandra的解决方案 185<br/>13.4 小结 186<br/>第14章 MapReduce的并行计算 187<br/>14.1 水平扩展和垂直扩展 187<br/>14.2 MapReduce的策略 188<br/>14.3 基于MapReduce的数据挖掘 191<br/>14.4 小结 195<br/>第15章 计算机艺术创作 196<br/>15.1 在计算机中表示图像 196<br/>15.2 随机生成图像 198<br/>15.3 生成目标图像 201<br/>索引 203
内容摘要
介绍如何将谓词逻辑应用于软件和数字电路的测试和验证，重点是应用而不是理论。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价