Mathematical Logic pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

H.-D. Ebbinghaus

Springer

1996-11-15

300

USD 74.95

Hardcover

Undergraduate Texts in Mathematics

9780387942582

圖書標籤: 數理邏輯數學邏輯學邏輯 Mathematics Logic 一階理論模型論

喜歡 Mathematical Logic 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-11-22

Mathematical Logic epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Mathematical Logic pdf epub mobi txt 電子書下載 2024

圖書描述

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Mathematical Logic 下載 mobi epub pdf txt 電子書

著者簡介

圖書目錄

Mathematical Logic pdf epub mobi txt 電子書下載

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

用戶評價

評分☆☆☆☆☆

教學安排上是邏輯學研究生新生必修課的教材，非常適閤作為從數理邏輯課程的內容嚮進一步學習四論過度。第一部分從頭開始嚴格地定義瞭一階語言，詳細證明瞭唯一可讀性定理、閤同引理和替換引理，完全性定理部分包含瞭教科書上少見的符號集不可數的情況。第二部分的擴展性內容涉及瞭模型論和遞歸論中的一些基本問題：選用寄存器機對停機問題和哥德爾定理的初步探討，初等等價的代數刻畫、博弈論刻畫以及或許是一個較為遺憾結果的Lindstrom定理。全書基本啃完，隻剩下有關消解原理的一章等到以後再專門學習。

評分☆☆☆☆☆

@2017-08-31 20:57:24

評分☆☆☆☆☆

很好看，特彆喜歡數理邏輯裏麵的代數方法！部分同構！

評分☆☆☆☆☆

很好的邏輯學教材，全麵、翔實、清楚。

評分☆☆☆☆☆