形式化及证明方法 ·命题逻辑及谓词逻辑 ·如何用人工（数学）语言重述自然语言的事实或者过程 ·消除歧义、严谨过程 ·如何建立一个一致的、完备的系统 ·基本证明方法及这些方法的逻辑基础 ·推理/演绎 ·归纳 ·递归、数学归纳法 ·算法正确性证明形式化及证明方法 • 命题逻辑及谓词逻辑 • 如何用人工（数学）语言重述自然语言的事实或者过程 • 消除歧义、严谨过程 • 如何建立一个一致的、完备的系统 • 基本证明方法及这些方法的逻辑基础 • 推理/演绎 • 归纳 • 递归、数学归纳法 • 算法正确性证明