第二章为一阶逻辑,定义了非常多的新概念,先是从主体上分出了个体词,个体域,谓词等概念。第二节主要讲了合式公式,原子公式等,且引入了指导变项,约...
收录了8篇文章 · 11人关注
第二章为一阶逻辑,定义了非常多的新概念,先是从主体上分出了个体词,个体域,谓词等概念。第二节主要讲了合式公式,原子公式等,且引入了指导变项,约...
本章内容主要为二元关系以及函数。 第一节为集合的笛卡尔积与二元关系:前半部分主要讲了有序对,第一元素,第二元素,笛卡尔积等的概念;后半部分讲了一...
第五章主要是讲图的基本概念,其中大部分内容都是考研的时候接触过的。 第一节为无向图与有向图,又和以前一样,堆了若干概念定义,主要有多...
第六章为特殊的图,主要讲了主要讲了二部图,欧拉图,哈密顿图和平面图。 第一节为二部图,介绍风格和往常一样,先介绍了很多概念,比如...
第七章为树,讲的是考研期间接触了很多的树的概念,分别讲了所谓的无向树和生成树,根树及其应用,这一章比较少,只有两节。 第一节为无向树...
第八章为组合分析初步,讲的主要是以前数学接触过的排列组合的东西,以及大一时候学习c语言涉及到的类似递归的原理。 第一节为加法法则...
第九章为代数系统简介,感觉上这里的代数系统主要就是给出各种极其复杂的概念,然而在没有实际应用项目的前提下,这些个概念都显得极为鸡肋,让我觉...
第十章为形式语言和自动机初步,书中定义了非常多的关于形式语言的概念,并且初步涉及了一些又穷自动机和图灵机之类的东西。 第一节为形式语言和...