掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書(shū)更多>
-
>
道德經(jīng)說(shuō)什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書(shū)道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無(wú)障礙閱讀典藏版:莊子全書(shū)
中圖價(jià):¥18.6
加入購(gòu)物車
數(shù)理邏輯是什么/萬(wàn)千教育 版權(quán)信息
- ISBN：9787518420957
- 條形碼：9787518420957 ; 978-7-5184-2095-7
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
數(shù)理邏輯是什么/萬(wàn)千教育 本書(shū)特色
《數(shù)理邏輯是什么》是數(shù)理邏輯領(lǐng)域的代表性著作，旨在向零基礎(chǔ)的讀者普及數(shù)理邏輯知識(shí)。自1972年問(wèn)世以來(lái)，本書(shū)得到眾多邏輯學(xué)家的肯定，并始終是該領(lǐng)域的長(zhǎng)銷之作。 簡(jiǎn)明扼要是本書(shū)一大特色。秉持將“難懂”的數(shù)理邏輯以通俗易懂的方式介紹給一般讀者的理念，幾位作者精選數(shù)理邏輯中*典型的思想，生動(dòng)地介紹了數(shù)理邏輯發(fā)展史、謂詞演算的完全性、模型論、圖靈機(jī)與遞歸函數(shù)、哥德?tīng)柌煌耆远ɡ怼⒓险摰。相?duì)獨(dú)立的章節(jié)是本書(shū)另一大特色。全書(shū)各章之間不存在緊密的層級(jí)關(guān)系，讀者可根據(jù)理解的程度，暫時(shí)跳過(guò)某些章節(jié)，待需要時(shí)再返回重新閱讀。這種寫(xiě)作方式有助于讀者在短時(shí)間內(nèi)掌握數(shù)理邏輯的主要內(nèi)容，奠定進(jìn)一步學(xué)習(xí)邏輯、數(shù)學(xué)、計(jì)算機(jī)科學(xué)等知識(shí)的基礎(chǔ)。
數(shù)理邏輯是什么/萬(wàn)千教育 內(nèi)容簡(jiǎn)介
數(shù)理邏輯領(lǐng)域長(zhǎng)銷40余年的經(jīng)典普及之作 以簡(jiǎn)潔又有趣的方式介紹“難懂”的數(shù)理邏輯 以專業(yè)而嚴(yán)謹(jǐn)?shù)囊暯侵v述數(shù)理邏輯典型思想 為學(xué)習(xí)邏輯、數(shù)學(xué)、計(jì)算機(jī)科學(xué)等奠定基礎(chǔ)
數(shù)理邏輯是什么/萬(wàn)千教育 目錄
引 論
**章 歷史概覽
第二章 謂詞演算的完全性
第三章 模型論
第四章 圖靈機(jī)與遞歸函數(shù)
第五章 哥德?tīng)柌煌耆远ɡ?第六章 集合論
推薦讀物
索 引
展開(kāi)全部
數(shù)理邏輯是什么/萬(wàn)千教育 作者簡(jiǎn)介
約翰·N．克羅斯利（John N. Crossley）
英國(guó)數(shù)學(xué)家、邏輯學(xué)家。1963年于牛津大學(xué)獲得哲學(xué)博士學(xué)位與數(shù)學(xué)碩士學(xué)位。畢業(yè)后成為牛津大學(xué)第一位數(shù)理邏輯教師，牛津大學(xué)萬(wàn)靈學(xué)院研究員。自1968年起，長(zhǎng)期任教于澳大利亞莫納什大學(xué)，并于2010年成為該校榮休教授。
主要研究領(lǐng)域?yàn)檫壿、?shù)學(xué)和計(jì)算機(jī)科學(xué)。著有《構(gòu)成性序型》（Constructive Order Types，1969）、《數(shù)理邏輯是什么》（What IsMathematical Logic?，1972，合著）、《組合函子》（Combinatorial Functors，1974，合著）、《數(shù)的出現(xiàn)》（The Emergence of Number，1987）、《九章算術(shù)：導(dǎo)讀與注釋》（The NineChapters on the Mathematical Art: Companion Commentary，2000，合著）、《程序就是證明：柯里—霍華德對(duì)應(yīng)》（AdaptingProofs-as-Programs: The Curry-Howard Protocol，2005，合著）、《成長(zhǎng)的數(shù)字觀》（GrowingIdeas of Number，2007）等。
譯者簡(jiǎn)介約翰·N．克羅斯利（John N. Crossley）
英國(guó)數(shù)學(xué)家、邏輯學(xué)家。1963年于牛津大學(xué)獲得哲學(xué)博士學(xué)位與數(shù)學(xué)碩士學(xué)位。畢業(yè)后成為牛津大學(xué)第一位數(shù)理邏輯教師，牛津大學(xué)萬(wàn)靈學(xué)院研究員。自1968年起，長(zhǎng)期任教于澳大利亞莫納什大學(xué)，并于2010年成為該校榮休教授。
主要研究領(lǐng)域?yàn)檫壿、?shù)學(xué)和計(jì)算機(jī)科學(xué)。著有《構(gòu)成性序型》（Constructive Order Types，1969）、《數(shù)理邏輯是什么》（What Is
Mathematical Logic?，1972，合著）、《組合函子》（Combinatorial Functors，1974，合著）、《數(shù)的出現(xiàn)》（The Emergence of Number，1987）、《九章算術(shù)：導(dǎo)讀與注釋》（The Nine
Chapters on the Mathematical Art: Companion & Commentary，2000，合著）、《程序就是證明：柯里—霍華德對(duì)應(yīng)》（Adapting
Proofs-as-Programs: The Curry-Howard Protocol，2005，合著）、《成長(zhǎng)的數(shù)字觀》（Growing
Ideas of Number，2007）等。
譯者簡(jiǎn)介
夏素敏
南京大學(xué)哲學(xué)博士，中國(guó)社會(huì)科學(xué)院哲學(xué)研究所副研究員。主要研究方向?yàn)榈懒x邏輯、邏輯哲學(xué)等。出版有專著《道義悖論研究初探》等。
閆佳亮
中國(guó)社會(huì)科學(xué)院研究生院哲學(xué)系碩士研究生在讀。主要研究興趣為哲學(xué)邏輯、邏輯哲學(xué)等。
書(shū)友推薦
- >
莉莉和章魚(yú)
- >
經(jīng)典常談
- >
李白與唐代文化
- >
名家?guī)阕x魯迅:朝花夕拾
- >
二體千字文
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
上帝之肋:男人的真實(shí)旅程
- >
隨園食單
本類暢銷
