离散数学C语言Tag内容描述：

1、7 命题逻辑的推理理论 命题逻辑的推理理论就是利用命题逻辑公式研究什么是有效的推理 推理是从前提出发推出结论的思维过程 前提是已知的命题公式 结论是从前提出发 应用推理规则推出的命题公式 如果前提是真命题 从前提出发推出结论的推理过程严格遵守推理规则 则推出的结 论也是真命题 在命题逻辑中 不注重前提和结论的真假性 而关心从前提推出结论的推理过程的正 确性 即主要研究推理的规则 定义 1 35 称。

2、1.【实验目的】对称：通过算法设计并编程实现对给定集合上的关系是否为对称关系的判断，加深学生对关系性质的理解，掌握用矩阵来判断关系性质的方法自反：通过算法设计并编程实现对给定集合上的关系是否为自反关系的判断，加深学生对关系性质的理解，掌握用矩阵来判断关系性质的方法。2.【实验内容】已知关系R由关系矩阵M给出，要求判断由M表示的这个关系是否为对称关系。假定R的关系矩阵为：3.【实验要求】C语言编程实现4.【算法描述】对称：从给定的关系矩阵来判断关系R是否为对称是很容易的。若M(R的关系矩阵)为对称矩阵，则R是对称。

3、离散数学实验报告专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 1016 实验成绩：1【实验题目】命题逻辑实验一2【实验目的】熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。3【实验内容】从键盘输入两个命题变元P和Q的真值，求它们的合。

4、离散数学实验报告专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 1016 实验成绩：1【实验题目】命题逻辑实验六2 【实验目的】对称：通过算法设计并编程实现对给定集合上的关系是否为对称关系的判断，加深学生对关系性质的理解，掌握用矩阵来判断关系性质的方法自反：通过算法设计并编程实现对给定集合上的关系是否为自反关系的判。

5、班级 学号 姓名 装 订 线 哈尔滨工程大学试卷 考试科目 离散数学C 051121 051131 32 题号 一 二 三 四 五 总分 分数 评卷人 一 填空题 每小题3分 共15分 1 谓词公式 xF x y yG x y 的前束范式为 xy F x u G v y 2 设。

6、1,离散数学总评成绩：,作业：10%(上课前上交，不可补交)期中成绩：30%，笔试考试期末成绩：60%，笔试考试,2,离散数学(Discretemathematics)是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库。

7、用JAVA语言实现离散数学算法* 显示离散数学算法的真值表* 提供将一个中缀合适公式的真值表输出到某一PrintStream流中的功能* 以单个大写字母表示变量(支持26个变量)* 以字符0或者1表示值* 以 & - 分别表示 非 析取 合取 条件 双条件 连接词* 支持 ( )(括号)* 如果公式中有错误将不会输入真值表(将会输出错误信息)说明：以 & - 分别表示 非 析取 合取 条件 双条件 连接词以单个大写字母表示变量(支持26个变量)以字符0或者1表示值，式子中的T与F支持 ( )(括号)如果公式中有错误将不会输入真值表(将会输出错误信息)注意：输出的。

8、离散数学实验报告专业班级：12级计算机本部一班 姓名：鲍佳珍 学号： 201212201401016 实验成绩：1【实验题目】命题逻辑实验二2【实验目的】熟悉掌握命题逻辑中真值表，进一步能用它们来解决实际问题。3【实验内容】求任意一个命题公式的真值表4、【实验要求】C或C语言编程实现5. 【算法描述】1.实验原理真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑。

9、南昌大学 2007 2008学年第一学期期末考试试卷 试卷编号 C 卷 课程编号 课程名称 离散数学 考试形式 闭卷 适用班级 姓名 学号 班级 学院 专业 考试日期 题号 一 二 三 四 五 六 七 八 九 十 总分 累分人 签名 题分 40 60 100 得分 考生注意事项 1 本试卷共 4 页 请查看试卷中是否有缺页或破损 如有立即举手报告以便更换 2 考试结束后 考生不得将试卷 答题纸和草。

10、实验2关系运算 (1)关系的功率计算 输入：集a，二进制关系集r，幂n 输出：r的第n次幂 要求：尽量减少运算的计算 (2)关系闭包计算 输入：集合a，二进制关系集合r 输出：R的传输闭包t(R) 要求： (a)使用Warshall算法(第89页) (b)编写将输出t(R)判断为传递闭包的代码 程序代码： #include #include #include Usi。

11、要求 求相容关系的极大相容类 输入 集合A相容关系R或者简化关系矩阵 输出 R的极大相容类 要求 采用P108的算法 includeiostream includesstream includevector using namespace std typedef vector vector int Mat class Relation vectorint s 集合 Mat A 关系矩阵 Mat D。

12、第11章 形式语言与自动机简介第11章形式语言与自动机1写出字符串011的全部前缀、后缀和子串。解：前缀：0，01，011，后缀：1，11，011，子串：0，01，011，11，12.以合理的顺序展开下列语言，把它们写成带省略号的列举法表示。(1)ab*，(2)a，b*，(3)a*b*，(4)anb2n|n0。解：(1。

13、实验2 关系的运算 1 关系的幂运算 输入 集合A 二元关系集合R 幂次n 输出 R的n次幂 要求 尽量使运算的计算量最小 2 关系闭包的计算 输入 集合A 二元关系集合R 输出 R的传递闭包t R 要求 a 采用Warshall 算法 89页 b 编写代码判断输出t R 为传递闭包 程序代码 includeiostream includesstream includevector using n。

14、1,11.4 图灵机,图灵机的基本模型 图灵机接受的语言 递归可枚举语言 用图灵机计算函数 部分可计算函数与可计算函数,2,问题的提出,1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的.,3,计算模型,从20世纪30年代先后提出 图灵机 A.M.Turing, 1936年 转换演算 A.Church, 1935年 递归函数 K.Gdel, 1936年 正规算法 A.A.Markov, 1951年 无限寄存器机器 J.C.Shepherdson, 1。