Mathematical Logic
George Tourlakis
- 出版商: Wiley-Interscience
- 出版日期: 2008-09-02
- 售價: $4,920
- 貴賓價: 9.5 折 $4,674
- 語言: 英文
- 頁數: 320
- 裝訂: Hardcover
- ISBN: 0470280743
- ISBN-13: 9780470280744
下單後立即進貨 (約1週~2週)
買這商品的人也買了...
-
$1,200$948JavaScript 大全, 6/e (JavaScript: The Definitive Guide: Activate Your Web Pages, 6/e)
-
$580$452無瑕的程式碼-敏捷軟體開發技巧守則 (Clean Code: A Handbook of Agile Software Craftsmanship)
-
$400$380Arduino UNO R3
-
$950$903Arduino 基礎入門套件 (附範例程式光碟)
-
$360$281無瑕的程式碼 番外篇-專業程式設計師的生存之道 (The Clean Coder: A Code of Conduct for Professional Programmers)
-
$690$538Android 大螢幕手機與平板電腦開發實戰:經典範例直擊大螢幕、高解析度的核心處理技術(暢銷修訂版)
-
$780$616精通 Python|運用簡單的套件進行現代運算 (Introducing Python: Modern Computing in Simple Packages)
-
$820$697ASP.NET 專題實務 I -- C#入門實戰 (VS 2015版)
-
$354$336SpringBoot揭秘:快速構建微服務體系
-
$414$393邁向 Angular 2:基於 TypeScript 的高性能 SPA 框架
-
$600$540PIC 18F4520 微控制器, 3/e
-
$420$357Python 程式設計「超入門」
-
$520$468你所不知道的 JS|非同步處理與效能 (You Don't Know JS: Async & Performance)
-
$720$562iOS 10 App 程式設計實力超進化實戰攻略 : 知名 iOS教學部落格 AppCoda 作家親授實作關鍵技巧讓你不NG
-
$680$578超圖解 Arduino 互動設計入門, 3/e
-
$500$395Python 自動化的樂趣|搞定重複瑣碎 & 單調無聊的工作 (中文版) (Automate the Boring Stuff with Python: Practical Programming for Total Beginners)
-
$580$458演算法技術手冊, 2/e (Algorithms in a Nutshell: A Practical Guide, 2/e)
-
$520$411你所不知道的 JS|ES6 與未來發展 (You Don't Know JS: ES6 & Beyond)
-
$403
TensorFlow 實戰
-
$403
Tensorflow:實戰Google深度學習框架
-
$390$304揭開設計模式的秘辛 ── 設計模式 第1 3/4版 『Pattern hatching : design patterns applied』
-
$480$384圖解雲端技術|基礎架構x運作原理 x API
-
$294$279算法圖解 (Grokking Algorithms: An illustrated guide for programmers and other curious people)
-
$680$537資料視覺化|使用 Python 與 JavaScript (Data Visualization with Python and JavaScript: Scrape, Clean, Explore & Transform Your Data)
-
$320$250七天學會設計模式:設計模式也可以這樣學
商品描述
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.