數(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。
