《自動機理論、語言和計算導論》學習第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)