现代数学逻辑始于康托尔，弗雷格及其他的数学家所努力工作的结果，他们在1870年后的三十年间，为数学分析方法奠定了扎实的理论基础。数学基础危机也以20世纪之交不同的逻辑悖论宣告结束，因此包括希尔伯特和罗素在内的数学家和哲学家都极其拥护数学的逻辑研究基础。逻辑与数学基础之间的关联一直作为科学发展的一条内线在发挥着作用。本专业为学生提供系统的，整合性的研究课程，包括信息研究和计算课程。事实上，逻辑一直其计算机安全，数据库技术，网络工作，以及软件工程上起着重要作用。 本课程毕业生在工业领域里非常具有市场。除了主要负责各类工厂的项目分析，计算和检测外，本专业就业还倾向于各类和数学相关的行业。还有部分学生选择继续硕士课程学习，已获得更好的就业前景。

1、在线申请表和申请费 2、语言成绩单 3、SAT或ACT成绩单 4、高中毕业证书及学习成绩单 5、银行存款证明及收入证明 6、至少两封推荐信