PDF《软件学院》

24100013 离散数学(2)

3 学分

48 学时 Discrete Mathematics(2) 本课程分两大部分,一部分是图论(2 学分) ,另一部分为代数结构(1 学分) .课程主要包括以下内容: (1) 2017-2018 学年度本科课程介绍 图论部分:详细讨论图的基本定义及代数表示,道路与回路的基本概念、基本原理包括欧拉图与哈密顿图 的判别方法、基本算法包括旅行商问题、最短路径、关键路径、中国邮路等;

树的基本回路矩阵、割集矩 阵、支撑树生成和计数等;

最后讲与图论相关的四个典型应用与算法包括平面图、图的着色、图的匹配与 网络流等. (2)代数结构部分:主要介绍代数系统的定义和性质,半群、群及子群、陪集等的定义和性质 及其判定,介绍特殊的群类及群的同态、同构基本定理,介绍环和域的概念及基本性质,环的同态、同构 基本定理等内容.

24100023 离散数学(1)

3 学分

48 学时 Discrete Mathematics(1) 本课程是软件学院的基础数学课程,以离散量为研究对象,即面向计算机科学的应用,同时欲揭示相关理 论的内在联系.本课程主要包括以下内容: (1)数理逻辑部分:包括命题及其符号化、命题公式及其真值、 命题逻辑等值演算、命题逻辑的推理理论、谓词的概念及其符号化、谓词等值演算,范式以及谓词的推理 理论等内容. (2)集合论:包括集合的概念、运算;

关系及其表示,关系的性质,等价关系与等价类、相 容关系、偏序关系以及格与布尔代数;

函数的概念,反函数和复合函数,模糊子集等内容;

实数集合与集 合的基数、康托定理以及连续统假设等.

34100063 程序设计基础

3 学分

48 学时 Programming Methodology 通过课堂讲授和上机实践相结合的方式,使学生理解程序设计的基本思路和常用编程思想,掌握编写程序 解决实际问题的一般方法,并为将来学习专业领域的其他编程语言打下基础. 课程由简单的计算程序入手,通过不同的问题引出解决问题所需的程序设计思想和方法,依次讲授程序设 计中的代数思维、逻辑思维、模块化思维,枚举法、递推法、动态规划及优先搜索算法等,由浅入深. 上机实践过程中,通过分组编程、配对调试等形式,引导学生逐渐形成团队意识,为高年级较大型的课程 作业及研究项目打下基础.

34100152 程序设计实践

2 学分

32 学时 Practice of Programming 本门课程的目的是培养学生一自学为主熟练掌握一种新的编程环境和编程语言的能力.培养学生综合运用 所学知识, 独立对软件的应用需求进行分析和整理, 以协作的方式共同完成软件系统的设计, 开发和测试, 体验软件项目开发的全过程.教学计划主要分两个阶段进行:首先通过一周的教学和练习使学生对.NET 框 架和 C 语言有一个基本的入门知识, 要求学生通过自学和练习熟练掌握编程环境和编程技巧. 在此基础上, 学生以三人为单位组成项目小组,根据《实验说明书》的要求以协作的方式完成一个完整的软件项目开发 任务.软件项目开发任务具有一定的开放性,要求学生自己对软件的需求进行分析,并进行功能设计.项 目开发过程中要求小组人员责任分工明确,开发过程阶段划分明确.在每个阶段学生需要提供详细的技术 说明文档并以 ppt 的形式在全班进行报告.项目开发过程应该包括:需求分析和功能设计阶段,系统设计 和模型设计阶段,软件演示和测试阶段.