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