理论计算机科学

开关实现逻辑电路：

• and： 串联

• or： 并联

• not： 短路

半加器、全加器 画法、公式

三个版块：

• 自动机理论

• 可计算性理论

• 计算复杂性理论（粗讲）

比例：4:6