掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡史
Mathematical logic(數(shù)理邏輯) 版權(quán)信息
- ISBN：9787519255725
- 條形碼：9787519255725 ; 978-7-5192-5572-5
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
Mathematical logic(數(shù)理邏輯) 本書特色
本書是一部難度適中的本科生數(shù)學(xué)教材.主要講述了什么是數(shù)學(xué)證明,這些證明怎么能夠被驗(yàn)證以及電腦在多大程度上能夠執(zhí)行這些數(shù)學(xué)證明.本書從一階邏輯以及它在數(shù)學(xué)基礎(chǔ)中的作用的講述開始,深入闡述了 Trachtenbrot的不可判定性理論,基礎(chǔ)等值理論的Fraisse特性,以及邏輯程序設(shè)計(jì)的基礎(chǔ)這些經(jīng)典的知識(shí)點(diǎn). 讀者對象:本書適用于數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能和決策學(xué)等各個(gè)領(lǐng)域的本科生、研究生以及相關(guān)專業(yè)的研究人員。
Mathematical logic(數(shù)理邏輯) 內(nèi)容簡介
本書是一部難度適中的本科生數(shù)學(xué)教材.主要講述了什么是數(shù)學(xué)證明,這些證明怎么能夠被驗(yàn)證以及電腦在多大程度上能夠執(zhí)行這些數(shù)學(xué)證明.本書從一階邏輯以及它在數(shù)學(xué)基礎(chǔ)中的作用的講述開始,深入闡述了 Trachtenbrot的不可判定性理論,基礎(chǔ)等值理論的Fraisse特性,以及邏輯程序設(shè)計(jì)的基礎(chǔ)這些經(jīng)典的知識(shí)點(diǎn). 讀者對象:本書適用于數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能和決策學(xué)等各個(gè)領(lǐng)域的本科生、研究生以及相關(guān)專業(yè)的研究人員。
Mathematical logic(數(shù)理邏輯) 目錄
目次：引論；一階語言句法；一階語言語義學(xué)；完備理論； Lowenheim-Skolem理論和緊性定理；一階邏輯；語義解釋與范式；一階邏輯的擴(kuò)展；規(guī)范方法的局限性；自由模型與邏輯程序設(shè)計(jì)；基礎(chǔ)等值理論的代數(shù)特性；Lindstrom定理。
展開全部
Mathematical logic(數(shù)理邏輯) 作者簡介
《數(shù)理邏輯》（第2版）的第1作者作者H.D. 埃賓豪斯（H.D.Ebbinghaus）是德國弗萊堡大學(xué)（Universität Freiburg） 數(shù)學(xué)系教授。
書友推薦
- >
詩經(jīng)-先民的歌唱
- >
有舍有得是人生
- >
回憶愛瑪儂
- >
【精裝繪本】畫給孩子的中國神話
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
姑媽的寶刀
- >
莉莉和章魚
- >
自卑與超越
本類暢銷
