|
關(guān)于我們
 書單推薦 新書推薦 |
簡(jiǎn)明數(shù)理邏輯 
定 價(jià)：89 元 叢書名：高等學(xué)校邏輯學(xué)專業(yè)系列教材/劉虎主編
9 7 7 8 0 7 2 0 2 3 5 0 8 讀者對(duì)象:以高校哲學(xué)、邏輯學(xué)、計(jì)算機(jī)科學(xué)專業(yè)的學(xué)生為授課對(duì)象，亦可供社會(huì)讀者自學(xué)。
本書首先簡(jiǎn)要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預(yù)備知識(shí)，然后介紹了集合論，詳細(xì)講解了命題演算、謂詞演算、可計(jì)算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎(chǔ)知識(shí)和方法。全書重點(diǎn)突出，論證詳細(xì)，各部分內(nèi)容配有典型的例子和習(xí)題，以便讀者更好地理解、掌握相關(guān)知識(shí)。
更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。 
你還可能感興趣
我要評(píng)論
|
