您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 离散数学 离散数学课件

  2. 离散数学课件是学习计算机科学的基础学科 离散数学课件研究由命题为基本单位构成的前提和结论之间的可推导关系。 §1.1 命题的表示与逻辑的联结词 1.命题 Satement proposition 任何一个可以判断真假的陈述语句叫命题。 (能够判断其断言是真或是假的陈述语句称为命题; 具有真假意义的陈述语句;非真必假的陈述语句)
  3. 所属分类:专业指导

    • 发布日期:2009-08-17
    • 文件大小:4mb
    • 提供者:lyp520xiazai
  1. 计算机要学哪些东西----(还有附赠哦)

  2. CS(计算机科学)知识体系 计算教程2010报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者,所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。 知识体的结构 计算机科学知识体分层组织成三个层次。最高一层是领域(area),代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示,比如OS代表操作系统,PL
  3. 所属分类:其它

    • 发布日期:2010-11-21
    • 文件大小:108kb
    • 提供者:fmxujin
  1. Oraclet中的触发器

  2. 触发器的概念 触发器是许多关系数据库系统都提供的一项技术。在ORACLE系统里,触发器类似过程和函数,都有声明,执行和异常处理过程的PL/SQL块,不过有一点不同的是,触发器是隐式调用的,并不能接收参数。 触发器优点 (1)触发器能够实施的检查和操作比主键和外键约束、CHECK约束和规则对象等更为复杂。 (2)触发器建立在表一级,它与特定的数据修改事件相对应。 触发器类型 触发器在数据库里以独立的对象存储,它与存储过程不同的是,存储过程通过其它程序来启动运行或直接启动运行,而触发器是由一个事件
  3. 所属分类:Oracle

    • 发布日期:2011-06-04
    • 文件大小:38kb
    • 提供者:zdd385568388
  1. 计算机要学哪些东西

  2. CS(计算机科学)知识体系 计算教程2012报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者,所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。 知识体的结构 计算机科学知识体分层组织成三个层次。最高一层是领域(area),代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示,比如OS代表操作系统,PL
  3. 所属分类:其它

    • 发布日期:2012-05-18
    • 文件大小:108kb
    • 提供者:x31721019
  1. 数理逻辑中的联结词蕴涵式

  2. 在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分析.
  3. 所属分类:专业指导

    • 发布日期:2008-09-01
    • 文件大小:178kb
    • 提供者:zztangzju
  1. 集合与简单逻辑

  2. 1-0集合与简易逻辑引言,1-2-0子集全集补集,1-6-0逻辑联结词,101-集合的运算,充要条件.
  3. 所属分类:讲义

    • 发布日期:2014-07-04
    • 文件大小:3mb
    • 提供者:qq_17238559
  1. 离散数学课件免费下载

  2. 离散数学课件研究由命题为基本单位构成的前提和结论之间的可推导关系。 §1.1 命题的表示与逻辑的联结词 1.命题 Satement proposition 任何一个可以判断真假的陈述语句叫命题。 (能够判断其断言是真或是假的陈述语句称为命题; 具有真假意义的陈述语句;非真必假的陈述语句)
  3. 所属分类:专业指导

  1. 逻辑联结词

  2. 逻辑联结词
  3. 所属分类:讲义

    • 发布日期:2017-07-17
    • 文件大小:1mb
    • 提供者:qq_39537408
  1. 离散数学01 序言 第一章 数理逻辑 命题 命题联结词.rar

  2. 离散数学 64讲 1-35讲 含第一二三四章全部 第五章代数系统 视频
  3. 所属分类:专业指导

    • 发布日期:2019-05-15
    • 文件大小:8mb
    • 提供者:baidu_33689015
  1. 实验一 联结词的逻辑运算.rar

  2. 从键盘输入两个命题变元p和q的真值,求p的否定运算的真值以及求p和q的合取、析取、蕴涵和等价运算的真值。要求对输入内容进行分析,如果不符合0、1条件需要重新输入,程序有良好的输入输出界面。
  3. 所属分类:讲义

    • 发布日期:2020-04-11
    • 文件大小:25kb
    • 提供者:qq_44825810
  1. 《离散数学》考试大纲.pdf

  2. 第一部分 逻辑部分 命题的概念、联结词、 命题公式、命题的符号化与翻译、构造真值表证明命题公式的等价、 不构造真值表证明蕴涵式与等价式及命题公式的化简、命题公式的主析取范式、主合取范式 的求法、推理证明的直接证法和间接证法、 n 元谓词与量词、谓词公式及其翻译、谓词演算 的等价式与蕴涵式、 应用 UI 规则、 UG 规则、 EI 规则、 EG 规则进行谓词演算的推理证明 等 第 二部分 集合与关系 集合的概念与运算、 关系的概念及性质、 关系的闭包运算、 等价关系与划分、 相容关系
  3. 所属分类:专业指导

    • 发布日期:2020-02-08
    • 文件大小:147kb
    • 提供者:phoenixss433
  1. 《人工智能》(蔡自兴著)课后答案完整版.pdf

  2. 主要内容如标题所示,为《人工智能》课后答案问题求解(下棋程序),逻辑推理与定理证明(四色定理证明),自然语言理解,自动程序设 计,专家系统,机器学习,神经网络,机器人学(星际探索机器人),模式识别(手写识别 汽车牌照识别,指纹识别),机器视觉(机器裝配,卫星图像处理),智能控制,智能检索, 智能调度与指挥(汽车运输高度,列车编组指挥),系统与语言工具 新的研究热点: 分布式人工智能与 Agent,计算智能与进化计算,数据挖掘与知识发现(超市市场商品数据 分析),人工生命 第二章知识表示方法 2-
  3. 所属分类:讲义

    • 发布日期:2019-07-07
    • 文件大小:5mb
    • 提供者:qq_17337199
  1. 离散数学知识点总结

  2. 一、知识框架图  二、数理逻辑        1.命题符号化           命题:能判断真假的陈述句           命题包含两个要素:陈述句,能判断真假           命题题符号化的步骤:                                1 )对于不太好理解的联结词或表达方式,如有必要,做适当的文字翻译。                  2 )找出其中所有的原子命题并符号化。                  3 )用适当的联结词将原子命题连接起来,如有必要,
  3. 所属分类:其它

  1. 简易逻辑与充要条件(1)

  2. g3.1006简易逻辑与充要条件(1) 1、 知识回顾1、命题的定义:可以判断真假的语句叫做命题。2、逻辑联结词、简单命题与复合命题:“或”、“且”、“非”这些词叫做逻辑联结词;不含有逻辑联结词的命题
  3. 所属分类:其它

    • 发布日期:2021-01-20
    • 文件大小:741kb
    • 提供者:weixin_38501299