什么专业学逻辑学

计算机科学

和哲学方面的基本理论和基础知识，接受公理化方法、形式化方法和语义分析方面的基本训练，具有专业研究的基本能力。

各高校根据自身定位和办学特色开设逻辑学专业基础主干类课程（主要有

数学分析

、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、

集合论

、模态逻辑、归纳逻辑、四论导引（公理集合论、模型论、递归论、证明论）、应用逻辑、逻辑史、逻辑哲学、程序・语言设计、操作系统等）。

辑学研习中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识，以人类的思维形式及思维规律为研究对象，横跨数学、物理、计算机等多个学科，进行既定命题发生过程的推理和推导等。