共找到5條詞條名為數理邏輯的結果展開

數理邏輯

恩德滕著圖書

《數理邏輯》是2006年人民郵電出版社出版的圖書，作者是恩德滕。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內容，並且包含了與計算機科學有關的主題，如有限模型。

目錄

1內容簡介 2作者簡介 3圖書目錄

內容簡介

邏輯典材。涵蓋題邏輯、階邏輯、判及二階邏輯容，且包含計算科題，限模型。：容讀強；組織構靈，授課根據需節選容；反映近論計算科邏輯產影響；包含較示例。適合計算及專業科研究邏輯課程材。

作者簡介

恩滕哈佛大學博士，師從著名哲學家Hilary Putnam。曾任教於加州大學伯克利分校。現為加州大學洛杉磯分校數學系兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜誌的主編。除本書外，他還著有另外兩本廣受好評的教材Elements of Set Theory和Linear Algebra。

圖書目錄

     　

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

目錄