数理逻辑（用数学方法研究逻辑或形式逻辑的学科）
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
数理逻辑
百科内容来自于：
数理逻辑（用数学方法研究逻辑或形式逻辑的学科）
数理逻辑（恩德滕著图书）
数理逻辑（恩德滕著图书）
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判 数理逻辑定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判 数理逻辑定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
$firstVoiceSent
- 来自原声例句