第二章為一階邏輯,定義了非常多的新概念,先是從主體上分出了個體詞,個體域,謂詞等概念。第二節(jié)主要講了合式公式,原子公式等,且引入了指導(dǎo)變項,約...
投稿
收錄了8篇文章 · 11人關(guān)注
第二章為一階邏輯,定義了非常多的新概念,先是從主體上分出了個體詞,個體域,謂詞等概念。第二節(jié)主要講了合式公式,原子公式等,且引入了指導(dǎo)變項,約...
本章內(nèi)容主要為二元關(guān)系以及函數(shù)。 第一節(jié)為集合的笛卡爾積與二元關(guān)系:前半部分主要講了有序?qū)?,第一元素,第二元素,笛卡爾積等的概念;后半部分講了一...
第五章主要是講圖的基本概念,其中大部分內(nèi)容都是考研的時候接觸過的。 第一節(jié)為無向圖與有向圖,又和以前一樣,堆了若干概念定義,主要有多...
第六章為特殊的圖,主要講了主要講了二部圖,歐拉圖,哈密頓圖和平面圖。 第一節(jié)為二部圖,介紹風(fēng)格和往常一樣,先介紹了很多概念,比如...
第七章為樹,講的是考研期間接觸了很多的樹的概念,分別講了所謂的無向樹和生成樹,根樹及其應(yīng)用,這一章比較少,只有兩節(jié)。 第一節(jié)為無向樹...
第八章為組合分析初步,講的主要是以前數(shù)學(xué)接觸過的排列組合的東西,以及大一時候?qū)W習(xí)c語言涉及到的類似遞歸的原理。 第一節(jié)為加法法則...
第九章為代數(shù)系統(tǒng)簡介,感覺上這里的代數(shù)系統(tǒng)主要就是給出各種極其復(fù)雜的概念,然而在沒有實際應(yīng)用項目的前提下,這些個概念都顯得極為雞肋,讓我覺...
第十章為形式語言和自動機初步,書中定義了非常多的關(guān)于形式語言的概念,并且初步涉及了一些又窮自動機和圖靈機之類的東西。 第一節(jié)為形式語言和...