所有地址以“kaoshi.edu.sina.com.cn”开始的网页信息主要来源于各院校网站,高校录取分数线数据由合作网站提供,此分数线数据统计时包含了特长生分数数据,因此最低分和平均分可能与院校公布数据不一致。全景校园图片由360数字校园提供。新浪网提供此信息之目的在于为高考生提供更多信息作为参考,请以各高校正式公布数据为准。如果您发现网页当中的任何错误,欢迎发送邮件(edu_college@sina.com)或者打电话联系我们改正,谢谢!
数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻 辑、归纳逻辑、四论导引(公理集合论、模型论、递归论、证明论)、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。
包括教学实习、论文写作等,一般安排6周左右。
本专业培养具备系统的逻辑学基础知识,一定的数学素养以及计算机理论和操作能力,能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作,并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才。
本专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识,受到公理化方法、形式化方法和语义分析方面的基本训练,具有专业研究的基本能力。
毕业生应具备以下的知识和能力: 1.掌握马克思主义的基本原理和逻辑学的基本理论、基础知识; 2.具有数学、计算机科学和哲学的基本素养; 3. 掌握逻辑学研究的基本方法; 4.了解现代逻辑的前沿问题与发展动态; 5.掌握文献检索、资料查询的基本方法和手段; 6.具有初步的教学、科研和实际工作能力。
院校名称 | 所在地 | 类型 | 院校性质 | 操作 |
所有地址以“kaoshi.edu.sina.com.cn”开始的网页信息主要来源于各院校网站,高校录取分数线数据由合作网站提供,此分数线数据统计时包含了特长生分数数据,因此最低分和平均分可能与院校公布数据不一致。全景校园图片由360数字校园提供。新浪网提供此信息之目的在于为高考生提供更多信息作为参考,请以各高校正式公布数据为准。如果您发现网页当中的任何错误,欢迎发送邮件(edu_college@sina.com)或者打电话联系我们改正,谢谢!