數(shù)理邏輯引論(高等學(xué)校理工科數(shù)學(xué)類規(guī)劃教材)
定 價:34 元
- 作者:朱梧槚,肖奚安 編著
- 出版時間:2008/3/1
- ISBN:9787561140338
- 出 版 社:大連理工大學(xué)出版社
- 中圖法分類:O141
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
本書第一版于1991年在南京大學(xué)出版社出版,當時撰寫的主要目的是將本書寫成一本既能適用于計算機專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)和數(shù)理邏輯專業(yè)教學(xué)需要的基礎(chǔ)教材,并在內(nèi)容上要求有深有淺。其中較淺部分可作為本科生教學(xué)使用,而較深部分可作為研究生教學(xué)使用。經(jīng)過近20年的教學(xué)實踐并不斷改進,可以說是成功地實現(xiàn)了當初撰寫之目標,因此在一些院校一直沿用至今。2008年大連理工大學(xué)出版社計劃出版優(yōu)秀理工科本科、研究生系列教材,經(jīng)過仔細分析、評估后,編著了本書。本書可作高等院校教材,也供自學(xué)使用。
第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é)詞含量的完全性
習題與補充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)系
習題與補充2
第3章 謂詞與量詞
3.1 命題的分解與謂詞
3.2 量詞與變元
3.3 函詞與摹狀詞
3.4 指派與同真假性
3.5 永真性與可滿足性
3.6 前束范式與Skolem范式3
習題與補充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 帶等詞或函詞的謂詞邏輯
習題與補充4
第5章 邏輯演算系統(tǒng)的整體特征
5.1 賦值與模型
5.2 可靠性與協(xié)調(diào)性
5.3 完備性
5.4 緊致性與可判定性
習題與補充5
附錄
非經(jīng)典邏輯綱要
參考文獻