第二章為一階邏輯茫陆,定義了非常多的新概念磕蛇,先是從主體上分出了個體詞,個體域层宫,謂詞等概念珊泳。第二節(jié)主要講了合式公式邮弹,原子公式等泰鸡,且引入了指導變項,約...

第二章為一階邏輯茫陆,定義了非常多的新概念磕蛇,先是從主體上分出了個體詞,個體域层宫,謂詞等概念珊泳。第二節(jié)主要講了合式公式邮弹,原子公式等泰鸡,且引入了指導變項,約...
本章內(nèi)容主要為二元關(guān)系以及函數(shù)奏纪。 第一節(jié)為集合的笛卡爾積與二元關(guān)系:前半部分主要講了有序?qū)停谝辉兀诙匦虻鳎芽柗e等的概念醉锅;后半部分講了一...
第五章主要是講圖的基本概念,其中大部分內(nèi)容都是考研的時候接觸過的发绢。 第一節(jié)為無向圖與有向圖硬耍,又和以前一樣,堆了若干概念定義边酒,主要有多...
第六章為特殊的圖经柴,主要講了主要講了二部圖,歐拉圖墩朦,哈密頓圖和平面圖坯认。 第一節(jié)為二部圖,介紹風格和往常一樣氓涣,先介紹了很多概念牛哺,比如...
第七章為樹,講的是考研期間接觸了很多的樹的概念劳吠,分別講了所謂的無向樹和生成樹引润,根樹及其應用,這一章比較少痒玩,只有兩節(jié)淳附。 第一節(jié)為無向樹...
第八章為組合分析初步议慰,講的主要是以前數(shù)學接觸過的排列組合的東西,以及大一時候?qū)W習c語言涉及到的類似遞歸的原理奴曙。 第一節(jié)為加法法則...
第九章為代數(shù)系統(tǒng)簡介褒脯,感覺上這里的代數(shù)系統(tǒng)主要就是給出各種極其復雜的概念,然而在沒有實際應用項目的前提下缆毁,這些個概念都顯得極為雞肋,讓我覺...
第十章為形式語言和自動機初步到涂,書中定義了非常多的關(guān)于形式語言的概念脊框,并且初步涉及了一些又窮自動機和圖靈機之類的東西。 第一節(jié)為形式語言和...