重言式判别课程设计.docVIP

PAGE  PAGE 17 山东理工大学计算机学院 课 程 设 计 （数据结构） 班级******姓名****学号****指导教师**** 二零一零年七月七日 课程设计任务书及成绩评定 课程名称重言式的判定Ⅰ、题目的目的和要求 巩固和加深对数据结构的理解，通过上机实验、调试程序，加深对课本知识的理解，最终使学生能够熟练应用数据结构的知识写程序。 （1）通过本课程的学习，能熟练掌握几种基本数据结构的基本操作。 （2）能针对给定题目，选择相应的数据结构，分析并设计算法，进而给出问题的正确求解过程并编写代码实现。 Ⅱ、设计进度及完成情况 日 期内 容6.28~6.29选取参考书，查阅有关文献资料，完成资料搜集和系统分析工作。6.30~7.2创建相关数据结构,录入源程序。7.5~7.7调试程序并记录调试中的问题，初步完成课程设计报告。7.8~7.10上交课程设计报告并进行课程设计答辩，要求每个同学针对自己的设计回答指导教师3-4个问题。考核结束后将课程设计报告和源程序的电子版交班长统一刻光盘上交。 Ⅲ、主要参考文献及资料 [1] 严蔚敏 数据结构（C语言版）清华大学出版社 1999 [2] 严蔚敏 数据结构题集（C语言版）清华大学出版社 1999 [3] 谭浩强 C语言程序设计 清华大学出版社 [4] 与所用编程环境相配套的C语言或C++相关的资料 Ⅳ、成绩评定： 设计成绩： （教师填写） 指导老师： （签字） 二○○ 年 月 日目 录 第一章 概述……………………………………………………………1 第二章 问题描述………………………………………………………2-3 第三章 概要设计………………………………………………………3-5 第四章 程序流程图……………………………………………………6 第五章 详细设计及实现代码…………………………………………6-15 第六章 调试过程中的问题及系统测试情况…………………………15-16 第七章 结束语………………………………………………………16-17 第一章 概述 课程设计是实践性教学中的一个重要环节，它以某一课程为基础，可以涉及和课程相关的各个方面，是一门独立于课程之外的特殊课程。课程设计是让同学们对所学的课程更全面的学习和应用，理解和掌握课程的相关知识。《数据结构》是一门重要的专业基础课，是计算机理论和应用的核心基础课程。 数据结构课程设计，要求学生在数据结构的逻辑特性和物理表示、数据结构的选择和应用、算法的设计及其实现等方面，加深对课程基本内容的理解。同时，在程序设计方法以及上机操作等基本技能和科学作风方面受到比较系统和严格的训练。 选择题目：重言式的判定 一、问题描述 1.一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。 基本要求如下： （1）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“｜”、“＆”和“～”，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 （2）若是重言式或矛盾式，可以只显示“True Forever”或“False Forever”，否则显示“Statisfactible”以及变量名序列，与用户交互。若用户对表达式变元取定一组值，程序就求出并显示逻辑表达式的值。 （3）本程序先使用栈将逻辑表达式的变量进行存储，然后将栈中的元素作为二叉树的结点结构，然后根据优先级读取表达式建立二叉树，并通过逐个判断根实现对重言式的判别。 2. 程序执行的命令 （1）输入逻辑表达式 （2）判断表达式是重言式还是矛盾式 （3）若既不是重言式也不式矛盾式，则对变元取定值，并显示逻辑表达式的值 （4）结束 3．测试数据 (1) (A|~A)(B|~B) (2) (A~A)C (3) A|B|C|D|E|~A (4) ABC~B (5) (A|B)(A|~B) (6) A~B|~AB; [预计输出结果] True Forever False Forever True Forever False Forever Statisfactible Statisfactible 二. 概要设计 1．为实现上述程序功能，需要两个抽象数据类型，如下： //根据表达式建立的二叉树的结点定义; （1）typedef st