educode离散数学

离散数学蕴含式的问题

如何理解数理逻辑中的蕴含？ P→Q它表示自然语言的“如果…，则…”这种假言判断的,如果P为真命题，Q也为真命题时，P→Q是真命题，当P为真命题，而Q为假命题时，P→Q是一个假命题。比如张三说，“如果明天天不下雨(P)，那么他去你家玩(Q)”,如果第二天天不下雨，他去了你家，他说了真话(P→Q为真)，如果天不下雨，但他没有去你家，显然他说了谎话(此时P→Q为假)。 但是当P为假时，无论此时Q是
·2015-11-11 08:37

离散数学的作用（用途）

公务员考试（逻辑推理） 甲、乙、丙、丁四位同学中有一位同学为海啸灾区捐款1000元，当老师询问时，他们分别这样回答：    甲：这1000元不是我捐的。    乙：这1000元是丁捐的。    丙：这1000元是乙捐的。    丁：这1000元不是我捐的。 这四人中只有一个人说了真话，由此可见这1000
·2015-11-11 08:36

POJ 2356 Find a multiple (鸽巢原理)

  离散数学课上老师讲过的竟然忘了= =…… 假定n个数为a1，a2，...，an，前n项和分别是S1、S2、...
·2015-11-11 07:18

POJ 2356 Find a multiple (鸽巢原理)

  离散数学课上老师讲过的竟然忘了= =…… 假定n个数为a1，a2，...，an，前n项和分别是S1、S2、...
·2015-11-11 07:17

5个月训练计划

主要攻克： （1）搜索（回溯法，剪枝法，启发式），做够200道题 （2）图论，参考《图论导引》等，做够300道题 （3）DP，参考《黑书》等，做够400道题 （4）数学（数论+组合数学+计算几何+离散数学
·2015-11-11 05:43

ACM进阶计划

大学期间，ACM队队员必须要学好的课程有：   l C/C++两种语言 l 高等数学 l 线性代数 l 数据结构 l 离散数学 l 数据库原理 l 操作系统原理 l 计算机组成原理
·2015-11-11 04:29

推荐一些经典书籍，100多本，Linux编程和Linux内核也很多

topic.csdn.net/u/20101108/13/5f9e8b2d-1bba-4187-a924-6cb20b016c16.html 1.计算机科学概论计算机科学概论2.计算机数学基础高等数学线性代数概率论与数理统计离散数学及其应用离散数学教程
·2015-11-11 04:11

hdu 2254 奥运

点击打开hdu 2254 思路: 矩阵乘法 分析: 1 题目给定一个有向图，要求t1-t2天内v1-v2的路径的个数 2 根据离散数学里面的可达矩阵的性质，我们知道一个有向图的邻接矩阵的前n次幂的和即为可达矩阵
·2015-11-11 03:33

SGU 122 The book（构造）

构造的方法每本离散数学书上都有。 #include <iostream> #include <stdio.h> #include <string.
·2015-11-11 03:25

离散数学 第二章 谓词逻辑 2-7 谓词演算的推理理论

谓词演算的推理方法，可以看作是命题演算推理方法的扩张。因为谓词演算的很多等价式和蕴涵式，是命题演算有关公式的推广，所以命题演算中的推理规则，如P，T和CP规则等亦可在谓词的推理理论中，某些前提与结论可能受量词限制的，为了使用这些等价式和蕴涵式，必须在推理过程中有消去和添加量词的规则，以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。现介绍如下规则。 （1）  
·2015-11-11 02:46

离散数学 第二章 谓词逻辑 2-5 谓词演算的等价式和蕴涵式

在谓词公式中常包含命题变元和客体变元，当客体变元由确定的客体所取代，命题变元用确定的命题所取代时，就称作对谓词公式赋值。一个谓词公式经过赋值以后，就成为具有确定真值t或f的命题。 定义2-5.1给定任何两个谓词公式wff a和wff b，设他们有共同的个体域e，若对a和b的任一组变元进行赋值，所得命题的真值都相同，则称谓词公式a和b在e上是等价的，并记作aûb。 定义2-5.2给定
·2015-11-11 02:45

离散数学 第二章 谓词逻辑 2-6 前束范式

在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，一个谓词演算公式，可以化为与它等价的范式。 定义2-6。1 一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。 前束范式可记为下述形式：（□v1）（□v2）…（□v4）a，其中□可能是量词 或量词ヨ，vi（i=1，2，3，…，n）是客体变元，a是没有量词的谓词公式。 例如 （&qu
·2015-11-11 02:44

离散数学 第二章 谓词逻辑 2-4变元的约束

给定a为一个谓词公式，其中有一部分公式形式为（"x）p（x）或（ヨx）（p（x））。这里"、ヨ后面所跟的x叫做量词的指导变元或作用变元，p（x）叫做相应量词的作用域或辖域。在作用域中x的一切出现，称为x在a中约束出现，x亦称为被相应量词中的指导变元所约束。在a中除去约束变元以外所出现的变元称作自由变元。自由变元是不受约束的变元，虽然它有时也在量词的作用域中出现，但它不受相应量词
·2015-11-11 02:44

离散数学 第二章 谓词逻辑 2-3谓词公式与翻译

无标题文档 我们知道，简单命题函数与逻辑联结词可以组合成一些谓词表达式。有了谓词与量词的概念，谓词表达式所能刻划的日常命题就能广泛而深入得多了。但是，怎样的谓词表达式才能成为谓词公式并能进行谓词演算呢？下面先介绍谓词的合式公式。 我们把a（x1，x2，…，xn）称作谓词演算的原子公式，其中x1，x2，…，xn是客体变元，因此原子谓词公式包括下述形式的各种特例。如：q，a（x），a（x，y），
·2015-11-11 02:43

离散数学 第二章 谓词逻辑 2-2 命题函数与量词

为了说明命题函数的概念，下面先举例解释命题与谓词的关系。 设h是谓词“能够到达山顶”，l表示客体名称李四，t表示老虎，c表示汽车，那么h（l），h（t），h（c）等分别表示各个不同的命题，但他们有一个共同的形式，即h（x）。当x分别取l，t，c时就表示“李四能够到达山顶”，“老虎能够到达山顶”，“汽车能够到达山顶”。 同理，若l（x，y）表示“x小于y”，那么l（2，3）表示了一个真命题：
·2015-11-11 02:42

离散数学 第二章 谓词逻辑 2-1 谓词的概念与表示

命题是反映判断的句子，不反映判断的句子不是命题。一般地说，反映判断的句子是由主语和谓语两部分组成。例如，电子计算机是科学技术的工具。其中“电子计算机”是主语，“是科学技术的工具”是谓语。主语一般是客体，客体可以独立存在，它可以是具体的，也可以是抽象的。例如：小王、老师、3、4、**代表团、唯物主义等。用以刻划客体的性质或关系的即是谓词。例如：张三是个大学生，李四是个大学生，这两个命题可能用不同的符
·2015-11-11 02:42

离散数学 第一章 命题逻辑 1-8推理理论

在数学和其他自然科学中，经常要考虑从某些前提a1，a2，…，an能够推导出什么结论。例如从分子学说，原子学说，能够得到什么结论，从光的波动学说，能得到什么结论等等。我们一般地要对〃假设〃的内容作深入分析，并推究其间的关系，从而得到结论。但也有一些道理，只需分析假设中的真值和联结词，便可获得结论。 在实际应用的推理中，我们常常把本门学科的一些定律、定理和条件，作为假设前提，尽管这些前提在数理逻辑中
·2015-11-11 02:41

离散数学 第一章 命题逻辑 1-7 对偶与范式

从上节可看到命题公式的最小联结词组为{┓, ∨}或{┓, ∧},但实际上为了使用方便,命题公式常常同时包含{┓, ∨,∧}.我们从表1-4.8可以看到命题定律除对9外都是成对出现的,其不同的只是∨和∧互换.我们把这样的公式称作具有对偶规律. 定义1-7.1 在给定的命题公式中,将联结词∨换成∧,将∧换成∨,若有特殊变元f和t亦相互取代,所得公式a*称为a的对偶. 显然a也是a*的对偶式. 例
·2015-11-11 02:40

离散数学 第一章 命题逻辑 1-5重言式与蕴含式

从上节真值表和命题的等价公式推证中可以看到，有些命题公式，无论对分量作何种指派，其对应的真值都为t或都为f，这两类特殊的命题公式在今后的命题演算中极为有用。为此，下面做详细的讨论。 定义1-5.1 给定有命题公式，若无论对分量做怎样的指派，其对应的真值为t，则称该命题公式为重言式或永真公式。 定义1-5.2 给定一命题公式,若无论对公式再哟怎样的指派,其对应的真值永为f,则称该命题为矛盾式或永
·2015-11-11 02:39

GNU/Linux操作系统总览

  计算机科学本科的专业课包括高等数学、离散数学、模拟电子技术、数字电子技术、微机原理、汇编语言原理、高级程序语言、操作系统原理、高级编译原理、嵌入式原理、网络原理、计算机组成与结构等诸多科目
·2015-11-11 01:02

关于“p仅当q”=“p->q”的思考

看《离散数学及其应用》看到“p仅当q”=“p->q”，不理解，第一反应是怀疑书打错了，应该是“q->p”吧，吃午饭时想着想着就突然顿悟了。。。
·2015-11-11 01:16

怎样寻找最佳爱人：一个微积分求解的离散数学问题

怎样寻找最佳爱人：一个微积分求解的离散数学问题     概率的计算     最好的那个人在位置1的可能性是多少？
·2015-11-11 00:58

怎样寻找最佳爱人：一个微积分求解的离散数学问题（建模）

    怎样寻找最佳爱人：一个微积分求解的离散数学问题     本文探讨的是怎样寻找最佳配偶。
·2015-11-11 00:58

离散数学——数论算法

      最近在复习离散数学，这篇文章是《离散数学及其应用》第六版中第三章 算法、整数、和矩阵中涉及到的几个算法，我想了一下，光看看也起不到什么作用，于是自己动手写了一下
·2015-11-10 22:42

中国计算机软件设计师考试大纲 2008-10-12 21:51 鹤影314 | 五级

中国计算机软件设计师考试大纲 一、考试说明 1．考试要求： (1) 掌握数据表示、算术和逻辑运算； (2) 掌握相关的应用数学、离散数学的基础知识； (3) 掌握计算机体系结构以及各主要部件的性能和基本工作原理
·2015-11-10 21:58

ACM/ICPC竞赛

树的表示与存储，二叉树（概念，遍历）二叉树的 应用（二叉排序树，判定树，博弈树，解答树等） 3，文件操作（从文本文件中读入数据并输出到文本文 件中） 4，图（基本概念，存储结构，图的运算） 数学知识 1，离散数学知识的应用
·2015-11-09 14:11

ACM进阶计划

大学期间，ACM队队员必须要学好的课程有： l C/C++两种语言 l 高等数学 l 线性代数 l 数据结构 l 离散数学 l 数据库原理 l 操作系统原理 l 计算机组成原理 l 人工智能 l 编译原理
·2015-11-09 14:57

清华大学计算机系列教材 (收集起来，闲下来就看看)

nbsp;    计算机科学与技术专业核心知识(9门) 计算机系统结构 操作系统 编译原理 计算机网络 形式语言与自动机 汇编语言程序设计 计算机组成原理 数据结构 离散数学
·2015-11-09 13:51

《离散数学》双语专业词汇表 名词术语中英文索引

《离散数学》双语专业词汇表 set：集合 subset：子集 element, member：成员，元素 well-defined： 良定，完全确定 brace：花括号 representation
·2015-11-09 13:32

最近总结——关于自己的基础问题

所以 打算从数据结构开始补了，有人说，离散数学是最基础的，你应该从这个开始看，听到数学就头大了，也许，我真的没有学数学的头脑，呵。     昨天很是有成就感，终于把
·2015-11-08 16:09

ACM进阶计划

大学期间，ACM队队员必须要学好的课程有： l C/C++两种语言 l 高等数学 l 线性代数 l 数据结构 l 离散数学
·2015-11-08 15:32

厚积薄发，有的放矢――李开复博士给中国计算机系学生的建议

要把数据结构、算法、数据库、操作系统原理、计算机体系结构、计算机网络，离散数学
·2015-11-08 10:58

汪教授的离散数学2011-03-04谓词与量词1

想先抱怨一下教授的PPT是逻辑混乱的，所以也在一定程度上导致他的讲课内容在逻辑上不是那么连贯。 我自己把内容整理了一下，加入了很多自己的理解，应该是很不规范严谨了，但是为了理解简单，也就先这样吧。 这次不能直接放图，图没能把所有的逻辑关系表达清楚，需要一些文字的补充。 先给图的地址http://www.xmind.net/share/_embed/atskyline/predicates-a
·2015-11-08 09:11

汪教授的离散数学-2011-03-08 谓词与量词2

对上一节课的部分补充，mindmap其实是同一个版本，就是加了一点点内容。 mindmap地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-2/ 先说上一次留下那个个关于命题函数与谓词公式的关系问题。解释如下 命题函数是具体的一个命题如X是整数，而谓词是对他的一个抽象化，符号化，如P(x)。这样才
·2015-11-08 09:09

【基础数学】素数判定、素数打表

= = 素数打表 1 //根据《离散数学》上的一个定理想到的，定理为：“若正整数a>1,且a不能被不超过a的平方根的任一素数整除，则a是素数”， 2 //实现过程如下 3
·2015-11-07 14:58

高手谈做程序员的基本原则

数据结构、离散数学、编译原理，这些是所有计算机科学的基础，如果不掌握他们，很难写出高水平的程序。据我的观察，学计算机专业的人比学其他专业的人更能写出高质量的软件。程序人人都会写，但当你发现
·2015-11-07 13:10

离散数学及其应用第6版中文版勘误

英文全名：Discrete Mathematics and Its Applications, 6/e 该书的中文版，有两种：一个是本科教学版，一个是完整的英文翻译版本。本处指是完整版。 题外话：本书英文已经出到第７版了，中文译者似乎还未跟进，热卖的依然是第６版。 原版，即英文版的错误很少，勘误表也能在作者的网站上查到：http://highered.mcgraw-hill.com/clas
·2015-11-07 12:31

离散数学蕴含等值式前件为假时命题为真的理解

蕴含等值式:P->Q<=>~PvQ,如何理解P为假时，P->Q为真命题？ 蕴含式P->Q表示，如果P那么Q，显然：如果P为真则Q为真，P→Q是真命题，当P为真命题，而Q为假命题时，P→Q是一个假命题。比如张三说，“如果明天天不下雨(P)，那么他去你家玩(Q)”,如果第二天天不下雨，他去了你家，他说了真话(P→Q为真)，如果天不下雨，但他没有去你家，显然他说了谎话(此
·2015-11-07 12:30

离散数学笔记-算法部分

一半是在忙其他事情，一半是确是有点畏惧离散数学部分。今天总结的东西都已经是一个月前的东西了。
·2015-11-07 10:04

指针闲谈

就是要把我们大学所学的离散数学,算法与数据结构，操作系统，计算机体系结构，编译原理等课程学好,对计算机的体系,CPU本身,操作系统内核,系统平台,面向对象编程,程序的性能等要有深层次的掌握。
·2015-11-03 22:46

数据结构及算法学习——写在前面的话

本人非科班出身，没学过离散数学、 数据结构、编译原理、计算机组成原理等等。C语言后来自己学了点，懵懵懂懂的，现在也忘的差不多了。
·2015-11-02 19:02

from 4g spaces

就计算机方面而言, 数据结构算法 (Intro. to Algorithm/TAoCP)看一本, 编程工具(TIJ/TIC++/SICP+Python)看一本, 离散数学(Concrete M/
·2015-11-02 18:08

深入计算机的底层

没有学习过数据结构，汇编语言，离散数学。仅仅是知道一点点的编程思想，编程工具，使用着别人写好的代码的一个初级的不知道算不算是程序员的工作。但是我知道自己并不满足，我希望对于。
·2015-11-02 16:35

Visual Studio 2010 建模学习(一) - 什么是DGML？

blog.csdn.net/quicknet   DGML是Directed Graph Markup Language的缩写，中文应该翻译为“有向图标记语言”，我记得有向图应该是离散数学中的一个概念
·2015-11-02 16:29

Qt 第一步，环境搭建与测试

晚上离散数学课下课后就开始安装Qt。 最先安装的是5.2版本的，这个最新的版本集成了所有必须的工具，不需要配置，直接就可以运行的。 但是，看书和社区教程以及参考资料时候，发现大多是4.8版本的。
·2015-11-02 16:06

四元数学习之四元数和矩阵的转换

在离散数学中有讲到半群、群、环和域的概念，其中环的定义是具有交换率和分配率（详情参考环的
·2015-11-02 15:12

组合数学

广义的组合数学就是离散数学，离散数学是狭义的组合数学和图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之，组合数学是一门研究离散对象的科学。
·2015-11-02 14:24

袁红岗的程序员修炼之道

数据结构、离散数学、编译原理，这些是所有计算机科学的基础，如果不掌握他们，很难写出高水平的程序。据我的观察，学计算机专业的人比学其他专业的人更能写出高质量的
·2015-10-31 18:26

如何提高自己的编程水平

数据结构、离散数学、编译原理，这些是所有计算机科学的基础，如果不掌握他们，很难写出高水平的程序。据我的观察，学计算机专业的人比学其他专业的人更能写出高质量的软件。
·2015-10-31 13:47

李开复给程序员的七个建议

要把数据结构、算法、数据库、操作系统原理、计算机体系结构、计算机网络、离散数学等基础课程学好。
·2015-10-31 13:33
上一页 31 32 33 34 35 36 37 38 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他