数理逻辑

数理逻辑是计算机科学技术的重要数学基础之一，本课程是计算机科学技术专业本科教学中唯一的数理逻辑课程，主要介绍数理逻辑的基本理论和形式化技术，为后继课程奠定必要基础。主要内容包括：命题逻辑的（标准）形式公理系统（命题语言和形式推导）、语义学和元理论（命题演算的可靠性和完全性）；一阶逻辑的（标准）形式公理系统（一阶语言和形式推导）、语义学和元理论（一阶谓词演算的可靠性和完全性）；算术的一阶理论，递归函数及其可表示性；G?del不完备性定理；以及判定问题。