掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
數理邏輯是什么/萬千教育 版權信息
- ISBN：9787518420957
- 條形碼：9787518420957 ; 978-7-5184-2095-7
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
數理邏輯是什么/萬千教育 本書特色
《數理邏輯是什么》是數理邏輯領域的代表性著作，旨在向零基礎的讀者普及數理邏輯知識。自1972年問世以來，本書得到眾多邏輯學家的肯定，并始終是該領域的長銷之作。 簡明扼要是本書一大特色。秉持將“難懂”的數理邏輯以通俗易懂的方式介紹給一般讀者的理念，幾位作者精選數理邏輯中*典型的思想，生動地介紹了數理邏輯發展史、謂詞演算的完全性、模型論、圖靈機與遞歸函數、哥德爾不完全性定理、集合論等。相對獨立的章節是本書另一大特色。全書各章之間不存在緊密的層級關系，讀者可根據理解的程度，暫時跳過某些章節，待需要時再返回重新閱讀。這種寫作方式有助于讀者在短時間內掌握數理邏輯的主要內容，奠定進一步學習邏輯、數學、計算機科學等知識的基礎。
數理邏輯是什么/萬千教育 內容簡介
數理邏輯領域長銷40余年的經典普及之作 以簡潔又有趣的方式介紹“難懂”的數理邏輯 以專業而嚴謹的視角講述數理邏輯典型思想 為學習邏輯、數學、計算機科學等奠定基礎
數理邏輯是什么/萬千教育 目錄
引 論
**章 歷史概覽
第二章 謂詞演算的完全性
第三章 模型論
第四章 圖靈機與遞歸函數
第五章 哥德爾不完全性定理
第六章 集合論
推薦讀物
索 引
展開全部
數理邏輯是什么/萬千教育 作者簡介
約翰·N．克羅斯利（John N. Crossley）
英國數學家、邏輯學家。1963年于牛津大學獲得哲學博士學位與數學碩士學位。畢業后成為牛津大學第一位數理邏輯教師，牛津大學萬靈學院研究員。自1968年起，長期任教于澳大利亞莫納什大學，并于2010年成為該校榮休教授。
主要研究領域為邏輯、數學和計算機科學。著有《構成性序型》（Constructive Order Types，1969）、《數理邏輯是什么》（What IsMathematical Logic?，1972，合著）、《組合函子》（Combinatorial Functors，1974，合著）、《數的出現》（The Emergence of Number，1987）、《九章算術：導讀與注釋》（The NineChapters on the Mathematical Art: Companion Commentary，2000，合著）、《程序就是證明：柯里—霍華德對應》（AdaptingProofs-as-Programs: The Curry-Howard Protocol，2005，合著）、《成長的數字觀》（GrowingIdeas of Number，2007）等。
譯者簡介約翰·N．克羅斯利（John N. Crossley）
英國數學家、邏輯學家。1963年于牛津大學獲得哲學博士學位與數學碩士學位。畢業后成為牛津大學第一位數理邏輯教師，牛津大學萬靈學院研究員。自1968年起，長期任教于澳大利亞莫納什大學，并于2010年成為該校榮休教授。
主要研究領域為邏輯、數學和計算機科學。著有《構成性序型》（Constructive Order Types，1969）、《數理邏輯是什么》（What Is
Mathematical Logic?，1972，合著）、《組合函子》（Combinatorial Functors，1974，合著）、《數的出現》（The Emergence of Number，1987）、《九章算術：導讀與注釋》（The Nine
Chapters on the Mathematical Art: Companion & Commentary，2000，合著）、《程序就是證明：柯里—霍華德對應》（Adapting
Proofs-as-Programs: The Curry-Howard Protocol，2005，合著）、《成長的數字觀》（Growing
Ideas of Number，2007）等。
譯者簡介
夏素敏
南京大學哲學博士，中國社會科學院哲學研究所副研究員。主要研究方向為道義邏輯、邏輯哲學等。出版有專著《道義悖論研究初探》等。
閆佳亮
中國社會科學院研究生院哲學系碩士研究生在讀。主要研究興趣為哲學邏輯、邏輯哲學等。
書友推薦
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
名家帶你讀魯迅:朝花夕拾
- >
隨園食單
- >
月亮虎
- >
我與地壇
- >
史學評論
- >
唐代進士錄
- >
羅曼·羅蘭讀書隨筆-精裝
本類暢銷
