计算机逻辑学硕士课程旨在为学生提供理论和实践方面的专业培训，使其能够通过计算机逻辑学，陈述技巧和行事方法对高级软件进行开发。本专业课程涵盖基础课程，技术，以及高度功能性和可靠性软件开发。学生所掌握的专业背景和技能对获得逻辑和数学能力有很好的帮助作用。本课程旨在帮助学生掌握，应用新的方法技巧进行计算机相关陈述，开发，分析，认证，代码整理等。 本专业旨在培养未来能够在科研部门，学校企事业单位，技术和行政管理部门从事研究，教学，系统设计与开发及管理与应用的数学与计算机科学复合型人才。

1、在线预申请 2、大学学历证书 3、大学成绩单 4、两封推荐信 5、个人简历 6、健康文件证明 7、两张近照 8、学习计划 9、身份证明文件（护照，身份证）