客服热线：400-960-5068
什么专业学逻辑学
计算机科学
和哲学方面的基本理论和基础知识，接受公理化方法、形式化方法和语义分析方面的基本训练，具有专业研究的基本能力。
各高校根据自身定位和办学特色开设逻辑学专业基础主干类课程（主要有
数学分析
、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、
集合论
、模态逻辑、归纳逻辑、四论导引（公理集合论、模型论、递归论、证明论）、应用逻辑、逻辑史、逻辑哲学、程序・语言设计、操作系统等）。
辑学研习中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识，以人类的思维形式及思维规律为研究对象，横跨数学、物理、计算机等多个学科，进行既定命题发生过程的推理和推导等。
