010102 逻辑学_新浪教育

010102 逻辑学

http://www.sina.com.cn 2005/04/08 10:03 北京天利考试信息网

　　专业代码加有“”者为一般控制设置的专业，由教育部负责审批；专业代码加“@”者为从严控制设置的专业，原则上不再增加布点。

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

作的逻辑学的高级专门人才。

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

　　毕业生应获得以下几方面的知识和能力：

　　1.掌握马克思主义的基本原理和逻辑学的基本理论、基础知识；

　　2.具有数学、计算机科学和哲学的基本素养；

　　3.掌握逻辑学研究的基本方法；

　　4.了解现代逻辑的前沿问题与发展动态；

　　5.掌握文献检索、资料查询的基本方法和手段；

　　6.具有初步的教学、科研和实际工作能力。

　　主干学科：哲学、数学

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

　　主要实践性教学环节：包括教学实习、论文写作等，一般安排6周左右。

　　修业年限：四年

　　授予学位：哲学学士

　　相近专业：哲学、数学与应用数学

　　【本专业为国家控制布点的专业】

　　开设院校：北京大学南开大学中山大学等。