《自动机理论、语言和计算导论》学习第 2 天，p5-p27 总结，总计 23 页。

一、技术总结

1.集合

(1)commutative law of union.

(2)distribute law of union.

2.归纳法(induction) & 演绎法(deduction)

(1)归纳法：从许多个别的事实或原理中概括出一般的、普遍性的原理或法则。

(2)演绎法：从一般事实或原理出发，得出个别事实或特殊原理。

简而言之，归纳法就是个别或特殊到一般的推理过程，而演绎法则是从一般到个别或特殊的推理过程。（节选自应老师的文章：《中学生必须掌握的逻辑知识（一）》https://mp.weixin.qq.com/s/ssbpU4lV6A4fAjILDeDDlQ）

二、英语总结

1.capitalized words

之前看到 capitalize 只记得是大写，今天看到 capitalized words，不禁疑惑 words 是首字母大写还是整个单词大写？查了下词典，意思是：to write a letter of alphabet as a capital, or to write the first letter of a word as a capital——单词首字母大写。

2.theorem vs theory

A theorem is a result that can be proven to be true from a set of axioms. The term is used especially in mathematics where the axioms are those of mathematical logic and the systems in question.

A theory is a set of ideas used to explain why something is true, or a set of rules on which a subject is based on. In science, a theory explaining real world behaviour can not strictly be "proved", only "disproved", since you might always run a later experiment finding a case where it doesn't work.（from stackexchange）

3.commutative

(1) commute > commutative。

(2)commute: come-(intensive prefix) + mutare(to exchange)。vi/vt. change sth。

(3)commutative: adj. (of a calculation) giving the same result whatever order the values are in。

4.distributive

(1)distribute > distributive。

(2)distribute: dis-(individually, separately) + tribuere(to pay, assign, grant)。

(3)distributive: (of a mathematical operation)giving the same result wether parts are acted on in combination or separately。

三、其它

1.阅读方法总结

因为个人的专业方向为 Python web 开发方向，所以从实用性角度来说，自己并不知道这本书所讲的内容是否真的对自己当前的工作带来帮助(从目录看，个人觉得相关性不大)，同时也不知道哪些是重点需要看的，所以第一遍采用速读的方式，首要任务就是把书读完。

对于英语单词，应为不懂的太多了，不可能做到每个单词记笔记，只能选择一部分记了。如果再次遇到，还是不懂，只能再次查字典。

以上两点不一定对，只是一种尝试，阅读完整本书后再回头看看，目前的决定是否正确。

四、参考资料

1. 编程

(1)Eric S.Roberts，《自动机理论、语言和计算导论(英文版.第 3 版)》：https://book.douban.com/subject/2274854/

2. 英语

(1)Etymology Dictionary：https://www.etymonline.com

(2) Cambridge Dictionary：https://dictionary.cambridge.org

欢迎搜索及关注：编程人(a_codists)