永远赋值为真的式子为重言式
永远赋值为假的式子为矛盾式
至少有一个式子使其为真的时候为可满足式
文字:命题变项及其否定的总称
简单析取式:由有限个文字析取组成的
简单合取式:由有限个文字合取组成的
析取范式:有限个合取式析取而成
合取范式:有限个析取式合取而成
每个变元都出现一次的简单合取式都为极小项
每个变元都出现一次的简单析取式都为极大项
主析取范式:极小项的析取
主合取范式:极大项的合取
常用化极小项,极大项的方法
永远赋值为真的式子为重言式
永远赋值为假的式子为矛盾式
至少有一个式子使其为真的时候为可满足式
文字:命题变项及其否定的总称
简单析取式:由有限个文字析取组成的
简单合取式:由有限个文字合取组成的
析取范式:有限个合取式析取而成
合取范式:有限个析取式合取而成
每个变元都出现一次的简单合取式都为极小项
每个变元都出现一次的简单析取式都为极大项
主析取范式:极小项的析取
主合取范式:极大项的合取
常用化极小项,极大项的方法
大小: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章,分别是:命题逻辑、谓词逻辑、集合与关系、群环域、格与布尔代数、图论和有向图。《应用离散数学》体系严谨、叙述深入浅出,并配有大量与计算机科学相关的有实际背景的例题和习题。特别是在每章后面增加了上机作业,可增强学生对课堂教学内容的理解和掌握,提高学生的学习兴趣和动手能力。这对
Python网络爬虫实战
类别:Python爬虫
Python爬虫Spider基础保姆级教程(带目录)
类别:Python爬虫Spider教程
微机原理与接口技术 课后答案
类别:微机原理
鸟哥的Linux私房菜:基础学习篇(第4版)
类别:Linux
Effective Java中文版(第3版)
类别:java
混凝土结构施工图(16G101-1图集)
类别:16g101图集
Python数据分析基础:机器学习numpy和pandas基础
类别:Python数据分析
Linux从入门到精通(第2版)
类别:Linux
同济高等数学第七版(上、下册)
类别:高等数学