对于我重要的书籍

评语：结构就是模型，通过结构来计数。

评语：审美和意识才是区分理论物理专业和不专业的标志；动态的观点思考本书：按照时间顺序，实际是杨振宁对于物理理解的逐步深化

评语：将讲解勒贝格理论一章看做理论整体，同时看做对于黎曼积分中以定义域为划分转化为函数值划分的单调性推广。

评语：整本书看做杨振宁对于物理是什么的动态解读：逐步加深对于物理概念，物理现象和结构的思考把握物理的要义，然后能抓住问题的精髓。

评语：介绍了代数数论的历史发展，并且章节设计组织的非常的优美

评语：总而言之，只有熟悉了这个领域的工具和技术才能对特殊的问题提供正确解答， 只有丰富的经验才能提供坚实的专业性结果：自动化，简单，清晰，通用才是计算机程序的本质。c++,Java都是C的直系衍生语言。更复杂的算法和数据结构都是几个基本的结构衍生的。学习低级语言的意义在于理解细节的机会增加了，而高级语言的正确使用是建立在更多细节或者更多底层语言的熟悉上的。隐藏在设计模式后面的基本思想是：大部分程序所采用的不过是很少几种不同的设计结 构，与此类似，实际上也只有不多的几种基本数据结构。说的远一点，这与我们在第1章讨论过的编码习惯用法也是很相像的

评语：计算机不是科学而是工程，所以它是类化学工程的。化学工程和软件工程的相通之处！Arthur D. Little博士如何在1918年在麻省理工学院建立了第一个化学工程系，来发现、发展和讲授所有过程的共有技术基础。首先是经验法则，接着是经验图表，后来是设计特殊零件的公式，再后来是单个导管中热传导、质量转移和动量转移的模型。毕竟，软件工程就像化学工程一样，与如何扩展到工业级别处理过程的非线性问题有关。而且，和工业工程类似，它总是被人类行为的复杂性所困扰。在二次世界大战之后，化学工程师才真正提出闭环互联的连续流系统

评语：图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。 其实这几乎就是编译原理的全部知识了

评语：历史在国内很容易被读成戏说演义（公众）或者逻辑推理的教条（教材），真正从学术角度思考问题很困难的事情。历史简化是为了人们理解，但是历史的复杂性都被这本书揭示了出来了，历史的留白真的让聪明的人思白头

评语：其实讲解的是这个意义增广模型而不是瀑布模型：先做一个平台，在再这个基础上改进

评语：其实这本书最精彩最吸引我的是是固体物理学：我从这本书才入门理解统计力学本身是复杂系统，算法，层次结构而固体物理学本身利用统计力学的建模艺术。写的最好的是超导是重整化的悖论。统计力学要从模型，模拟，算法角度思考复杂系统的结构：玻尔兹曼的平衡分布函数定义使用的是均匀分布的最大似然估计算法，而吉布斯的平衡分布定义则是最大熵下约束的最大熵算法，相较于玻尔兹曼的吉布斯算法本质是变分更少假设。数论看做复杂系统（统计力学），具有很多精细和层次分明的结构（群论，环论），可以用模型（分析学和几何学）和实验来预测和逼近结果；同时数论做为计算复杂性同构问题；这就是数论让所有数学家所向往的原因

评语：代数几何必读引论书

评语：写的最好的关于形式的书。函数，映射，场多种对象存在，导致符号滥用，x有时候是变量有时是坐标函数。向量场是物理直观建模和抽象的结合。梯度gradf和1形式df是对偶的。微分形式本质是对于路径积分，向量场分析，流形积分，庞加莱引理，势论，曲面几何的语言一种抽象统一表示。

评语：和克莱因的《数学在19世纪的发展第一卷》衔接起来

评语：变分学，分析，几何作图在不同角度阐述了等周问题存在性问题

评语：数论真正的含义的解释，有serre的写的数论的感觉

评语：黎曼曲面的基本定理就是单值化定理：Mittag-Leffler's theorem ，指定奇点的亚纯函数存在性定理。

评语：阿贝群（交换群）推广了整数加法的算术。抽象代数是线性代数理论增加了数论的基本方法和基本思想。线性空间是加法交换群的基本模型，循环群（基本模型整数加法群）是挠群也是有限生成阿贝群的结构基础，循环群是区别线性代数（域论）和抽象代数（环论整数）的关键；数论看做有限交换群上（循环群的代表是整数加法）的傅里叶级数

评语：从语法层面到功能层面（模块化结构化）转变（类型转换函数作为解释器基本模型，计算器就是编译器的前端模型，输入输出理解为解释器，指针完成内存分配）。程序是由语句组成的。语句能够通过创建和操作变量、对变量赋值并控制这些操作的执行流程来描述运算。语句通常会被组织成代码段，即花括号中的一系列语句。程序就是由一系列声明、赋值、条件、循环、调用和返回语句组成的。一般来说代码的结构都是嵌套的：一个条件语句或循环语句的代码段中也能包含条件语句或是循环语句。语句到函数到功能模块（模型和结构化）

评语：两种自然语言处理方式：编译器和通信模型

评语：计算机的体系就在编译原理：计算器是编译器的最简单模型，是Javascript和 HTML文件编译器