|
關(guān)于我們
 書單推薦 新書推薦 |
數(shù)理邏輯引論 
定 價(jià)：19.8 元 叢書名： 高等學(xué)�！笆濉币�(guī)劃教材
9 7 3 8 6 7 1 5 4 6 6 0 8
數(shù)理邏輯是離散數(shù)學(xué)的重要組成部分之一，是計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)。《數(shù)理邏輯引論（修訂版）》內(nèi)容主要側(cè)重于邏輯演算，即命題邏輯演算和一階謂詞邏輯演算，這些內(nèi)容是構(gòu)成數(shù)理邏輯其他分支的共同基礎(chǔ)。全書共分5章，分別介紹了數(shù)理邏輯的研究對(duì)象、研究?jī)?nèi)容和研究方法；命題邏輯的基本概念、命題邏輯演算形式系統(tǒng)的組成、基本定理及其性質(zhì)定理；一階謂詞邏輯演算形式系統(tǒng)的基本概念、組成、基本定理及其性質(zhì)定理、一階語言的語義等。
《數(shù)理邏輯引論（修訂版）》可用作高等院校計(jì)算機(jī)專業(yè)離散數(shù)學(xué)的教材或教學(xué)參考書，也可供從事計(jì)算機(jī)科學(xué)、人工智能方面的科技人員參考。
你還可能感興趣
我要評(píng)論
|
