數(shù)理邏輯引論(高等學校理工科數(shù)學類規(guī)劃教材)
定 價：34 元
- 作者：朱梧槚，肖奚安 編著
- 出版時間：2008/3/1
- ISBN：9787561140338
- 出 版 社：大連理工大學出版社
- 中圖法分類：O141
- 頁碼：
- 紙張：膠版紙
- 版次：
- 開本：16開
本書第一版于1991年在南京大學出版社出版，當時撰寫的主要目的是將本書寫成一本既能適用于計算機專業(yè)又能滿足數(shù)學系基礎數(shù)學專業(yè)和數(shù)理邏輯專業(yè)教學需要的基礎教材，并在內容上要求有深有淺。其中較淺部分可作為本科生教學使用，而較深部分可作為研究生教學使用。經過近20年的教學實踐并不斷改進，可以說是成功地實現(xiàn)了當初撰寫之目標，因此在一些院校一直沿用至今。2008年大連理工大學出版社計劃出版優(yōu)秀理工科本科、研究生系列教材，經過仔細分析、評估后，編著了本書。本書可作高等院校教材，也供自學使用。
第0章 緒論
0.1 什么是數(shù)理邏輯
0.2 形式系統(tǒng)及其解釋
第1章 命題與命題聯(lián)結詞
1.1 命題
1.2 命題聯(lián)結詞
1.3 真值函數(shù)
1.4 范式
1.5 范式與指派
1.6 命題聯(lián)結詞含量的完全性
習題與補充1
第2章 命題邏輯演算
2.1 命題邏輯的自然推理系統(tǒng)PN次的構造
2.2 命題邏輯的自然推理系統(tǒng)PN次的展開
2.3 命題邏輯的重言式系統(tǒng)PT次的構造
2.4 命題邏輯的重言式系統(tǒng)PT次的展開
2.5 PN次的簡化及其與PT次的關系
習題與補充2
第3章 謂詞與量詞
3.1 命題的分解與謂詞
3.2 量詞與變元
3.3 函詞與摹狀詞
3.4 指派與同真假性
3.5 永真性與可滿足性
3.6 前束范式與Skolem范式3
習題與補充3
第4章 謂詞邏輯演算
4.1 謂詞邏輯的自然推理系統(tǒng)FN次的構造
4.2 謂詞邏輯的自然推理系統(tǒng)FN次的展開
4.3 謂詞邏輯的重言式系統(tǒng)FT次的構造
4.4 謂詞邏輯的重言式系統(tǒng)FT次的展開
4.5 FN次的簡化及其與FT次的關系
4.6 帶等詞或函詞的謂詞邏輯
習題與補充4
第5章 邏輯演算系統(tǒng)的整體特征
5.1 賦值與模型
5.2 可靠性與協(xié)調性
5.3 完備性
5.4 緊致性與可判定性
習題與補充5
附錄
非經典邏輯綱要
參考文獻
書單推薦
