數(shù)理邏輯引論（第二版）

定　價(jià)：￥69.00

作　者：	朱梧槚，肖奚安，朱朝暉，周勇
出版社：	大連理工大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

當(dāng)當(dāng)網(wǎng) (￥51.70)

ISBN：	9787568540353	出版時(shí)間：	2023-02-01	包裝：	平裝-膠訂
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　全書(shū)共分為5章，其中第1章和第3章主要是從數(shù)學(xué)模型和數(shù)學(xué)背景的角度去討論命題邏輯與謂詞邏輯的涵義與構(gòu)造，其論述盡量側(cè)重于直觀，而不講究形式系統(tǒng)意義下的那種嚴(yán)格.第2章與第4章則主要是從形式系統(tǒng)的構(gòu)造與展開(kāi)的角度去分別研究命題邏輯與謂詞邏輯的基本內(nèi)容.第5章是有關(guān)經(jīng)典二值邏輯系統(tǒng)的嚴(yán)格的語(yǔ)義研究.

作者簡(jiǎn)介

　　朱梧槚，南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院，教授、博士生導(dǎo)師，長(zhǎng)期致力于數(shù)學(xué)基礎(chǔ)與計(jì)算機(jī)科學(xué)理論的研究。肖奚安，解放軍理工大學(xué)理學(xué)院數(shù)學(xué)系，教授。朱朝暉，南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院，教授。研究方向?yàn)橛?jì)算機(jī)科學(xué)中的邏輯學(xué)、進(jìn)程代數(shù)。周勇，南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院，副教授。

圖書(shū)目錄

第0章緒論 /1

0.1 什么是數(shù)理邏輯?/1

0.2 形式系統(tǒng)及其解釋/8

命題與命題聯(lián)結(jié)詞 /14
- 命題/14
- 2 命題聯(lián)結(jié)詞/16
- 3 真值函數(shù)/22
- 4 范式/29
- 5 范式與指派/40
- 6 命題聯(lián)結(jié)詞含量的完全性/55
- 習(xí)題與補(bǔ)充1/68
- 第2章命題邏輯演算 /72

2.1 命題邏輯的自然推理系統(tǒng) 的構(gòu)造/73

2.2 命題邏輯的自然推理系統(tǒng)的展開(kāi)/79

2.3 命題邏輯的重言式系統(tǒng)的構(gòu)造/92

2.4 命題邏輯的重言式系統(tǒng)的展開(kāi)/95

2.5 的簡(jiǎn)化及其與的關(guān)系/103

習(xí)題與補(bǔ)充2/119

第3章謂詞與量詞 /124

3.1 命題的分解與謂詞/124

3.2 量詞與變?cè)?128

3.3 函詞與摹狀詞/134

3.4 指派與同真假性/138

3.5 永真性與可滿足性/141