点击切换搜索课件文库搜索结果(990)
文档格式:DOC 文档大小:35KB 文档页数:3
一.填空(共计26分) 1.(每空1分)令P:天气好Q:我有时间.R:我在家.S:我上街 将下面各个命题的符号表达式填在各个命题后面的括号内 (1).或者我上街,或者我在家.( ) (2)仅当天气好,我才上街.( )
文档格式:PPT 文档大小:858KB 文档页数:149
• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式,及其应用 • 命题逻辑推理
文档格式:PPT 文档大小:508KB 文档页数:98
2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论
文档格式:PPT 文档大小:1.64MB 文档页数:151
第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论
文档格式:PPT 文档大小:920KB 文档页数:133
二元关系是一个很重要的概念,它在很多数学领域中都有应用,在计算机科学的如下理论都离不开关系:逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等; 本章主要介绍:关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系,相容关系, 次序关系
文档格式:PPT 文档大小:920KB 文档页数:133
二元关系是一个很重要的概念,它在很多数学领域中都有应用,在计算机科学的如下理论都离不开关系:逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等; 本章主要介绍:关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系,相容关系, 次序关系
文档格式:PPT 文档大小:641.5KB 文档页数:46
3.1 动态博弈的表示法和特点 3.2 可信性和纳什均衡的问题 3.3 子博弈和子博弈完美纳什均衡 3.4 几个经典动态博弈模型 3.5 有同时选择的动态博弈模型 3.6 动态博弈分析的问题和扩展讨论
文档格式:DOC 文档大小:420KB 文档页数:13
一、下面是有关二叉树的叙述,请判断正误(每小题1分,共10分) (√)1.若二叉树用二叉链表作存贮结构则在n个结点的二叉树链表中只有n一1个非空指针域。 (×)2二叉树中每个结点的两棵子树的高度差等于1
文档格式:DOC 文档大小:124.5KB 文档页数:4
一、下面是有关二叉树的叙述,请判断正误(每小题1分,共10分 ()1.若二叉树用二叉链表作存贮结构,则在n个结点的二叉树链表中只有n一1个非空指针域。 ()2.二叉树中每个结点的两棵子树的高度差等于1
文档格式:PDF 文档大小:4.21MB 文档页数:76
1.安全注意事项 2.金属材料 2.1 金属材料的分类 2.2 金属材料的性能 3 .热处理 3.1 热处理概述 3.2 常用热处理方法 3.3 热处理工艺曲线 3.4 常用钢的热处理工艺 3.5 常用热处理设备 3.6 热处理缺陷 3.7 热处理的应用
首页上页2526272829303132下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有