| |
|
|
| |
|
|
|
|
|
|
|
ISBN |
9787568540353 |
| 定价 |
RMB69.00 |
| 售价 |
RM75.90 |
|
优惠价 |
RM53.13 * (-30%)
|
|
作者 |
朱梧檟，肖奚安，朱朝暉等
|
|
出版社 |
大連理工大學出版社
|
|
出版日期 |
2023-01-01 |
|
装订 |
平裝. 無. 263 页. 26. |
| 库存量 |
海外库存
下单时可选择“空运”或“海运”（空运和海运需独立下单）。空运费每本书/CD是RM16.00。
空运需时8-11个工作天，海运需时约30个工作天。
（以上预计时间不包括出版社调货的时间以及尚未出版的预购商品） |
| |
有现货时通知我
|
| |
放入下次购买清单 |
| |
|
| |
|
|
|
| |
|
|
|
|
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
購買中國簡體書籍請注意：
1. 因裝幀品質及貨運條件未臻完善，中國簡體書可能有出現磨痕、凹痕、折痕等問題，故簡體字館除封面破損、內頁脫落、缺頁等較嚴重的狀態外，其餘所有商品將正常出貨。
|
|
| |
|
|
| |
|
|
| |
目錄
第1章 緒 論 /1
0.1 什麼是數理邏輯?/1
0.2 形式系統及其解釋/8
命題與命題聯結詞 /14
命 題/142
命題聯結詞/163
真值函數/224
範 式/295
範式與指派/406
命題聯結詞含量的完全性/55
習題與補充1/68
第2章 命題邏輯演算 /72
2.1 命題邏輯的自然推理系統 的構造/73
2.2 命題邏輯的自然推理系統的展開/79
2.3 命題邏輯的重言式系統的構造/92
2.4 命題邏輯的重言式系統的展開/95
2.5 的簡化及其與 的關係/103
習題與補充2/119
第3章 謂詞與量詞 /124
3.1 命題的分解與謂詞/124
3.2 量詞與變元/128
3.3 函詞與摹狀詞/134
3.4 指派與同真假性/138
3.5 永真性與可滿足性/141
3.6 前束範式與 Skolem範式/145
習題與補充3/155
第4章 謂詞邏輯演算 /159
4.1 謂詞邏輯的自然推理系統的構造/163
4.2 謂詞邏輯的自然推理系統的展開/169
4.3 謂詞邏輯的重言式系統的構造/178
4.4 謂詞邏輯的重言式系統的展開/180
4.5 的簡化及其與的關係/194
4.6 帶等詞或函詞的謂詞邏輯/199
習題與補充4/206
第5章邏輯演算系統的整體特徵 /209
5.1 賦值與模型/210
5.2 可靠性與協調性/214
5.3 完備性/219
5.4 緊致性與可判定性/228
習題與補充5/229
參考文獻 /231
附錄 非經典邏輯綱要 /233
|
|
| |
|
|
| |
|
|
| |
|
|
| |
|
|
| |
朱梧檟，南京航空航太大學電腦科學與技術學院，教授、博士生導師，長期致力於數學基礎與電腦科學理論的研究。
肖奚安，解放軍理工大學理學院數學系，教授。
朱朝暉，南京航空航太大學電腦科學與技術學院，教授。研究方向為電腦科學中的邏輯學、進程代數。
周勇，南京航空航太大學電腦科學與技術學院，副教授。
|
|
| |
|
|
| |
|
|
| |
|
|
|
