目 录

任 务 书

设计内容

设计要求

参考文献

1 引言

1.1 课题背景与意义

1.1.1 课程目标

1.1.2 课程任务

1.2 国内外研究现状

1.3 课程设计的主要研究工作

2 系统需求分析与总体设计

2.1 系统需求分析

2.2 系统总体设计

3 系统详细设计

3.1 有关数据结构的定义

3.2主要算法设计

3.2.1 CNF文件处理

3.2.2 DPLL算法处理

3.2.3 DPLL算法优化方案

3.2.4 二进制数独处理

4 系统实现与测试

5.总结与展望

5.1 全文总结

5.2工作展望

6. 体会

参考文献

附录

1 引言

1.1 课题背景与意义

对于计算机科学与技术、信息安全与物联网专业大二学生，在前三个学期已经学习了C语言程序设计、数据结构两门面向编程知识与技术的基础理论课，以及C语言程序设计实验、数据结构实验两门编程实践课程，不仅具有较为系统性的C语言、常用数据结构基本知识，而且具有初步的程序设计、数据抽象与建模、问题求解与算法设计的能力，奠定了进行复杂程序设计的知识基础。但两门实验课仍属于对基本编程模型与技术的验证性训练，而“程序设计”综合课程设计正是使大家从简单验证到综合应用，甚至在编程中实现智慧与风格升华的重要实践环节，为后续学习与进行计算机系统编程打下坚实的基础，让综合编程技能成为大家的固有能力与通向未来专业之门的钥匙。