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

培养要求：本专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识，受到公理化方法、形式化方法和语义分析方面的基本训练，具有专业研究的基本能力。

主干学科：哲学、数学

核心课程：数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引（公理集合论、模型论、递归论、证明论）、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。

就业方向：能在高等院校、科研单位、国家机关及企事业管理部门从事管理、教学、科研和应用方面的工作，并能从事计算机科学和语言学的科研和应用等方面的相关工作。

未来可从事职业岗位：数据分析师、图书编辑、文案策划、培训专员、大客户销售、业务拓展、釆购稽核管理等。

就业热门行业：教育/培训/院校、互联网/电子商务、咨询、人力资源、财会、公关/市场推广/会展、批发/零售等

就业热门城市：北京、广州、上海、成都、厦门、昆明、南京、杭州、太原和乌鲁木齐等

北京大学、中山大学、南开大学