 書單推薦 新書推薦 |
數(shù)理邏輯：基本原理與形式演算（第二版） 
定 價：98 元 叢書名：信息科學與技術基礎叢書
當前圖書已被 1 所學校薦購過！
查看明細
9 7 4 8 0 7 1 0 5 3 5 0 7 讀者對象:數(shù)學、信息與技術和其他自然科學專業(yè)的本科生、研究生和科研人員
《信息科學與技術基礎叢書·數(shù)理邏輯：基本原理與形式演算（第二版）》的內容共分十章，系統(tǒng)介紹數(shù)理邏輯的基本原理與形式演算。前五章涵蓋了經(jīng)典數(shù)理邏輯的核心內容，包括一階語言的語法與模型，形式推理系統(tǒng)，可計算性與可表示性，哥德爾定理。后五章的內容是作者的研究成果。這部分內容包括：版本序列及其極限理論、修正演算系統(tǒng)、過程模式理論、歸納推理理論、三個語言環(huán)境的理論和元語言環(huán)境遵從的6個基本原理以及信息社會中科學研究的工作流程。
更多科學出版社服務，請掃碼獲取。 
你還可能感興趣
我要評論
|
