掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
考研數(shù)學專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
聲音簡史
-
>
浪漫地理學:追尋崇高景觀
數(shù)理邏輯的思想與方法 版權信息
- ISBN：9787310040308
- 條形碼：9787310040308 ; 978-7-310-04030-8
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
數(shù)理邏輯的思想與方法 本書特色
李娜編著的《數(shù)理邏輯的思想與方法》包括六章，**章，主要介紹集合、集合運算的基本思想和方法，這一章的目的在于為以后各章的使用奠定基礎，第二章至第四章，介紹命題邏輯的基本思想和方法，第五章和第六章介紹狹謂詞邏輯的基本思想和方法。本書在選材上，只涉及數(shù)理邏輯的基本內容(包括命題邏輯和狹謂詞邏輯)，不涉及傳統(tǒng)邏輯，也不涉及現(xiàn)代邏輯的其他分支，因此，本書的體系是作者的獨創(chuàng)，另外，為了使讀者更好地理解和掌握數(shù)理邏輯的思想和方法，大部分章節(jié)都配有一定量的練習。
數(shù)理邏輯的思想與方法 內容簡介
本書包括六章，**章，主要介紹集合、集合運算的基本思想和方法；第二章至第四章，介紹命題邏輯的基本思想和方法，第五章和第六章介紹狹謂詞邏輯的基本思想和方法。
數(shù)理邏輯的思想與方法 目錄
序**章 集合論初步 **節(jié) 基本概念 1．1．1 關于集合的定義 1．1．2 集合的表示方法 1．1．3 羅素悖論 1．1．4 集合的包含和相等關系 1．1. 5 空集和冪集 1. 1．6 練習 第二節(jié) 集合的基本運算 1．2．1 并集及其運算 1．2．2 交集及其運算 1．2．3 補集及其運算 1．2．4 全集 1．2．5 集合運算之間的關系 1. 2．6 練習 第三節(jié) 關系 1．3．1 有序對和n元有序組 1．3．2 笛卡兒乘積 1. 3．3 關系的概念 1．3．4 關系的性質 1．3．5 幾種特殊的二元關系 1．3．6 練習 第四節(jié) 映射 1．4．1 映射的概念和性質 1．4．2 映射的合成 1．4．3 兩個集合之間的一一對應 1．4．4 練習第二章 命題和命題形式 **節(jié) 命題真值聯(lián)結詞 2．1．1 簡單命題及復合命題 2．1. 2 五個基本的真值聯(lián)結詞 2．1. 3 初始聯(lián)結詞 2．1．4 練習 第二節(jié) 命題形式重言式 2．2．1 命題形式 2．2．2 真值表方法 2．2．3 真值函項 2．2．4 重言式 2．2．5 重言式的作用 2．2．6 重言式的判定方法 2. 2. 7 練習 第三節(jié) 范式 2．3．1 范式 2．3．2 優(yōu)范式 2．3．3 范式的作用和應用 2．3．4 兩種運算 2．3．5 練習第三章 命題邏輯 **節(jié) 形式系統(tǒng) 3．1．1 公理系統(tǒng) 3．1．2 命題演算 3．1．3 形式系統(tǒng) 3．1．4 語法和語義 3．1．5 練習 第二節(jié) 命題語言 3 2 1命題語言的字母表 3．2．2命題語言的形成規(guī)則 3．2．3定義 3．2．4練習 第三節(jié) 命題演算的公理系統(tǒng) 3．3．1 演繹的基礎 3．3．2 命題演算 3．3．3 練習 第四節(jié) 命題演算的自然推理系統(tǒng) 3．4. 1 FPC的推理規(guī)則 3．4．2 練習 第五節(jié) FPC中的可證公式 第六節(jié) 命題語義學 3．6．1 真值賦值 3．6．2 重言式和重言后承 3．6．3 練習第四章 命題邏輯系統(tǒng)的特征 **節(jié) 可演繹性 4．1．1 可演繹性 4．1．2 練習 第二節(jié) 相容性 第三節(jié) 可靠性 第四節(jié) 完全性 第五節(jié) 獨立性第五章 狹謂詞邏輯 **節(jié) 一階語言 5. 1．1 一階語言概述 5．1．2 一階語言的字母表 5．1．3 一階公式 5．1．4 約束變項和自由變項 5．1．5 練習 第二節(jié) 謂詞演算的公理系統(tǒng) 5．2．1 演繹的基礎 5．2．2 謂詞演算 5．2．3 練習 第三節(jié) 謂詞演算的自然推理系統(tǒng) 第四節(jié) FQC中的可證公式 5．4．1 FQC中的可證公式 5．4．2 練習 第五節(jié) 狹謂詞邏輯的語義學 5. 5．1 一階語言的語義 5．5．2 練習 第六節(jié) 前束范式 5. 6．1 代入引理 5．6．2 前束范式 5．6．3 練習第六章 狹謂詞邏輯系統(tǒng)的特征 **節(jié) 可演繹性 第二節(jié) 相容性 第三節(jié) 可靠性 第四節(jié) 完全性 第五節(jié) 系統(tǒng)的等價性 第六節(jié) 帶等詞和運算符號的狹謂詞邏輯主要參考文獻
展開全部
書友推薦
- >
伯納黛特,你要去哪(2021新版)
- >
唐代進士錄
- >
推拿
- >
龍榆生：詞曲概論/大家小書
- >
姑媽的寶刀
- >
伊索寓言-世界文學名著典藏-全譯本
- >
月亮虎
- >
羅庸西南聯(lián)大授課錄
本類暢銷
