离散数学真值表

离散数学 第二章 谓词逻辑 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，这两类特殊的命题公式在今后的命题演算中极为有用。为此，下面做详细的讨论。
·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

【笔记】超前进位加法器的进位递推公式的推导（Digital Logic）

Design 首先，不管电路结构如何，我们还是回到真值表，先看看最简单的半加器的真值表。（ps：啥叫半加器，简单说就是没有低位进位信号的加法电路）。 　　　　　
·2015-11-09 13:09

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

《离散数学》双语专业词汇表 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

用基本位运算实现加减乘除

一、计算机加法的实现： (1).一位二进制加法 首先给出一位二进制加法的真值表，然后我们通过分析真值表来得出如果进行二进制加法的规则。
·2015-11-08 12:55

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

要把数据结构、算法、数据库、操作系统原理、计算机体系结构、计算机网络，离散数学
·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

电路相关知识--读<<继电器是如何成为CPU的>>

5 R-S触发器和D触发器具体的真值表? 1 引言
·2015-11-07 11:07

离散数学笔记-算法部分

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

求命题真值表及主范式

1#include"iostream" 2#include"cstring" 3#include"cstdlib" 4#include"stack" 5#include"cmath" 6#definemaxsize100 7usingnamespacestd; 8charstr[100]; 9intzhipai[20]={0}; 10intlength; 11charexpre
隐藏者·2015-11-04 20:00

指针闲谈

就是要把我们大学所学的离散数学,算法与数据结构，操作系统，计算机体系结构，编译原理等课程学好,对计算机的体系,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

【连载】 FPGA Verilog HDL 系列实例--------半加器与全加器

一位加法器的真值表见表1.1；由表中可以看见，这种加法没有考虑低位来的进位，所以称为半加。半加器
·2015-11-02 13:49

【连载】 FPGA Verilog HDL 系列实例--------数据选择器

表1.1   八选一数据选择器真值表 二、实现 在设计
·2015-11-02 13:47

【连载】 FPGA Verilog HDL 系列实例--------多位数值比较器

表1.1 多位比较器真值表 二、实现 在设计文件中输入Ve
·2015-11-02 13:47

HDU 2095 find your present (2)

异或运算的真值表如下：
·2015-11-02 10:01

verilog实现的16位CPU单周期设计

单周期CPU结构图 单周期CPU设计真值表与结构图 该CPU用到的指令集,16位8个通用寄存器 设计思路 Instruction Memory：输入8位的PC指令，输出对应内存的16
·2015-11-01 13:23

16位CPU多周期设计

多周期CPU结构图 多周期CPU设计真值表 对应某一指令的情况，但仅当对应周期时才为对应的输出，不是组合逻辑 设计思路 Instruction/Data Memory：一共有两种模式：1、
·2015-11-01 13:23

用普通IO驱动LCD的控制方法-松瀚汇编源程序

本例程为IO直接驱动LCD的方法   以下是松瀚MCU汇编源程序 ****************************************/ LCD 图形如下： LCD真值表如下
·2015-11-01 13:23

一些异或运算以及掩码的奇技淫巧

2、从异或的真值表可以看出，不管是0还是1，和0做异或值不变，和1做异或得到原值的相反值。可以利用这个特性配合掩码实现某些位的翻转，例如：unsigned
凝静志远·2015-10-31 21:00

袁红岗的程序员修炼之道

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

php中empty(), is_null(), isset()函数区别

empty(), is_null(), isset()真值表(区别)   我们先来看看这3个函数的功能描述 www.111cn.net isset 判断变量是否已存在，如果变量存在则返回
·2015-10-31 16:41

如何提高自己的编程水平

数据结构、离散数学、编译原理，这些是所有计算机科学的基础，如果不掌握他们，很难写出高水平的程序。据我的观察，学计算机专业的人比学其他专业的人更能写出高质量的软件。
·2015-10-31 13:47
上一页 44 45 46 47 48 49 50 51 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他