永远赋值为真的式子为重言式
永远赋值为假的式子为矛盾式
至少有一个式子使其为真的时候为可满足式
文字:命题变项及其否定的总称
简单析取式:由有限个文字析取组成的
简单合取式:由有限个文字合取组成的
析取范式:有限个合取式析取而成
合取范式:有限个析取式合取而成
每个变元都出现一次的简单合取式都为极小项
每个变元都出现一次的简单析取式都为极大项
主析取范式:极小项的析取
主合取范式:极大项的合取
常用化极小项,极大项的方法
永远赋值为真的式子为重言式
永远赋值为假的式子为矛盾式
至少有一个式子使其为真的时候为可满足式
文字:命题变项及其否定的总称
简单析取式:由有限个文字析取组成的
简单合取式:由有限个文字合取组成的
析取范式:有限个合取式析取而成
合取范式:有限个析取式合取而成
每个变元都出现一次的简单合取式都为极小项
每个变元都出现一次的简单析取式都为极大项
主析取范式:极小项的析取
主合取范式:极大项的合取
常用化极小项,极大项的方法
大小:7 MB
PDF版
《离散数学导论》是1982年问世的《离散数学导论》的第3版,本版基本上保持原第2版的风格与内容,并适当做了补充与删改,本版对原有的章节进行了重新编排,同时增加了大量习题。在每一篇结束后都给出了复习指导,供学习参考《离散数学导论》可作为高等学校计算机及相关专业离散数学课程的教材或参考书,也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。 目录 第一篇 绪言 第二篇 集合论 第一章 集合论初步 1.1 集合的基
大小:8.11 MB
PDF版
本书由五篇构成。第一篇数理逻辑,内容包括命题逻辑、谓词逻辑、公理系统、归结法原理。第二篇集 合论,内容包括集合的基本概念及其运算、关系、函数、自然数和基数。第三篇图论,内容包括基本概念、通 路问题、图的矩阵表示、树、穿程问题、二分图的匹配问题、平面图及色数。第四篇代数系统,内容包括基本 概念、半群和群、环和域、格和布尔代数、抽象数据类型的代数规范。第五篇有限自动机理论,内容包括基本 概念、有限自动机的简化
大小:221 KB
PDF版
《离散数学》是2015年北京大学出版社出版的图书,作者是耿素云、屈婉玲。 本书共分四大部分,数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理论,一阶逻辑的基本概念、前束范式以及推理理论。集合论部分包括集合的基本概念与运算,二元关系的性质与运算、等价关系与偏序关系,函数及其性质,复合函数与反函数等。代数结构部分包括二元运算及代数系统,半群、独异点、群、环与域、格与布尔代数等。图论部分包括图的基本概念
大小:521 KB
PDF版
本书是经典的离散数学教材,为全球多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法,除包括定义、定理的严密陈述外,还配备大量的实例和图表的说明、各种练习和题目。第6版在前五版的基础上做了大量的改进,使其成为更有效的教学工具。 《离散数学及其应用(原书第6版)(本科教学版)》是经典的离散数学教材,为全球多所大学广为采用。《计算机科学丛书:离散数学及其应用(原书第6版本科教学版)》全面而系统地介绍了
大小:23.2 KB
PDF版
《离散数学(第五版)》是由耿素云、屈婉玲、张立昂编著,2013年清华大学出版社出版的北京高等教育精品教材、高等院校信息管理与信息系统专业系列教材。该教材可以作为计算机及信息管理等相关专业本科生的教材,也可以作为计算机技术与软件专业技术资格(水平)考试的参考书,同时还可以供从事计算机软件、硬件开发和应用的人员使用。 该教材共10章,包括数理逻辑、集合论、图论、组合分析初步、代数结构和形式语言与自动机初步等6个方
大小:4.79 MB
PDF版
《应用离散数学》是2005年人民邮电出版社出版的图书。作者是方景龙。 《应用离散数学》从应用的角度介绍离散数学。 《应用离散数学》共分7章,分别是:命题逻辑、谓词逻辑、集合与关系、群环域、格与布尔代数、图论和有向图。《应用离散数学》体系严谨、叙述深入浅出,并配有大量与计算机科学相关的有实际背景的例题和习题。特别是在每章后面增加了上机作业,可增强学生对课堂教学内容的理解和掌握,提高学生的学习兴趣和动手能力。这对
非常精彩,之前一直想要了解内存管理,对象的销毁这些别的书一般都不讲的东西,这下一次性都学习了。作者很有心,有的内容不仅给了自己的实现,而且还有参考书籍或者开源库推荐
好吧。这是一本号称2020年出版,实际上2019年就能买到的穿越书 书很薄,细节很少,但是覆盖面很广,而且内容也挺新。可以看得出来,原著作者还是挺牛逼的,基本上各种算法的精髓都降到了 不过翻译有点外行了。好多名词翻译得很诡异。。。感觉不是业内人士
1、JAVA API(Java Application Interface)是JAVA的应用编程接口。作为Sun开发的Java程序,用于Java编程人员使用的程序接口,并不是说使用Java和接口有关,而是表示Java所提供的现成的类库,供编程人员使用。这与 Win32 中的 dll 文件有点像,封装了好多函数,只暴露也函数名、参数等信息,不提供具体实体,暴露出来的这些就称为API了。也就是说 Ja……
我当时是由于毕设要使用LabVIEW,但是当时老师下面带的师兄们没有一个人会,于是开始了3个月的自学攻坚。当时种种仍然记忆犹新:1. 开始是读一本入门书,对着练,读一半的时候差不多就对LabVIEW比较熟悉了。2. 然后开始看实际项目的代码,电子发烧友论坛上有很多共享出来的代码可以看。此时如果能做到把程序每一个细节都知道为什么,都知道怎么实现的,那么恭喜你,已经度过了LabVIEW初级水平了。这一……
MyBatis 真正的力量是在映射语句中。这里是奇迹发生的地方。对于所有的力量,SQL 映射的 XML 文件是相当的简单。当然如果你将它们和对等功能的 JDBC 代码来比较,你会发现映射文件节省了大约 95%的代码量。MyBatis 的构建就是聚焦于 SQL 的,使其远离于普通的方式。SQL 映射文件有很少的几个顶级元素(按照它们应该被定义的顺序):cache – 配置给定命名空间的缓……