掃一掃
關注中圖網
官方微博
>
數理邏輯的思想與方法
本類五星書更多>
-
>
貨幣大歷史:金融霸權與大國興衰六百年
-
>
(精)方力鈞作品圖錄
-
>
《藏書報》2021合訂本
-
>
(精)中國當代書畫名家作品集·范碩:書法卷+繪畫卷(全2卷)
-
>
(噴繪樓閣版)女主臨朝:武則天的權力之路
-
>
書里掉出來一只狼+狼的故事-全2冊
-
>
奇思妙想創意玩具書(精裝4冊)
數理邏輯的思想與方法 版權信息
- ISBN：7310023730
- 條形碼：9787310023738 ; 978-7-310-02373-8
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：
數理邏輯的思想與方法 目錄
序
**章 集合論初步
**節 基本概念
1.1.1 關于集合的定義
1.1.2 集合的表示方法
1.1.3 羅素悖論
1.1.4 集合的包含和相等關系
1.1.5 空集和冪集
1.1.6 練習
第二節 集合的基本運算
1.2.1 并集及其運算
1.2.2 交集及其運算
1.2.3 補集及其運算
1.2.4 全集
1.2.5 集合運算之間的關系
1.2.6 練習
第三節 關系
1.3.1 有序對和n元有序組
1.3.2 笛卡兒乘積
1.3.3 關系的概念
1.3.4 關系的性質
1.3.5 幾種特殊的二元關系
1.3.6 練習
第四節 映射
1.4.1 映射的概念和性質
1.4.2 映射的合成
1.4.3 兩個集合之間的一一對應
1.4.4 練習
第二章 命題和命題形式
**節 命題真值聯結詞
2.1.1 簡單命題及復合命題
2.1.2 五個基本的真值聯結詞
2.1.3 初始聯結詞
2.1.4 練習
第二節 命題形式重言式
2.2.1 命題形式
2.2.2 真值表方法
2.2.3 真值函項
2.2.4 重言式
2.2.5 重言式的作用。
2.2.6 重言式的判定方法
2.2.7 練習
第三節 范式
2.3.1 范式
2.3.2 優范式
2.3.3 范式的作用和應用
2.3.4 兩種運算
2.3.5 練習
第三章 命題邏輯
**節 形式系統
3.1.1 公理系統
3.1.2 命題演算
3.1.3 形式系統
3.1.4 語法和語義
3.1.5 練習
第二節 命題語言
3.2.1 命題語言的字母表
3.2.2 命題語言的形成規則
3.2.3 定義
3.2.4 練習
第三節 命題演算的公理系統
3.3.1 演繹的基礎
3.3.2 命題演算
3.3.3 練習
第四節 命題演算的自然推理系統
3.4.1 FPC的推理規則
3.4.2 練習
第五節 FPC中的可證公式
第六節 命題語義學
3.6.1 真值賦值
3.6.2 重言式和重言后承
3.6.3 練習
第四章 命題邏輯系統的特征
**節 可演繹性
4.1.1 可演繹性
4.1.2 練習
第二節 相容性
第三節 可靠性
第四節 完全性
第五節 獨立性
第五章 狹謂詞邏輯
**節 一階語言
5.1.1 一階語言概述
5.1.2 一階語言的字母表
5.1.3 一階公式
5.1.4 約束變項和自由變項
5.1.5 練習
第二節 謂詞演算的公理系統
5.2.1 演繹的基礎
5.2.2 謂詞演算
5.2.3 練習
第三節 謂詞演算的自然推理系統
第四節 FQC中的可證公式
5.4.1 FQC中的可證公式
5.4.2 練習
第五節 狹謂詞邏輯的語義學
5.5.1 一階語言的語義
5.5.2 練習
第六節 前束范式
5.6.1 代入引理
5.6.2 前束范式
5.6.3 練習
第六章 狹謂詞邏輯系統的特征
**節 可演繹性
第二節 相容性
第三節 可靠性
第四節 完全性
第五節 系統的等價性
第六節 帶等詞和運算符號的狹謂詞邏輯
主要參考文獻
展開全部
數理邏輯的思想與方法 作者簡介
李娜，女，1958年3月生于河南開封市。1982年畢業于河南大學數學系，獲理學學士學位。1989年畢業于中國科學院軟件研究所，獲理學碩士學位。現任南開大學哲學系教授、博士生導師，中山大學邏輯與認知研究所專職研究員。主要著作有《現代邏輯若干問題研究》等。
書友推薦
- >
史學評論
- >
推拿
- >
我從未如此眷戀人間
- >
唐代進士錄
- >
名家帶你讀魯迅:朝花夕拾
- >
有舍有得是人生
- >
【精裝繪本】畫給孩子的中國神話
- >
伯納黛特,你要去哪(2021新版)
本類暢銷
