离散数学真值表第36页

OO第三次作业总结

OO第三次作业总结梳理JML语言的理论基础、应用工具链情况JML语言有点类似于离散数学，用规范化的方式去描述类的属性以及方法。

yummy_taro·2020-05-23 21:00

Summary of OO Unit 3

Writtenby:18373541-xiaohan209JML语言基础及工具链JML这一单元是比较神奇的一个单元，其中JML的语法是一个重点，因为其与平常的正规代码的语言不太一样，用的都是比较简单的符号，反而有点像离散数学当中的谓词逻辑

彭冠涵·2020-05-23 16:00

BUAA_OO 第三单元总结

在实际的开发过程中，程序在实现之前需要一系列严谨的设计，而程序需要严格按照设计来进行开发，而JML正好弥补了自然语言不够严谨的缺点，通过使用离散数学中数理逻辑系统，JML独特的

_无问·2020-05-23 16:00

OO第三单元博客

在我看来JML更像是离散数学中的数理逻辑，满足一定的条件就会推出想要的结果，也显示出一种契约式编程的思想。

whitering·2020-05-23 16:00

JML 规格化设计总结

本单元整体感受要比之前两个单元的工程量小了很多，但是不要小看了JML的威力（还是很容易出错的....对离散数学以及数据结构的基础知识要进行回顾）。

Windy·秋·2020-05-23 10:00

BUAA_2020_OO_UNIT3_REVIEW

OO第三单元总结1.JML语言的理论基础、应用工具链情况1.1JML理论基础我觉得就是《离散数学》中的数理逻辑由于我的《离散数学》是速成的，导致我不会写规格，只能勉强读读，因为写规格和写代码的逻辑完全不一样

BUAA-City·2020-05-22 22:00

OO第三单元总结

在学习JML的过程中能感受到一些离散数学中学到的命题逻辑等形式化表达语言，所以这一单元的学习更加了解到了所谓的“契约式”思想设计。所以以下将简单总结以下这一单元学习的内容。

HaroldCheng·2020-05-22 15:00

OO第三单元作业总结

OO第三单元总结18231169黄思为1.JML语言的理论基础及应用工具链个人感觉JML的书写与离散数学中命题逻辑、谓词逻辑比较类似。大概是用一种形式化的语言，规定代码的实现。

WilliamHuang·2020-05-22 11:00

BUAA_OO_JML_Unit3总结

本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。

Yang_Xi·2020-05-22 11:00

BUAA_OO_UNIT3_Summary

通过类似离散数学里面的语句，规范明确地指出操作的行为。具体而言，JML有两种主要的用法。（1）开展规格化设计。这样交给代码实现人员的将不是可能带有模糊性的自然语言描述，而是逻辑严格的规格。

飞昉·2020-05-21 22:00

北航OO-2020-第三单元总结

JAVA，一种编程语言；离散数学，一种数学（逻辑）语言。所以language就不多说了，接下来主要讨论JAVA和Mathofdiscrete这两个词。JAVA既然是针对JAVA语

boocrown·2020-05-20 21:00

面向对象设计入门三：JML规格

一.JML语言的理解JML语言是为了明确、清晰描述行为而诞生的，语言习惯类似离散数学里面的语句。

ZhaoYunQz·2020-05-20 16:00

BUAAOO第三单元总结

JML理论基础JML规定了一些语法,用这些语法可以描述一个方法,一个类的行为,理论基础是离散数学吧JML常用语法前置条件:使用require+表达式,表达式一般为布尔表达式副作用:assignable列出这个方法能够修改的类成员属性

Donsome·2020-05-20 13:00

离散数学【集合论】备考小结

集合论部分【离散数学】一、集合1、集合的基本概念2、子集3、幂集二、二元关系1、定义，条件，性质2、关系的基本运算3、闭包问题4、等价关系与划分5、偏序关系与偏序集三、函数1、单射，满射，双射的区别一、

code_Zbw·2020-05-12 10:50

离散数学——第一章逻辑和证明

以下全是我在学习离散数学时自己的笔记，如有错误希望批评指正1、a定义命题的否定与该命题所描述的情况相反的陈述语句。b“这是一门烦人的课程”的否定是什么这不是一门烦人的课程。

喜欢吹泡泡·2020-05-10 11:28

MATLAB-simulink实现逻辑组合电路--全加器

，这里主要记录一下simulink实现逻辑组合电路的方法首先我们需要知道它的电路图，如下(借用慕课赵贻竹老师的PPT的图片)，根据电路图做仿真(图片来自慕课，数字逻辑，赵贻竹老师的PPT)需要观察一下真值表

心拍数#0822·2020-05-05 02:00

狂神说MySQL01：初识MySQL

如果能再把离散数学、数字电路、体系结构、数据结构/算法、编译原理学通透，再加上丰富的实践经验与领域特定知识，

狂神说·2020-04-27 12:54

离散数学——集合论（二）

集合论（二）集合上的运算（续）无限交和无限并集合的构造幂集合自然数集合的构造序偶n元组——归纳定义乘积集合字符串集合利用归纳条款进行构造和析构容斥原理今天结束集合论的部分，然后再去啃coq，想想刚开学还妄想把MIT的课程跟着看完…希望我欠的东西在期末考试前都能学完吧…希望小鬼来武汉开演唱会集合上的运算（续）无限交和无限并指标集（Index）I是一个集合，并且对∀i∈I都有一个集合Si与之对应，称这

komova0·2020-04-25 23:08

离散数学——命题逻辑

谓词逻辑集合论命题逻辑命题联结词基本等值式范式推理定律推理规则命题联结词命题联结词符号判断替换否定¬0110合取∧111析取∨000p∨q\color{blue}{p∨q}p∨q⇔\color{red}{⇔}⇔¬(¬p∧¬q)蕴涵→100A→B\color{blue}{A→B}A→B⇔\color{red}{⇔}⇔¬A∨B等价↔001111A↔B\color{blue}{A↔B}A↔B⇔\colo

H_MY·2020-04-21 11:30

离散数学——coq学习笔记（一）

ModulesCompute命令定义一个新常量BOOLEANS布尔表达式的构造相关定义布尔表达式的相关运算律用Example检查计算结果是否符合预期课堂实例自然数和链表的递归构造自然数链表的构造参考书目课后题答案OMG,没学离散数学之前觉得这就是门数学

komova0·2020-04-19 01:39

离散数学——集合论（一）

集合论（一）基本概念集合上的运算运算的定义（部分简单内容跳过，逻辑公式可自己写出）文氏图和范式[Venndiagram](https://en.wikipedia.org/wiki/Venn_diagram)这部分内容因为高中接触过，这种熟悉感就会降低心里对新知识难度的畏惧感，难点还是利用coq语言证明相关结论，文末贴了一些编辑时用到的链接。关于coq语言会在后边发一些学习笔记，算是加深自己的理解

komova0·2020-04-12 17:57

第四章

如果有离散数学的基础知识，你能否使用逻辑系统形式化该证明？为了证明程序不会出现溢出错误，我们在不变式中添加条件0t。

许漠颜·2020-04-12 13:29

基于java和mysql数据库的一个学生成绩管理系统

1.1增加学生成绩增加学生信息主要是把学生的成绩录入系统中，录入信息包括学生学号，姓名，C++成绩，电路成绩，英语听说成绩，英语读写成绩，大学物理成绩，概率论成绩，近代史成绩，形式与政策成绩，体育成绩，离散数学成绩

奔跑骚年·2020-04-10 21:38

【离散数学】图论（二）几种特殊图

正文之前上一篇文章中介绍了欧拉回路，这次我们来说一说几种特殊的图完全图二分图完全二分图n立方体正文1.完全图定义：每对结点之间都恰好有一条边（作为判断条件）的简单图以Kn表示有n个结点的完全图性质：结点数：n边数：n(n-1)/2(将所有结点标上顺序，第n个结点共有n-1条边，依次类推，(n-1)+(n-2)+...+2+1=n(n-1)/2)2.二分图1.定义：图G=(V,E)中，集合V存在子集

胖若两人_·2020-04-10 14:59

极客故事：拿下MIT未来科学家奖，离散数学贡献突出的华裔教授

因在离散数学领域的研究贡献突出，他成为该奖项的第二位得主。MIT科学学院院长、数学教授迈克尔·西普瑟（MichaelSipser）发出感慨：“宇飞在组合学方面，为计算机科学应用做出了巨大贡献。”

智能观·2020-04-09 20:37

离散数学exp

真值表法求取主析取范式及主合取范式的实现+++1.明确思路将中缀表达式转换为无需考虑优先级的后缀表达式便于机器阅读（stack实现），然后dfs（递归枚举）所有不同的真值情况，位运算给变元赋值,最后输出

sunnyday0725·2020-04-09 20:00

gojs入门

gojs是一个用来生成数据流程图，关系图等常用软件工程图表的javascrit库,下面我们将利用gojs来制作一个简单的离散数学中的关系图。首先我们要生成一个空白的html模板。

MrVictorChew·2020-04-09 11:00

20170622-Thu-快思慢想-002-检视阅读-概念-词性分类

时间：0500-0600新增概念：词性分类关键词：主动阅读，检视阅读，结构能力，属性识别需要读的书：《如何阅读一本书》《批判性思维》《离散数学》《逻辑学》《金字塔原理》《结构思考力》%%阅读清单又增加了几本

大雨日知录_个人成长记录·2020-04-08 05:33

离散数学大概（一）

非真即假的陈述句称为命题不能被分解的命题称为简单命题或原子命题，由简单命题通过联结词联结而成的命题称为复合命题将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式，也称为命题公式设A为任一命题公式若A在它的各种赋值下取值均为真，则称A为永真式或重言式若A在它的各种赋值下取值均为假，则称A为永假式或矛盾式若A不是矛盾式，则称A是可满足式（A至少存在一个成真赋值，重言式一定是可满足式

zizhan·2020-04-06 16:10

浅析逻辑代数、命题逻辑、一阶逻辑、高阶逻辑和数理逻辑

前言此文是在本人学习完离散数学中的数理逻辑部分后，对标题中各部分之间的联系存在很大的疑惑。特此进行总结，水平有限，如有错误，欢迎指正。

辰述·2020-04-04 22:00

D触发器

D触发器的真值表如下：课本上的D触发器是下面的结构：利用的是JK触发器，一个主触发器一个从触发器，下面是JK触发器的样子采用的是很多组合逻辑组合而成。

集成电路基础与数字集成电路设计·2020-04-03 19:23

问题餐厅

离散数学的作业没有写好，物理作业没有写好，电子电工作业没有写好，然后日语没有进展，早上进行了早读。java没有进展，和朋友进行了约定。练习了一会英语口语。发现了好的读书软件。发现了一个很好看的日剧。

渡狸酱·2020-04-02 11:32

undefined和null与真值表

undefinedundefined类型只有undefined一个值.表示变量已经定义,但是没有值或者变量未定义变量已定义,但是没有值varaa//undefined变量未定义typeofb//undefinednullnull指向不存在的对象,表示变量是一个空的对象指针.typeofnull//objectundefined和nullundefined和null都保存在栈内存上,区别是null是

Renderz_干了这碗口嚼酒·2020-04-01 22:23

Hash Function（离散数学的应用）

CS182离散数学学到的知识派上用场了，系统学习知识很有必要，对于一个概念的理解会更深刻。不过，182的问题在于太理论，不注重实践。我第一时间没有想到需要先求余，说明理论到实践这一步还需要加强。

奇得隆东枪·2020-04-01 13:47

《具体数学》读书笔记 kirai 16.11.2（前言部分）

前言部分读过前言以后才知道具体数学原来是融合了连续数学和离散数学两部分数学知识的学科。

kirai·2020-03-31 10:36

据说这份高考卷，只有程序员能得满分！

比如，你选择了计算机专业，那么你将面临高等数学、线性代数、C语言、计算机引论、离散数学、电子技术、C++程序设计、汇编语言程序设计、计算机组成原理、编译原理、操作系统、数据库原理……又是一年高考季，一起来做做

nanao3o·2020-03-30 06:43

【离散数学】图论（七）图的同构

正文之前同构是在数学对象之间定义的一类映射，它能揭示出在这些对象的属性或者操作之间存在的关系。若这两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略掉同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的 ——Wikipedia正文1.简介关于图的同构(Isomorphic)，最简单的例子就是五边形和五角星了：

胖若两人_·2020-03-28 07:32

离散数学及应用——命题等价

半路出家的android程序员，内功修为需要累积，先是数学基础，再到数据结构，量变到质变，直到打通任督二脉，写代码时能用数学的模型命题，再已数学的定理进行算法删减优化，才能成为万中无一的高手。概念逻辑等价真值相等的两个复合命题逻辑等价。证明¬（pVq）和¬p∧¬q逻辑等价9D8ADBEF-CC4D-4c9f-993D-B87FF990834C.png对比所有可能的真值组合，他们的值都一样，所以他们

DrChenZeng·2020-03-28 01:19

平平淡淡

可怕的就是离散数学。一切都是未知

国王小天使·2020-03-28 01:32

K：剑指offer-56 题解谁说数字电路的知识不能用到算法中？从次数统计到逻辑表达式的推导，一文包你全懂

林学徒·2020-03-27 23:00

离散复习

connective），就称之为复合命题否定negation和取conjunction就是^，析取disjunction（inclusiveor）异或exclusiveor当两个命题真值不同时异或为真异或真值表

TACITURNLY·2020-03-27 13:49

逻辑运算符'||'和'&&'

我看到有一个面试题是alert(1&&2);答案是返回2.很少见的题目,对逻辑与和逻辑或考察的很细...于是乎决定展开一系列简单的问题...逻辑与('&&')直接看真值表varresult=teur&&

神奇的少年·2020-03-27 12:36

那些永远记不住的单词｜Contingency 可能偶然【103】

Contingency英[kən'tɪndʒ(ə)nsɪ]美[kən'tɪndʒənsi]n.偶然性；[安全]意外事故；可能性；[审计]意外开支；[离散数学或逻辑学]偶然式Contingency是指未来可能发生

philren·2020-03-27 07:39

学了什么

最近几天没更新文，总结一下最近中午会休息一会儿，为晚上的学习储备能量看了图像处理技术简单的flash理论知识程序的一些写法办公软件的深度学习网络方向的那些还在回顾……学了离散数学的一些内容，书快看完了…

枫林叶片·2020-03-26 15:37

怎样理解“如果明天是晴天，我就去爬山”

在学离散数学第一部分”数理逻辑“的时候，最头疼的就是那些转化题，即把以自然语言说的某句话转化为符号形式。主要是因为自然语言有二义性，有很多话在不同的上下文中可能有不同的解释，转化的时候特别纠结。

6d96978eeefb·2020-03-26 14:48

如何理解“→”【離散數學、符號邏輯】

的真值表如下：pq001011100111表中，以及是很好理解的——如果推理的前提為真，顯然推理本身是否正確取決於推理結果的正誤。

執迷_4869·2020-03-26 00:04

紫荆花开（7）

“如烟望着许佳满面的笑容，不知怎么讲好，许佳却瞟到了如烟手里的《离散数学》，顿时明白了几分。“是不是自学有困难，来这里听课？告诉我嘛，我们一起来，我也学得不好，得好好补补。

爱笑的美人鱼·2020-03-25 02:21

覆盖equals方法需要注意的

读书笔记第八条覆盖equals方法其实是非常有讲究的,许多覆盖方式会导致错误,并且带来非常严重的后果.首先看一下文档上对equals方法是怎么说的吧Object类的equals方法自反性,对称性,传递性,有木有想起离散数学

DongBold·2020-03-23 04:01

计算机课程

1、主干学科：马克思主义理论、大学外语、高等数学、大学物理、物理实验、线性代数、概率论与数理统计、程序设计语言、数据结构、离散数学、操作系统、编译技术、软件工程概论、统一建模语言、软件体系结构、软件需求

读书郎啊·2020-03-22 19:54

第一章

wediscusstheaimsandgoalsofthistextandbrieflyreviewprogrammingconceptsanddiscretemathematics.Wewill此章，我们将讨论本书目的并且简单温故一下编程思想和离散数学

哈小奇·2020-03-22 12:20

推荐频道

离散数学真值表