扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
数理逻辑的思想与方法(第二版) 版权信息
- ISBN:9787310050628
- 条形码:9787310050628 ; 978-7-310-05062-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 公理系统
展开全部
书友推荐
- >
朝闻道
朝闻道
¥15.0¥23.8 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥18.7¥39.8 - >
回忆爱玛侬
回忆爱玛侬
¥9.8¥32.8 - >
莉莉和章鱼
莉莉和章鱼
¥19.7¥42.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥15.9¥49.8 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
我与地坛
我与地坛
¥15.4¥28.0
本类畅销
-
普林斯顿微积分读本-(修订版)
¥69.3¥99 -
怎样解题
¥17.2¥29 -
数学-应用与思考
¥16.1¥32.8 -
高等代数思想方法分析及应用研究
¥25.3¥76 -
高等代数典型问题研究与实例探析
¥30.4¥92 -
数字唬人:用常识看穿无所不在的数字陷阱
¥16¥36.8