Mathematical Logic
George Tourlakis
- 出版商: Wiley
- 出版日期: 2008-08-01
- 售價: $4,290
- 貴賓價: 9.5 折 $4,076
- 語言: 英文
- 頁數: 320
- 裝訂: Hardcover
- ISBN: 0470280743
- ISBN-13: 9780470280744
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
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$541 -
$1,362An Introduction to Formal Languages and Automata, 6/e (Hardcover) -
$301SpringBoot 揭秘 : 快速構建微服務體系 -
$352邁向 Angular 2：基於 TypeScript 的高性能 SPA 框架 -
Python 程式設計「超入門」$420$357 -
你所不知道的 JS｜非同步處理與效能 (You Don't Know JS: Async & Performance)$520$442 -
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$395 -
演算法技術手冊, 2/e (Algorithms in a Nutshell: A Practical Guide, 2/e)$580$458 -
你所不知道的 JS｜ES6 與未來發展 (You Don't Know JS: ES6 & Beyond)$520$442 -
$403TensorFlow 實戰 -
$403Tensorflow：實戰Google深度學習框架 -
揭開設計模式的秘辛 ── 設計模式 第1 3/4版 『Pattern hatching : design patterns applied』$390$293 -
圖解雲端技術｜基礎架構x運作原理 x API$480$379 -
$331算法圖解 (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 -
$1,460Introduction to the Theory of Computation, 3/e (Hardcover)
相關主題
商品描述
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.
