 書單推薦 新書推薦 |
數(shù)理邏輯基礎(chǔ)教程 
定 價：79 元
9 7 6 8 8 7 2 3 4 0 0 2 0
"本書對數(shù)理邏輯的基礎(chǔ)知識進行了系統(tǒng)介紹。全書共8章，其中，第1章介紹了數(shù)理邏輯的基本思想以及后面各章所用到的預備數(shù)學知識，第2~6章分別介紹了命題邏輯和謂詞邏輯，構(gòu)造了它們的形式系統(tǒng)，并討論了它們的系統(tǒng)性質(zhì)，進而引入了包含數(shù)學理論的形式系統(tǒng)，前6章是本書核心內(nèi)容；后2章介紹了哥德爾的不完全性定理、算法可計算性，這部分相對于前6章而言是擴展內(nèi)容。
本書論述深入淺出，脈絡(luò)清晰，每章均配有一定數(shù)量的習題，適合自學使用。本書不需要讀者具有較多專門的數(shù)學知識，具備高中數(shù)學知識基礎(chǔ)的讀者也可以掌握本書的絕大部分內(nèi)容，只需要讀者多思考即可。本書適合作為高等院校工科相關(guān)專業(yè)本科生的數(shù)理邏輯教材，也可作為數(shù)學專業(yè)、邏輯學專業(yè)、語言學專業(yè)相關(guān)領(lǐng)域科研工作者的參考書。"
你還可能感興趣
我要評論
|
