大学数学逻辑学什么专业

大学数学逻辑学主要涉及 逻辑学和 数理逻辑学两个专业。

逻辑学专业

定义：逻辑学是一门普通高等学校本科专业，属于哲学类专业，主要研究思维形式及思维规律。

课程设置：学生需要学习数学、计算机科学和哲学方面的基本理论和基础知识，并接受公理化方法、形式化方法和语义分析方面的训练。

就业方向：毕业生通常能够在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用工作，或者从事计算机科学和语言学的相关工作。

数理逻辑学专业

定义：数理逻辑学是一门研究逻辑推理和数学证明的学科，结合了逻辑学的原理和数学的方法。

课程设置：该专业学生需要学习数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等课程。

就业方向：毕业生通常具备系统的逻辑学基础知识、一定的数学素养以及计算机理论和操作能力，能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用工作，并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才。

建议

选择逻辑学或数理逻辑学专业时，建议考虑个人的兴趣和职业规划。如果对数学和逻辑推理有浓厚兴趣，并且希望从事相关领域的研究和教学，这两个专业都是不错的选择。同时，这两个专业都需要较强的数学基础和逻辑思维能力，因此学生应具备相应的学术背景和能力。