中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
新書--漢譯名著--邏輯與演繹科學方法論導讀 版權信息
- ISBN：9787100005203
- 條形碼：9787100005203 ; 978-7-100-00520-3
- 裝幀：70g膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
新書--漢譯名著--邏輯與演繹科學方法論導讀 內容簡介
本書是著名的邏輯學家塔爾斯基對于現代數理邏輯進行了系統闡述的著作。
新書--漢譯名著--邏輯與演繹科學方法論導讀 目錄
初版序言
序言
**部分 邏輯的元素．演繹方法
（Ⅰ）論變項的用法
1．常項與變項
2．包含變項的表達式——語句函項與指示函項
3．應用變項形成語句——全稱語句與存在語句
4．全稱量詞與存在量詞；自由變項與約束變項
5．變項在數學中的重要性
練習
（Ⅱ）論語句演算
6．邏輯常項；舊邏輯與新邏輯
7．語句演算；語句的否定，合取式與析取式
8．蘊函式或條件語句；實質蘊函
9．蘊函式在數學中的應用
10．語句的等值式
11．定義的表述方式與定義的規則
12．語句演算的定律
13．語句演算的符號；真值函項與真值表
14．語句演算定律在推理中的應用
15．推論的規則，完全的證明
練習
（Ⅲ）同一理論
16．不屬于語句演算的邏輯概念；同一概念
17．同一理論的基本定律
18．事物之間的同一與指示詞之間的同一引號的用法
19．算術與幾何中的相等，和它與邏輯同一的關系
20．數的量詞
練習
（Ⅳ）類的理論
21．類與它的元素
22．類和包含一個自由變項的語句函項
23．全類與空類
24．類與類間的基本關系
25．類的運算
26．等數類，一個類的基數，有窮類與無窮類；算術作為邏輯的一個部分
練習
（Ⅴ）關系的理論
27．關系，關系的前域與關系的后域；關系與有兩個自由變項的語句函項
28．關系的運算
29．關系的一些性質
30．自反的，對稱的與傳遞的關系
……
第二部分 邏輯和方法論在構造數學理論中的應用
推薦的讀物
索引
譯者后記
序言
**部分 邏輯的元素．演繹方法
（Ⅰ）論變項的用法
1．常項與變項
2．包含變項的表達式——語句函項與指示函項
3．應用變項形成語句——全稱語句與存在語句
4．全稱量詞與存在量詞；自由變項與約束變項
5．變項在數學中的重要性
練習
（Ⅱ）論語句演算
6．邏輯常項；舊邏輯與新邏輯
7．語句演算；語句的否定，合取式與析取式
8．蘊函式或條件語句；實質蘊函
9．蘊函式在數學中的應用
10．語句的等值式
11．定義的表述方式與定義的規則
12．語句演算的定律
13．語句演算的符號；真值函項與真值表
14．語句演算定律在推理中的應用
15．推論的規則，完全的證明
練習
（Ⅲ）同一理論
16．不屬于語句演算的邏輯概念；同一概念
17．同一理論的基本定律
18．事物之間的同一與指示詞之間的同一引號的用法
19．算術與幾何中的相等，和它與邏輯同一的關系
20．數的量詞
練習
（Ⅳ）類的理論
21．類與它的元素
22．類和包含一個自由變項的語句函項
23．全類與空類
24．類與類間的基本關系
25．類的運算
26．等數類，一個類的基數，有窮類與無窮類；算術作為邏輯的一個部分
練習
（Ⅴ）關系的理論
27．關系，關系的前域與關系的后域；關系與有兩個自由變項的語句函項
28．關系的運算
29．關系的一些性質
30．自反的，對稱的與傳遞的關系
……
第二部分 邏輯和方法論在構造數學理論中的應用
推薦的讀物
索引
譯者后記
展開全部
書友推薦
- >
伊索寓言-世界文學名著典藏-全譯本
- >
莉莉和章魚
- >
回憶愛瑪儂
- >
詩經-先民的歌唱
- >
巴金－再思錄
- >
伯納黛特,你要去哪(2021新版)
- >
名家帶你讀魯迅:朝花夕拾
- >
經典常談
本類暢銷
