第一章 基础概念

• 图灵机
• $\lambda$演算
• 一阶逻辑
• 时序逻辑MPTL
• 动态逻辑
• petri网
• 进程代数
• 递归可枚举语言