《數理邏輯》是2006年人民郵電出版社出版的圖書，作者是恩德滕。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內容，並且包含了與計算機科學有關的主題，如有限模型。
基本介紹
內容簡介,作者簡介,圖書目錄,
內容簡介
本書是數理邏輯方面的經典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內容，並且包含本書是數理邏輯方面的經典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內容，並且包含了與計算機科學有關的主題，如有限模型。本書特點是：內容可讀性強；組織結構更靈活，授課教師可根據教學需要節選本書的內容；反映了近幾年來理論計算機科學對邏輯學產生的影響；包含較多的示例和說明。本書適合作為計算機及相關專業本科生和研究生數理邏輯課程的教材。.
本書是數理邏輯方面的經典教材，以可讀性強而著稱，在美國大學中採用率極高，麻省理工學院、加州大學伯克利分校、哥倫比亞大學、康奈爾大學等眾多名校均用它作為教材。本版章節組織更加靈活，增加了與計算機科學相關的主題(比如有限模型)，還增加了一些示例和闡釋文字，更適合本科生和研究生數理邏輯課程使用。.
作者簡介
恩德滕 哈佛大學博士，師從著名哲學家Hilary Putnam。曾任教於加州大學伯克利分校。現為加州大學洛杉磯分校數學系兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜誌的主編。除本書外，他還著有另外兩本廣受好評的教材Elements of Set Theory和Linear Algebra。
圖書目錄
CHAPTER ZERO Useful Facts about Sets 1
CHAPTER ONE Sentential Logic 11
CHAPTER TWO First-Order Logic 67
CHAPTER THREE Undecidability 182
CHAPTER FOUR Second-Order Logic 282
SUGGESTIONS FOR FURTHER READING 307
LIST OF SYMBOLS 309
INDEX
