-
>
道德經(jīng)說(shuō)什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書(shū)道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無(wú)障礙閱讀典藏版:莊子全書(shū)
數(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)千教育 目錄
數(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é)等。
- >
莉莉和章魚(yú)
- >
經(jīng)典常談
- >
李白與唐代文化
- >
名家?guī)阕x魯迅:朝花夕拾
- >
二體千字文
- >
羅曼·羅蘭讀書(shū)隨筆-精裝
- >
上帝之肋:男人的真實(shí)旅程
- >
隨園食單