编程通识: 从图灵机到程序

数据的定义和处理

数据的操作

表格: 限制读写顺序(规则)

读写头中的状态存储器: 根据读写数据映射状态进行操作

历史硬件: 纸带 + 读写头: 进行数据读取

软件模型: 数据 + 指令

编程语言的设计依赖于计算机(硬件)的设计

编程语言的起源

数据

程序

单一内存空间

冯-诺依曼 架构

内存空间1

内存空间2

哈佛架构

通用计算机的主流实现方式

通过哥德尔不完备定理得出不可能存在( 自我指涉的逻辑悖论 )

丘奇-图灵猜想

代表和图灵机有相同处理问题的能力

lambda演算

递归

面对对象

图灵完备

是否有比图灵机更加完备的系统

可以整明哥德尔不完备定理

函数式编程的起源: lambda演算法

迭代

元胞自动机

各大计算机原型

历史上通用计算机的选型

停机问题（英语：halting problem）是逻辑数学中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。

停机问题

1.编程语言的模型:  数据与指令

程序世界中的对象的属性

现实中的数值

程序中的函数

数值与数值的关系

对现实世界进行数学建模投射到程序世界中

2.编程与数学建模

最核心的概念: 函数数据和指令是建立在函数之上的

lambda演算法

即是图灵机与lambda演算法的融合

python

3.lambda演算法理解函数式编程

最早由冯诺依曼提出

优势

4.深度学习与元胞自动机

<人月神话>

功能之间的解耦

时间上动静态部分代码的解耦

领域驱动模型DDD

敏捷开发

操作系统内核与开源

5.软件工程如何影响编程

计算机设置原理