Mathematical Logic
暫譯: 數學邏輯
George Tourlakis
- 出版商: Wiley
- 出版日期: 2008-08-01
- 售價: $4,440
- 貴賓價: 9.5 折 $4,218
- 語言: 英文
- 頁數: 320
- 裝訂: Hardcover
- ISBN: 0470280743
- ISBN-13: 9780470280744
-
相關分類:
離散數學 Discrete-mathematics
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
JavaScript 大全, 6/e (JavaScript: The Definitive Guide: Activate Your Web Pages, 6/e)$1,200$948 -
無瑕的程式碼－敏捷軟體開發技巧守則 (Clean Code: A Handbook of Agile Software Craftsmanship)$580$452 -
Arduino UNO R3 開發板(副廠相容版)附傳輸線$400$380 -
Arduino 基礎入門套件 (附範例程式下載連結)$950$903 -
Android 大螢幕手機與平板電腦開發實戰：經典範例直擊大螢幕、高解析度的核心處理技術（暢銷修訂版）$690$538 -
精通 Python｜運用簡單的套件進行現代運算 (Introducing Python: Modern Computing in Simple Packages)$780$616 -
ASP.NET 專題實務 I -- C#入門實戰 (VS 2015版)$820$648 -
An Introduction to Formal Languages and Automata, 6/e (Hardcover)$1,390$1,362 -
$301SpringBoot 揭秘 : 快速構建微服務體系 -
$414邁向 Angular 2：基於 TypeScript 的高性能 SPA 框架 -
Python 程式設計「超入門」$420$357 -
你所不知道的 JS｜非同步處理與效能 (You Don't Know JS: Async & Performance)$520$411 -
iOS 10 App 程式設計實力超進化實戰攻略 : 知名 iOS教學部落格 AppCoda 作家親授實作關鍵技巧讓你不NG$720$562 -
超圖解 Arduino 互動設計入門, 3/e$680$578 -
Python 自動化的樂趣｜搞定重複瑣碎 & 單調無聊的工作 (中文版) (Automate the Boring Stuff with Python: Practical Programming for Total Beginners)$500$425 -
演算法技術手冊, 2/e (Algorithms in a Nutshell: A Practical Guide, 2/e)$580$458 -
你所不知道的 JS｜ES6 與未來發展 (You Don't Know JS: ES6 & Beyond)$520$411 -
$403TensorFlow 實戰 -
$474Tensorflow：實戰Google深度學習框架 -
揭開設計模式的秘辛 ── 設計模式 第1 3/4版 『Pattern hatching : design patterns applied』$390$304 -
圖解雲端技術｜基礎架構x運作原理 x API$480$379 -
$419算法圖解 (Grokking Algorithms: An illustrated guide for programmers and other curious people) -
資料視覺化｜使用 Python 與 JavaScript (Data Visualization with Python and JavaScript: Scrape, Clean, Explore & Transform Your Data)$680$537 -
七天學會設計模式：設計模式也可以這樣學$320$250 -
Introduction to the Theory of Computation, 3/e (Hardcover)$1,490$1,460
商品描述
Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, computer science, and philosophy.
The book develops the logical tools for writing proofs by guiding readers through both the established "Hilbert" style of proof writing, as well as the "equational" style that is emerging in computer science and engineering applications. Chapters have been organized into the two topical areas of Boolean logic and predicate logic. Techniques situated outside formal logic are applied to illustrate and demonstrate significant facts regarding the power and limitations of logic, such as:
- Logic can certify truths and only truths.
- Logic can certify all absolute truths (completeness theorems of Post and Gödel).
- Logic cannot certify all "conditional" truths, such as those that are specific to the Peano arithmetic. Therefore, logic has some serious limitations, as shown through Gödel's incompleteness theorem.
Numerous examples and problem sets are provided throughout the text, further facilitating readers' understanding of the capabilities of logic to discover mathematical truths. In addition, an extensive appendix introduces Tarski semantics and proceeds with detailed proofs of completeness and first incompleteness theorems, while also providing a self-contained introduction to the theory of computability.
With its thorough scope of coverage and accessible style, Mathematical Logic is an ideal book for courses in mathematics, computer science, and philosophy at the upper-undergraduate and graduate levels. It is also a valuable reference for researchers and practitioners who wish to learn how to use logic in their everyday work.
商品描述(中文翻譯)
一本全面且易於使用的數學推理邏輯指南
《數學邏輯》提供了對形式邏輯方法的全面介紹，以及其作為可靠的推理工具的使用。這本書以其友好的方式，成功地使讀者掌握關鍵概念和方法，以便形成有效的數學論證，這些論證可以用來揭示數學、計算機科學和哲學等多個研究領域的真理。
本書發展了撰寫證明所需的邏輯工具，通過引導讀者了解既定的「希爾伯特」風格的證明寫作，以及在計算機科學和工程應用中出現的「方程式」風格。章節分為布爾邏輯和謂詞邏輯兩個主題區域。書中還應用了形式邏輯之外的技術，以說明和展示邏輯的力量和局限性，例如：
- 邏輯可以證明真理，且僅能證明真理。
- 邏輯可以證明所有絕對真理（Post 和 Gödel 的完備性定理）。
- 邏輯無法證明所有「條件」真理，例如那些特定於佩亞諾算術的真理。因此，邏輯存在一些嚴重的局限性，這一點通過 Gödel 的不完備性定理得以顯示。
全書提供了大量的例子和習題，進一步促進讀者對邏輯發現數學真理能力的理解。此外，附錄中詳細介紹了塔斯基語義學，並提供了完備性和第一不完備性定理的詳細證明，同時還提供了可計算性理論的自成體系的介紹。
憑藉其全面的涵蓋範圍和易於理解的風格，《數學邏輯》是高年級本科生和研究生數學、計算機科學和哲學課程的理想書籍。對於希望學習如何在日常工作中使用邏輯的研究人員和實踐者來說，它也是一本寶貴的參考書。
