本科计算机的逻辑学,逻辑学本科专业介绍

逻辑学本科专业介绍

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

逻辑学本科就业前景

逻辑学本科学习课程

数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、中国逻辑史、西方逻辑史、现代逻辑思想史、程序语言设计、操作系统等。

逻辑学本科培养目标与要求

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

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

逻辑学本科必备能力

1.掌握马克思主义的基本原理和逻辑学的基本理论、基础知识； 2.具有数学、计算机科学和哲学的基本素养； 3. 掌握逻辑学研究的基本方法； 4.了解现代逻辑的前沿问题与发展动态； 5.掌握文献检索、资料查询的基本方法和手段； 6.具有初步的教学、科研和实际工作能力。