第1 章 基础
本章从相关思想的一个简洁分类开始介绍一些术语：值、对象、类型、过程和概念,它们表示了与计算机有关的许多不同的理念范畴.这里还要详细讨论本书的中心观点:规范性.对一个过程,规范性意味着它对相等的参数总返回相等的结果.对一个类型,规范性意味着它应该有相等运算符,以及保证相等关系的拷贝构造函数和赋值.规范性使我们能应用等值推理(使用等值替换)去变换和优化程序.
《编程原本 》一第1 章 基础
2017-08-01
1436
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《
阿里云开发者社区用户服务协议》和
《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写
侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介：
本节书摘来自华章出版社《编程原本 》一书中的第1章，作者（美）斯特潘诺夫（Stepanov, A.），（美）麦克琼斯（McJones, P.），更多章节内容可以访问云栖社区“华章计算机”公众号查看
目录
相关文章
|
机器学习/深度学习
算法
搜索推荐
|
存储
机器学习/深度学习
JSON
|
运维
监控
应用服务中间件
【运维知识高级篇】34道Shell编程练习题及答案（从基础到实战：基础+计算+判断+循环+控制与数组+实战进阶）（二）
【运维知识高级篇】34道Shell编程练习题及答案（从基础到实战：基础+计算+判断+循环+控制与数组+实战进阶）（二）
995
0
0
|
运维
Shell
Linux
【运维知识高级篇】34道Shell编程练习题及答案（从基础到实战：基础+计算+判断+循环+控制与数组+实战进阶）（一）
【运维知识高级篇】34道Shell编程练习题及答案（从基础到实战：基础+计算+判断+循环+控制与数组+实战进阶）
703
0
0
|
运维
监控
Java
【高效编码】JDK自带的命令行工具的使用还用不清楚的地方？快来看看这篇文章吧！！！
您好，我是码农飞哥，感谢您阅读本文！如果此文对您有所帮助，请毫不犹豫的一键三连吧。小伙伴们有啥想看的，想问的，欢迎积极留言告诉我喔。
155
0
0
|
Java
|
测试技术
数据库
测试用例（包含测经典试点全集图解，强烈建议保存收藏）（一）
测试用例(Test Case)是指对一项特定的软件产品进行测试任务的描述，体现测试方案、方法、技术和策略。其内容包括测试目标、测试环境、输入数据、测试步骤、预期结果、测试脚本等，最终形成文档。简单地认为，测试用例是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果，用于核实是否满足某个特定软件需求。
757
1
1
|
测试技术
测试用例（包含测经典试点全集图解，强烈建议保存收藏）（二）
测试用例(Test Case)是指对一项特定的软件产品进行测试任务的描述，体现测试方案、方法、技术和策略。其内容包括测试目标、测试环境、输入数据、测试步骤、预期结果、测试脚本等，最终形成文档。简单地认为，测试用例是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果，用于核实是否满足某个特定软件需求。
158
0
0
|
算法
《算法技术手册》一1.3 高明做法
本节书摘来华章计算机《算法技术手册》一书中的第1章 ，第1.3节， George T.Heineman Gary Pollice
Stanley Selkow 著
杨晨 曹如进 译 译更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1076
0
0
|
存储
Java
API
《Java核心技术 卷Ⅱ 高级特性（原书第10版）》一第2章 输入与输出
本节书摘来华章计算机《Java核心技术 卷Ⅱ 高级特性（原书第10版）》一书中的第2章 ，［美］ 凯S.霍斯特曼（Cay S. Horstmann） 著陈昊鹏 译 更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1347
0
0
热门文章
最新文章
1
Gitlab----使用Docker方式安装部署Gitlab
2
Mac搭建安卓模拟器（支持M1/M2/M3/M4）
3
java报错javax.net.ssl.SSLHandshakeException: sun.security.validator.ValidatorException
4
开发人员各级岗位胜任力模型
5
Hive之数据倾斜的原因和解决方法
6
【Java】留下没有基础眼泪的面试题
7
iptables系列教程（二）| iptables语法规则
8
13.4. 临时表是否需要建索引
9
共享的两种方式
10
Andriod动态布局
1
Linux 各发行版安装 ping 命令指南
41
2
Linux缓存管理：如何安全地清理系统缓存
98
3
《CMake：掌控 C++人工智能项目编译的魔法棒》
32
4
《C++人工智能开发 IDE 全解析：助力智能创新之路》
36
5
《解锁 Eigen 库在 C++人工智能项目中的潜能与优化之道》
34
6
《解析 MXNet 的 C++版本在分布式训练中的机遇与挑战》
23
7
《探索 Caffe2 的 C++接口在移动设备上的性能优化之路》
26
8
docker高级篇（大厂进阶）：安装redis集群
43
9
Lyra：SmartMore 联合香港多所高校推出的多模态大型语言模型，专注于提升语音、视觉和语言模态的交互能力
61
10
LatentLM：微软联合清华大学推出的多模态生成模型，能够统一处理和生成图像、文本、音频和语音合成
47