2013-2014　学年度本科课程介绍　计算机科学与技术系　00240013　计算机辅助设计技术基础　3　学分　48　学时　Fundamentals　of　Computer　Aided　Design　重点讲述计算机辅助设计的基础知识,为利用计算机解决本专业及相关领域中的问题打下必要的基础。　课程　主要内容包括:计算机辅助设计(CAD)技术的基本概念、原理、算法和软件使用。具体内容为:CAD　系统　的软硬件技术基础,二维变换、二维裁剪、二维图形的光栅显示、曲线曲面、实体造型、三维变换、三维　形体的显示、消隐、光照模型;　AutoCAD、3DSMAX5.0　软件的操作方法以及　OpenGL　图形库的应用。　00240033　软件工程　3　学分　96　学时　Software　Engineering　本课程是计算机科学与技术系为全校本科生开设的一门重要的计算机专业基础课,目的是培养学生的软件　工程素质,提高学生的软件开发能力。本课程以软件生命周期的主要活动为主线,从软件及软件工程的历　史和发展、软件开发过程、需求分析、软件设计、程序编码、软件测试、软件维护、软件项目管理、标准　及规范等方面全面介绍软件工程的基本理论、方法、技术和工具。　00240042　人工智能导论　2　学分　32　学时　Introduction　of　Artificial　Intelligence　本课程为非计算机专业的本科生介绍人工智能的基本原理和方法的入门课程。课程主要讲述人工智能问题　求解方法的一般性原理和基本思想,重点介绍在构建和分析当前及未来的智能系统方面最有前途的主题和　技术,包括产生式系统,常用的搜索方法和策略,启发式搜索算法,主要的知识表示和推理方法,以及几　个应用领域中所涉及的人工智能问题和求解方法。课程以智能体(intelligent　agent)的概念和设计为主　线,将人工智能中相互分离的领域与内容统一起来,注重理论与实际应用相结合。同时还简单介绍机器学　习、模拟退火、遗传算法、人工神经网络等算法思想及相关成果与进展。　00240053　面向计算机科学的离散数学　A　3　学分　48　学时　Discrete　Mathematics　in　Computer　Science　A　本课程为计算机科学理论的基础课程,是面向计算机科学的离散数学结构的第一部分。内容主要包括数理　逻辑与集合论两大部