Modern Mathematical Logic
暫譯: 現代數理邏輯

Mileti, Joseph

  • 出版商: Cambridge
  • 出版日期: 2022-09-22
  • 售價: $2,610
  • 貴賓價: 9.5$2,480
  • 語言: 英文
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1108833144
  • ISBN-13: 9781108833141
  • 海外代購書籍(需單獨結帳)

商品描述

This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.

商品描述(中文翻譯)

這本教科書提供了數學邏輯的完整且現代的介紹。作者在整本書中使用當代的符號、約定和觀點,並強調與數學其他領域的互動。除了涵蓋數學邏輯的基本概念以及有關完備性、緊湊性和不完備性的基本材料外,還特別花了大量篇幅深入介紹現代數學的支柱:模型理論、集合論和可計算性。這本書只需具備適度的本科數學背景,便可輕鬆調整為適合高年級本科生或初級研究生的一或兩學期課程。大量的例子強化了關鍵概念並說明其應用,而豐富的課堂測試練習題則有助於鞏固讀者的理解。這本書內容全面且引人入勝,為這一持久迷人且重要的主題提供了全新的視角。