数理逻辑

勇敢迈出的第一步！一门科学技术的发展必须包括理论与应用。1956年AI概念的提出，随即学者们在思维模型、数理逻辑与式程序上取得了突破性进展，并使人工智能具备初步的自学习自适应能力，具体表现为塞缪尔于1956年发明的跳棋程序在1959年击败了他本人，并于1962年击败了美国一个州跳棋冠军。1958年，麦卡锡研制出处理程序设计语言LISP，成为人工智能语言程序研究的里程碑

勇敢迈出的第一步！一门科学技术的发展必须包括理论与应用。1956年AI概念的提出，随即学者们在思维模型、数理逻辑与式程序上取得了突破性进展，并使人工智能具备初步的自学习自适应能力，具体表现为塞缪尔于1956年发明的跳棋程序在1959年击败了他本人，并于1962年击败了美国一个州跳棋冠军。1958年，麦卡锡研制出处理程序设计语言LISP，成为人工智能语言程序研究的里程碑

spContent=材料力学是土木和机械等专业的技术基础课，是相关专业的同学了解和接触所学专业的第一门课，所以非常重要。这门课貌似不难，但要想学好也不容易，因为在这门课里除了有大家所熟悉的数理逻辑的游戏之外，还要开始学习、理解，并且建立起很多工程概念，要开始像大人一样地想问题，像大人一样地做事情。 材料力学是土木和机械等专业的技术基础课，是相关专业的同学了解和接触所学专业的第一门课

培养目标：本专业培养培养培养热爱祖国、热爱人民，拥护党的基本路线和方针政策；德、智、体、美全面发展；具有良好的科学素养，系统地掌握计算机科学与技术，包括计算机硬件、软件与应用的基本理论、基本知识和基本技能与方法，能进行程序设计和使用数据库技术、网络技术以及多媒体技术等解决实际问题。能在科研部门、教育单位、企业、事业、技术和行政管理部门等单位从事计算机教学、科学研究和应用的计算机科学与技术学科的高级技术人才。 主要课程：英语、现代教育理论、离散数学、数据结构、微机原理与接口技术、软件工程、操作系统、编译原理、计算机网络技术、程序设计方法学、计算机辅助教学（CAI）、多媒体技术、数据库系统、中学计算机教学与实践研究等