Logic In Computer Science

目录:

• 命题逻辑
  • 声明语句
  • 自然演绎
  • 形式语言下的命题逻辑
  • 命题逻辑的语义
  • 范式
  • SAT 求解器
• 谓词逻辑
  • 谓词逻辑作为形式语言
  • 谓词逻辑的证明理论
  • 谓词逻辑的语义
  • 谓词逻辑的表达力
  • 存在二阶逻辑
  • 全称二阶逻辑
• 模型检验与时序逻辑
  • 线性时序逻辑 LTL
  • 计算树逻辑 CTL
  • CTL* 和 LTL与CTL的表达力