谓词逻辑与归结原理

成绩评定

个人设计成绩为小组得分与组内得分综合得到


组内成员得分：给每个组员一个得分（A、B、C），每组只能 有一位同学得A，B和C都必须有 小组得分：采用答辩方式。每个小组都给其他小组打分（A、B、 C），与教师的打分综合得到小组得分
课程设计题目

第一类题目：信息系统开发

基本功能包括：


应用型题目


要求掌握九种图的绘制 考核重点是用例图、类图、活动图、时序图、状态图、 协作图这六种图
复习要点

设计模式部分（约60%）

设计原则

设计原则具有纲领性的作用，是考核的重点 基本概念：每个设计原则的含义 应用型题目

按照某种原则重构类图或者代码 按照一定的要求扩展
复习要点


15. 网络围棋游戏室，1.0
题目说明：要求生成游戏室，管理进入游戏的玩家，生成在线棋盘，两人对 弈，不涉及人工智能


16.出租车GPS数据的地图匹配与轨迹跟踪，1.2
题目说明：对任一地图进行开发，将出租车GPS数据匹配到道路上，并可回放 出租车轨迹
欢迎加入我们的科研团队 欢迎报考我的研究生
考试

题型：



选择 8题 24分 填空 8题 24分 解答及应用题 5题 40分 算法设计 12分

成绩评定


平时成绩：30%，签到+作业+课堂表现 考试：70% 课堂参与环节的四位同学有5分的加分
复习要点

UML部分（约40%）

基本概念

软件危机 软件演化模型 UML的四种常用关系和五种视图 UML的九种图，各自的组成要素
13. 类QQ聊天程序，1.0
题目说明：要求完成登录功能、实时显示好友状态、聊天、保存查看聊天记 录、信息提示、申请新号码以及图形界面等功能


14. 高速公路收费站服务系统模拟，1.1
题目说明：开发程序求解类似下面的问题：设车辆到来为均匀分布，10秒一 辆车。收费通道每辆车收费的时间需源自文库20-90秒，70*math.random()+20，求多 少个收费通道可以使车辆的平均等待时间小于2分钟

设计模式部分（约60%）

设计模式


考核内容为使用频率4颗星和5颗星的模式，共12种 基本概念：意图、定义、通用类图、概要实现 应用型题目：

用某种设计模式重构类图或者代码 选择合适的设计模式解决问题
课程设计要求

设计要求

分组完成，每组4-6人合作完成一道题目，3周时间 要求使用两种以上的设计模式完成 提交实验报告，要求使用规范的UML描述设计过程， 并包含用例分析、静态图和动态图
软件体系结构
复习要点及课程设计要求
考试

时间：

17周周二，6月30日上午 8:20—10:00 课程设计答辩

提交实验报告，需包含组内分工与成员得分

10:20—12:00 考试

地点 :确定后通知班长

请班长提前测试教室的多媒体设备 答辩需要自带电脑的同学也要提前考察考试时电脑 放在哪里
题目说明：从图形用户界面输入任意数学函数，然后在计算机上绘制出函数 的图形。要求至少能够绘制多项式、三角函数、对数函数、指数函数等常用 数学函数。


12. 单车道车辆跟驰行为模拟实现，1.1
题目说明：简单交通流行为模拟，车辆以不同速度前进，检测到前方有慢车 时减速跟驰。
课程设计题目



第二类题目：综合设计类型题目
课程设计题目



第二类题目：综合设计类型题目
9. 搜索算法演示，1.0
题目说明：实现4-5种的搜索算法，且至少含有一种涉及人工智能的启发式搜 索算法。


10. 排序算法演示，1.0
题目说明：实现5-6种的排序算法，且至少包含快速排序、堆排序算法


11. 给定任意数学函数，绘制函数图形，1.0
图形用户界面 用户管理（注册、删除、修改、登录） 浏览、查询 添加信息 删除

扩展功能根据题目的性质添加
课程设计题目


第一类题目：信息系统开发
1、长安大学周边美食推荐系统，0.9 2、信息学院在线新闻发布系统，0.9 3、少年儿童快乐成长网站，0.9 4、学霸笔记辅助学习系统，1.0 5、学生二手商品交易平台，0.9 6、基于B/S模式的师生交流平台，1.0 7、汽车租赁管理系统，0.9 8、Web眼镜连锁店销售管理软件，0.9