《重新了解计算机基础》- Crash Course Computer Science（计算机科学速成课）笔记15-21

阿兰 图灵（1912生于伦敦）没太看懂这章

相关问题

可判断性问题

Lambdo算子

图灵机：

纸带、读写头、状态变量、一组规则

一个强大的计算模型

图灵证明了图灵机可以完成任何计算

图灵完备：图灵完备是指在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机

图灵机的停机问题

如何证明无法实现：

一台机器：机器的程序为判断输入程序是否会停机，如果会停机，就继续运行程序，如果不会停机就把，就停止运行程序。

假设输入的程序就是该机器本身的程序，那么当输入的程序会停机的话，那么输出yes,程序继续运行不会停机，假设不会停机得到话，输出no程序停止运行。

然而得出的结果相悖（涉及到罗素悖论和理发师悖论），所以不成立，无法实现。

事实证明，不是所有事情都可以用计算来完成

丘奇图灵论题：可计算性理论

图灵测试：指测试者与被测试者（一个人和一台机器）隔开的情况下，通过一些装置（如键盘）向被测试者随意提问。进行多次测试后，如果机器让平均每个参与者做出超过30%的误判，那么这台机器就通过了测试，并被认为具有人类智能。

现代的延伸图灵测试：验证码

软件工程：预防程序错误

面向对象编程：为了解决代码过多，一个人无法完成，用到了将函数打包成对象层级的思想

核心：隐藏复杂度，选择性公布功能

API：程序编程接口，实现不同对象之间的连接与交互

对象权限举例

public:其他对象都可以调用

private:只有同一对象内的其他函数可以调用

集成开发工具：IDE,idea、eclipse等。

程序文档：为了帮助开发者理解代码提高代码的复用性

常用方式

文档

注释

源代码管理：版本控制，代码仓库。例如GIT、SVN等。

源码测试：质量保证测试QA,z在代码编写完成后，测试代码的bug也就是软件的beta版

集成电路和摩尔定律（了解完软件发展之后又回归硬件发展）

电子计算机时代(1940-1960):

计算机由不同的分立元件（只有一个电路元件的组件）用线连接而成

分立元件：只有一个电路元件的组件，可以是被动的电容、电阻、电感也可以是主动的晶体管、真空管

ENICA:世界上第一台电子数值计算机，包含1万7千多个晶体管，7万个电阻、1万个电阻、7千个二极管、5百万个手工焊点。

数字暴政：指提高计算机性能，就需要更多的部件，也就需要更复杂更多的电线。

计算机2.0时代（1950年）（晶体管商业化）：

IC集成电路（多个组件封装在一起）：芯片的核心

出现的契机：数字暴政，复杂繁多的分立元件，无法更高效利用发展计算机。

现代集成电路之父：1954年Robert Noyce的仙童半导体：硅Si让集成电路成为现实，开创了电子时代，创立了硅谷。

IC发展