數(shù)理邏輯引論

內(nèi)容概要

本書第一版于1991年在南京大學(xué)出版社出版，當(dāng)時撰寫的主要目的是將本書寫成一本既能適用于計算機專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)和數(shù)理邏輯專業(yè)教學(xué)需要的基礎(chǔ)教材，并在內(nèi)容上要求有深有淺。其中較淺部分可作為本科生教學(xué)使用，而較深部分可作為研究生教學(xué)使用。經(jīng)過近20年的教學(xué)實踐并不斷改進，可以說是成功地實現(xiàn)了當(dāng)初撰寫之目標(biāo)，因此在一些院校一直沿用至今。2008年大連理工大學(xué)出版社計劃出版優(yōu)秀理工科本科、研究生系列教材，經(jīng)過仔細分析、評估后，編著了本書。本書可作高等院校教材，也供自學(xué)使用。

作者簡介

　　朱梧槚，1935年11月生，江蘇省宜興市宜城人，1951屆江蘇省宜興中學(xué)高中校友。1951年7月，考入東北工學(xué)院建筑工程系，后又轉(zhuǎn)入數(shù)學(xué)系學(xué)習(xí)。52年院系調(diào)整，調(diào)入東北人民大學(xué)（現(xiàn)吉林大學(xué)）學(xué)習(xí)。1955年9月畢業(yè)后，任數(shù)學(xué)系兼哲學(xué)系助教。在數(shù)學(xué)系副主任、著名數(shù)學(xué)家徐利治指導(dǎo)下師生合作發(fā)表了“超窮過程論中的兩個基本原理與Hegel的消極無限批判”等一系列重要數(shù)學(xué)論文。正當(dāng)他躊躇滿志、施展才華之時，厄運接踵而至。在57年的“反右”中，打成“極右分子”，年僅23歲的他帶著滿腹的不平和傷感，扛著120公斤的書籍回到宜興老家，自謀生路。從此步入了長達21年的人生悲劇。在文革中，在沒有任何證據(jù)的情況下，以“叛國罪”的罪名投進監(jiān)獄十年之久。在沒有人身自由的困境中，絲毫沒有喪失生活的勇氣和進取的決心，他仍在對數(shù)學(xué)事業(yè)至死不渝地執(zhí)著追求，他的坎坷道路是中國知識分子一代精英共同命運的縮影。

書籍目錄

第0章  緒論  0.1  什么是數(shù)理邏輯  0.2  形式系統(tǒng)及其解釋第1章  命題與命題聯(lián)結(jié)詞  1.1  命題  1.2  命題聯(lián)結(jié)詞  1.3  真值函數(shù)  1.4  范式  1.5  范式與指派  1.6  命題聯(lián)結(jié)詞含量的完全性  習(xí)題與補充1第2章  命題邏輯演算  2.1  命題邏輯的自然推理系統(tǒng)PN次的構(gòu)造  2.2  命題邏輯的自然推理系統(tǒng)PN次的展開  2.3  命題邏輯的重言式系統(tǒng)PT次的構(gòu)造  2.4  命題邏輯的重言式系統(tǒng)PT次的展開  2.5 PN次的簡化及其與PT次的關(guān)系  習(xí)題與補充2第3章  謂詞與量詞  3.1  命題的分解與謂詞  3.2  量詞與變元  3.3  函詞與摹狀詞  3.4  指派與同真假性  3.5  永真性與可滿足性  3.6  前束范式與Skolem范式3  習(xí)題與補充3第4章  謂詞邏輯演算  4.1  謂詞邏輯的自然推理系統(tǒng)FN次的構(gòu)造  4.2  謂詞邏輯的自然推理系統(tǒng)FN次的展開  4.3  謂詞邏輯的重言式系統(tǒng)FT次的構(gòu)造  4.4  謂詞邏輯的重言式系統(tǒng)FT次的展開  4.5  FN次的簡化及其與FT次的關(guān)系  4.6  帶等詞或函詞的謂詞邏輯  習(xí)題與補充4第5章  邏輯演算系統(tǒng)的整體特征  5.1  賦值與模型  5.2  可靠性與協(xié)調(diào)性  5.3  完備性  5.4  緊致性與可判定性  習(xí)題與補充5附錄  非經(jīng)典邏輯綱要參考文獻

章節(jié)摘錄

　　第0章 緒論　　在緒論中，主要討論兩個問題。其一是討論究竟什么是數(shù)理邏輯這樣一個問題。其二是談?wù)勁c形式系統(tǒng)（即邏輯演算）及其解釋相關(guān)的一些事情。對于上述問題一而言，我們將從數(shù)理邏輯歷史發(fā)展的幾個側(cè)面加以分析討論，并在綜合各家所言之長的基礎(chǔ)上表述我們的認(rèn)識，主要圍繞著數(shù)理邏輯的定義、研究對象、研究領(lǐng)域和學(xué)科歸屬等方面作些探討。也正因為這些探討已經(jīng)涉及了數(shù)理邏輯歷史發(fā)展的幾個側(cè)面，因而在本書中，也就不再另辟專章去系統(tǒng)地闡述數(shù)理邏輯之歷史概要了。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    數(shù)理邏輯引論 PDF格式下載

---