离散数学真值表

拓扑排序的原理及事实上现

本文将从下面几个方面介绍拓扑排序： 拓扑排序的定义和前置条件 和离散数学中偏序/全序概念的联系 典型实现算法 Kahn算法 基于DFS的算法
·2015-11-13 19:12

考研路程

2月23号：昨天买了四本书，是别人介绍的，概率论和离散数学的教材和答案，还不知道是什么书，质量怎么样，等到了看看才能说。
·2015-11-13 18:06

《编程珠玑》推荐的计算机书籍很全面很基础

计算机经典书籍汇总,下载地址：http://bbs.theithome.com/read-htm-tid-308.html 1.计算机科学概论计算机科学概论2.计算机数学基础高等数学线性代数概率论与数理统计离散数学及其应用离散数学教程
·2015-11-13 14:30

以我个人一年的求职经历为主要经验来介绍（主要是开发岗位经验）地球人找工作之前期准备

作为开发岗位的应聘者，首先基础知识是必须掌握牢固的，这里的基础知识包括：C/C++语言、数据结构、概率论、计算机网络、离散数学等。
·2015-11-13 13:46

poj 2513 Colored Sticks

id=2513 和离散数学有关  欧拉回路问题 同一颜色的标记为同一点 同一stick 的两端为相连状态 数学什么的 最不擅长了 看了别人的解析 两个限制条件 1  图为联通
·2015-11-13 12:43

拓扑排序的原理及事实上现

本文将从下面几个方面介绍拓扑排序： 拓扑排序的定义和前置条件 和离散数学中偏序/全序概念的联系 典型实现算法 Kahn算法 基于DFS的算法
·2015-11-13 12:38

略读六部计算机名著

《算法导论》《离散数学及其应用》《深入理解计算机系统》《设计模式－可复用面向对象软件的基础》《代码大全》《UNIX编程艺术》，这就是我看的书，看了以后心潮起伏跌宕，尤其是余热未消的《UNIX编程艺术》与
·2015-11-13 07:35

ACM 进阶指南

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

[原]hdu2045 不容易系列三——LELE的RPG难题 （递推方程）

这个题目的关键就在于递推方程——以及错误的测试数据 首先这个题目就是简单的置换群着色问题—— 去除了反转的问题，难一点的大家可以看P197（离散数学，高等教育出版社） 我在做这个题目的时候首先被f
·2015-11-13 04:57

学习方向

深广度： 　　计算机科学前沿技术 语言交流： 　　考研英语、计算机英语、英语口语、语言表达 文化哲学： 　　现象学、战争论、实用主义 数学算法： 　　运筹学、组合数学、离散数学、具体数学、
·2015-11-13 01:59

开发人员的基本原则

1.扎实的基础 数据结构、离散数学、编译原理，这些是所有计算器科学的基础，如果不掌握他们，很难写出高水平的程序。据我的观察，学计算器专业的人比学其它专业的
·2015-11-13 01:21

SQL 复合查询条件(AND,OR,NOT)对NULL值的处理

  以下是SQL中AND,OR,NOT的真值表。         &nbs
·2015-11-13 00:08

黑书之1.2.6：离散数学

题目描述： 有一个函数，它的定义域：1 to N(2<=N<=100000),值域f(n)为long int(in C++)(最后证明在-2^31—2^31)。要求函数上的两个点a,b使得当x∈(a,b)函数f,在直线ab的下方，并且要求ab的倾角最大。 根据黑书所说，O(n^2)的算法确实是很容易相出，但是存在一种O(n)算法。想了许久都不能明白，中间确实想到过最终的解法，
·2015-11-13 00:02

大学四年计算机也许应该这样学。。。

核心课程简表 一上：综合数学（连续部分A（数学分析））[1001]、物理（经典物理）[2001]、程序设计与编译一A（C/Basic）[3001]、哲学与系统科学[1000] 一下：综合数学（离散部分A（离散数学
·2015-11-13 00:13

拓扑排序

拓扑排序： 拓扑排序是根据离散数学中有关偏序与全序定义的。
·2015-11-12 23:33

《离散数学之把妹要诀》的js实现

网上看到一篇有意思的文章《离散数学之把妹要诀》 就用JS写了上面所讲的配对方式： 首先设定变量 // 男生理想列表 var menPreference = { A: [1,
·2015-11-12 23:06

重言式判别 (数据结构课程设计)

判断这个所谓重言式，核心算法就是用真值表啦，试过所有取值。
·2015-11-12 23:37

HDU 5000 Clone（离散数学+DP）（2014 ACM/ICPC Asia Regional Anshan Online）

Problem Description After eating food from Chernobyl, DRD got a super power: he could clone himself right now! He used this power for several times. He found out that this power was not as perfect a
·2015-11-12 21:28

时间安排还是很不合理

这几天的收获仍然停留在深度优先搜索，昨天又看了一下离散数学，感觉
·2015-11-12 20:51

CodeForces369C On Changing Tree

+xn=k的有多少个非负整数解，学过离散数学或者一些组合数学的就会知道，答案是C(k,n+k-1)，但是由于n+k-1可能会很大，我一开始考虑小了，贡献了好
·2015-11-12 19:25

[文档].艾米电子 - 触发器与锁存器，Verilog

关于其真值表，请自行查找数字电路参考书学习。 1.1 同步复位
·2015-11-12 19:36

第四章 组合逻辑电路

组合逻辑分析方法 如果有逻辑图   根据逻辑图写出逻辑表达式 根据表达式写出真值表 根据真值表的规律找出实现的规律 逻辑电路设计方法 根据需求描述找出变量和自变量，同时定义0和1的表达方式
·2015-11-12 18:56

acm训练计划

书籍：离散数学、算法竞赛入门经典、算法入门经典习题册。 时间安排： 起床时间：6：00. 背英文（为快速理解acm题目打好基础） 知识点学习。 下午编程训练，自己在oj上挂比赛进行训
·2015-11-12 16:48

HDU 4259 Double Dealing 【离散数学】

Problem Description Take a deck of n unique cards. Deal the entire deck out to k players in the usual way: the top card to player 1, the next to player 2, the k th to player k, the k+1 st to
·2015-11-12 15:14

公开课

1，北京大学公开课： http://opencourse.pku.edu.cn/course/opencourse2/ 当中数据结构和离散数学挺好的。
·2015-11-12 15:35

POJ 2513 Colored Sticks 解题报告

虽然在离散数学里学过，敲代码还是第一次。     本题是说端点颜色相同的两根木棒可连接，能否将所有的木棒连成一条直线。
·2015-11-12 11:03

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

1.计算机科学概论计算机科学概论2.计算机数学基础高等数学线性代数概率论与数理统计离散数学及其应用离散数学教程(北大版)什么是数学具体数学：计算机科学基础3.C语言谭浩强C程序设计C primer plusThe
·2015-11-12 10:11

[笔记]有想法的方向

图像处理与模式识别）        数学、算法Altim Designer51单片机DSPFPGA 数字信号处理信号与系统非线性光学 离散数学数据通信与计算机网络
·2015-11-12 09:47

寒假学习计划

《C和指针》（已看完12章） 看完以上书籍接下来的任务就是每天看《离散数学及其应用》和《数据结构与算法分析》，虽然觉得数据结构等学完离散数学学比较好，但是出于某些
·2015-11-11 17:59

瑞柏匡丞——选择合适的程序“猿”（个人简介，如有雷同，纯属巧合）

数据结构、离散数学、编译原理，这些是所有计算机科学的基础，如果不掌握它们，很难写出高水平的程序。
·2015-11-11 15:16

ACM知识储备

高级语言程序设计、高等数学、数据结构、算法分析、数学建模、离散数学、数论、图论、概率论、计算机几何学、组合数学等课程。。。。
·2015-11-11 13:47

POJ 3295 Tautology(构造法）

题目链接 在POJ训练计划中构造法的一个题，题目还是挺有意思的，就是离散中真值表给构造出来，马上要考离散了，就当复习一下析取和合取。。。
·2015-11-11 10:49

沉痛悼念孙吉贵老师.........

  还记得大二上离散数学的时候，教我们的是他的学生冯莎莎老师，虽然冯老师也是一位让我尊敬如长姐的老师，后来我在我考研的过程中她曾很无私的在离散数学的复习中给了我很大的帮助，甚至在她去曼彻斯特大学继续攻读博士学位前还热心的请张永刚老师继续在离散数学上帮助我
·2015-11-11 09:13

离散数学 第一章 命题逻辑 1-4真值表与等价公式

1在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。
·2015-11-11 08:41

离散数学 第一章 命题逻辑 1-3命题公式与翻译

前面已经提到，不包含任何联结词的命题叫做原子命题，至少包含一个联结词的命题称作复合命题。 设p和q是任意两个命题，则┓p，p∨q，（p∧q）∨（p→q），p«（q∨┓p）等都是复合命题。 若p和q是命题变元，则上述各式均称作命题公式。p和q称作命题公式的分量。 必须注意：命题公式是没有真假值的，仅当在一个公式中命题变元用确定的命题代入时，才得到一个命题。这个命题的真值，以来于代换
·2015-11-11 08:40

离散数学 第一章 命题逻辑 1-2 联结词

在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。(1)否定    定义1-2.1设p为一命题，p的否定是一个新的命题，记作┓
·2015-11-11 08:39

离散数学 第一章 命题逻辑 1-1 命题及其表示法

在数理逻辑中，为了表达概念，陈述理论和规则，常常需要应用语言进行描述，但是日常使用的自然语言进行描述，往往叙述时不够确切，也易产生二义性，因此就需要引入一种目标语言，这种目标语言和一些公式符号，就形成了数理逻辑的形式符号体系。所谓目标语言就是表达判断的一些语言的汇集，而判断就是对事物有肯定或否定的一种思维形式，因此能表达判断的语言事故陈述句，它称作命题。一个命题，总是具有一个“值”，称为真值。真值
·2015-11-11 08:38

离散数学 第一篇 数理逻辑

第一篇 数理逻辑      逻辑学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。　　逻辑学分为辨证逻辑与形式逻辑两种，前者是以辨证法认识论的世界观为基础的逻辑学，而后者主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。思维的形式结构包括了概念，判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对
·2015-11-11 08:38

离散数学蕴含式的问题

如何理解数理逻辑中的蕴含？ 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
上一页 43 44 45 46 47 48 49 50 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他