注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)自然科學(xué)數(shù)學(xué)數(shù)理邏輯（第2版）

數(shù)理邏輯（第2版）

數(shù)理邏輯（第2版）

定　價：￥89.00

作　者： [德] H.D.Ebbinghaus（H.D.埃賓豪斯） 著
出版社： 世界圖書出版公司
叢編項：
標(biāo)　簽： 暫缺
ISBN： 9787519255725 出版時間： 2019-02-01 包裝： 平裝
開本： 16 頁數(shù)： 字?jǐn)?shù)：  

內(nèi)容簡介

　　本書是一部難度適中的本科生數(shù)學(xué)教材.主要講述了什么是數(shù)學(xué)證明，這些證明怎么能夠被驗證以及電腦在多大程度上能夠執(zhí)行這些數(shù)學(xué)證明.本書從一階邏輯以及它在數(shù)學(xué)基礎(chǔ)中的作用的講述開始，深入闡述了 Trachtenbrot的不可判定性理論，基礎(chǔ)等值理論的Fraisse特性，以及邏輯程序設(shè)計的基礎(chǔ)這些經(jīng)典的知識點. 讀者對象：本書適用于數(shù)學(xué)、計算機科學(xué)、人工智能和決策學(xué)等各個領(lǐng)域的本科生、研究生以及相關(guān)專業(yè)的研究人員。

作者簡介

　　《數(shù)理邏輯》（第2版）的第1作者作者H.D. 埃賓豪斯（H.D.Ebbinghaus）是德國弗萊堡大學(xué)（Universität Freiburg） 數(shù)學(xué)系教授。

圖書目錄

目次：引論；一階語言句法；一階語言語義學(xué)；完備理論； Lowenheim-Skolem理論和緊性定理；一階邏輯；語義解釋與范式；一階邏輯的擴展；規(guī)范方法的局限性；自由模型與邏輯程序設(shè)計；基礎(chǔ)等值理論的代數(shù)特性；Lindstrom定理。

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.dappsexplained.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號