扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
新书--汉译名著--逻辑与演绎科学方法论导读 版权信息
- 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.自反的,对称的与传递的关系
……
第二部分 逻辑和方法论在构造数学理论中的应用
推荐的读物
索引
译者后记
展开全部
书友推荐
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥9.3¥19.0 - >
朝闻道
朝闻道
¥8.8¥23.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
姑妈的宝刀
姑妈的宝刀
¥10.5¥30.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥35.5¥48.0 - >
烟与镜
烟与镜
¥14.4¥48.0 - >
回忆爱玛侬
回忆爱玛侬
¥9.8¥32.8
本类畅销
-
求解思维的逻辑
¥7.5¥15 -
逻辑思考的100个关键:脑hack大全
¥17¥46.8 -
简单的逻辑学:逻辑学入门很简单
¥9.6¥36 -
逻辑新引.怎样判别是非
¥23.1¥49 -
逻辑学十五讲-(第二版)
¥26.4¥59 -
逻辑迷宫
¥52.8¥72