數(shù)理邏輯

本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含本書是數(shù)理邏輯方面的經(jīng)典教材。書中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型。本書特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選本書的內(nèi)容；反映了近幾年來(lái)理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說(shuō)明。本書適合作為計(jì)算機(jī)及相關(guān)專業(yè)本科生和研究生數(shù)理邏輯課程的教材。.

本書是數(shù)理邏輯方面的經(jīng)典教材，以可讀性強(qiáng)而著稱，在美國(guó)大學(xué)中采用率極高，麻省理工學(xué)院、加州大學(xué)伯克利分校、哥倫比亞大學(xué)、康奈爾大學(xué)等眾多名校均用它作為教材。本版章節(jié)組織更加靈活，增加了與計(jì)算機(jī)科學(xué)相關(guān)的主題(比如有限模型)，還增加了一些示例和闡釋文字，更適合本科生和研究生數(shù)理邏輯課程使用。.

Herbert B.Enderton，哈佛大學(xué)博士，師從著名哲學(xué)家hilary putnam。曾任教于加州大學(xué)伯克利分?！，F(xiàn)為加州大學(xué)洛杉磯分校數(shù)學(xué)系兼職教授，該?！斑壿媽W(xué)論壇”主席，曾擔(dān)任《符號(hào)邏輯學(xué)會(huì)評(píng)論》雜志的主編。除本書外，他還著有另外兩本廣受好評(píng)的教材elements of set theory（影印版已經(jīng)由人民郵電出版社出版）和linear algebra。