掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
聲音簡(jiǎn)史
-
>
浪漫地理學(xué):追尋崇高景觀
中圖價(jià):¥27.0
加入購物車
數(shù)理邏輯的思想與方法(第二版) 版權(quán)信息
- ISBN：9787310050628
- 條形碼：9787310050628 ; 978-7-310-05062-8
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>
數(shù)理邏輯的思想與方法(第二版) 內(nèi)容簡(jiǎn)介
全書包括六章。**章，主要介紹集合、集合運(yùn)算的基本思想和方法。這一章的目的在于為以后各章的使用奠定基礎(chǔ)。第二章至第四章，介紹命題邏輯的基本思想和方法。第五章和第六章介紹狹謂詞邏輯的基本思想和方法。
數(shù)理邏輯的思想與方法(第二版) 目錄
**章 集合論初步
節(jié) 基本概念
1.1.1 關(guān)于集合的定義
1.1.2 集合的表示方法
1.1.3 羅素悖論
1.1.4 集合的包含和相等關(guān)系
1.1.5 空集和冪集
1.1.6 練習(xí)
第二節(jié) 集合的基本運(yùn)算
1.2.1 并集及其運(yùn)算
1.2.2 交集及其運(yùn)算
1.2.3 差集及其運(yùn)算
1.2.4 全集
1.2.5 集合運(yùn)算之間的關(guān)系
1.2.6 練習(xí)
第三節(jié) 關(guān)系
1.3.1 有序?qū)蚽元有序組
1.3.2 笛卡兒乘積
1.3.3 關(guān)系的概念
1.3.4 關(guān)系的性質(zhì)
1.3.5 幾種特殊的二元關(guān)系
1.3.6 練習(xí)
第四節(jié) 映射
1.4.1 映射的概念和性質(zhì)
1.4.2 映射的合成
1.4.3 兩個(gè)集合之間的一一對(duì)應(yīng)
1.4.4 練習(xí)
第二章 命題和命題形式
節(jié) 命題真值聯(lián)結(jié)詞
2.1.1 簡(jiǎn)單命題及復(fù)合命題
2.1.2 五個(gè)基本的真值聯(lián)結(jié)詞
2.1.3 初始聯(lián)結(jié)詞
2.1.4 練習(xí)
第二節(jié) 命題形式重言式
2.2.1 命題形式
2.2.2 真值表方法
2.2.3 真值函項(xiàng)
2.2.4 重言式
2.2.5 重言式的作用
2.2.6 重言式的判定方法
2.2.7 練習(xí)
第三節(jié) 范式
2.3.1 范式
2.3.2 優(yōu)范式
2.3.3 范式的作用和應(yīng)用
2.3.4 兩種運(yùn)算
2.3.5 練習(xí)
第三章 命題邏輯
節(jié) 形式系統(tǒng)
3.1.1 公理系統(tǒng)
展開全部
書友推薦
- >
苦雨齋序跋文-周作人自編集
- >
名家?guī)阕x魯迅:故事新編
- >
上帝之肋:男人的真實(shí)旅程
- >
莉莉和章魚
- >
隨園食單
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
羅庸西南聯(lián)大授課錄
- >
山海經(jīng)
本類暢銷
