書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊

數(shù)理邏輯引論

出版社:大連理工大學出版社出版時間:2023-01-01
開本: 24cm 頁數(shù): 263頁
本類榜單:教材銷量榜
中 圖 價:¥53.1(7.7折) 定價  ¥69.0 登錄后可看到會員價
加入購物車 收藏
運費6元,滿39元免運費
?新疆、西藏除外
本類五星書更多>

數(shù)理邏輯引論 版權(quán)信息

數(shù)理邏輯引論 本書特色

本書的主要內(nèi)容是討論經(jīng)典二值邏輯演算系統(tǒng)的語形和研義研究.而經(jīng)典二值邏輯系統(tǒng)是一種反映演繹推理規(guī)律的邏輯演算系統(tǒng).但人類思維過程是極為豐富和復雜的,人類思維活動中的種種推理方式?jīng)Q非演繹推理所能完全囊括。

數(shù)理邏輯引論 內(nèi)容簡介

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

數(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 習題與補充1/68 第2章 命題邏輯演算 /722.1 命題邏輯的自然推理系統(tǒng) 的構(gòu)造/73 2.2 命題邏輯的自然推理系統(tǒng)的展開/79 2.3 命題邏輯的重言式系統(tǒng)的構(gòu)造/92 2.4 命題邏輯的重言式系統(tǒng)的展開/95 2.5 的簡化及其與 的關(guān)系/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 謂詞邏輯的自然推理系統(tǒng)的構(gòu)造/163 4.2 謂詞邏輯的自然推理系統(tǒng)的展開/169 4.3 謂詞邏輯的重言式系統(tǒng)的構(gòu)造/178 4.4 謂詞邏輯的重言式系統(tǒng)的展開/180 4.5 的簡化及其與的關(guān)系/194 4.6 帶等詞或函詞的謂詞邏輯/199 習題與補充4/206 邏輯演算系統(tǒng)的整體特征 /2095.1 賦值與模型/210 5.2 可靠性與協(xié)調(diào)性/214 5.3 完備性/219 5.4 緊致性與可判定性/228 習題與補充5/229 參考文獻 /231 附錄 非經(jīng)典邏輯綱要 /233
展開全部

數(shù)理邏輯引論 作者簡介

朱梧槚,南京航空航天大學計算機科學與技術(shù)學院,教授、博士生導師,長期致力于數(shù)學基礎(chǔ)與計算機科學理論的研究。 肖奚安,解放軍理工大學理學院數(shù)學系,教授。 朱朝暉,南京航空航天大學計算機科學與技術(shù)學院,教授。研究方向為計算機科學中的邏輯學、進程代數(shù)。 周勇,南京航空航天大學計算機科學與技術(shù)學院,副教授。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服