发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
目录:
版者的话
译者序
前言
配套网站
致学生
关于作者
符号表
第1章 基础:逻辑和证明
1.1 命题逻辑
1.1.1 引言
1.1.2 命题
1.1.3 条件语句
1.1.4 复合命题的真值表
1.1.5 逻辑运算符的优先级
1.1.6 逻辑运算和位运算
练习
1.2 命题逻辑的应用
.1.2.1 引言
l.2.2 语句翻译
1.2.3 系统规范说明
1.2.4 布尔搜索
1.2.5 逻辑谜题
1.2.6 逻辑电路
1.3 命题等价式
1.3.1 引言
1.3.2 逻辑等价式
1.3.3 德.摩根律的运用
1.3.4 构造新的逻辑等价式
1.3.5 命题的可满足性
1.3.6 可满足性的应用
1.3.7 可满足性问题求解
1.4 谓词和量词
1.4.1 引言
1.4.2 谓词
l.4.3 量词
1.4.4 约束论域的量词
1.4.5 量词的优先级
1.4.6 变量绑定
1.4.7 涉及量词的逻辑等价式
1.4.8 量化表达式的否定
1.4.9 语句到逻辑表达式的翻译
1.4.10 系统规范说明中量词的使用
1.4.11 选自路易斯.卡罗尔的例子
1.4.12 逻辑程序设计
1.5 嵌套量词
1.5.1 引言
1.5.2 理解涉及嵌套量词的语句
1.5.3 量词的顺序
1.5.4 数学语句到嵌套量词语句的翻译
1.5.5 嵌套量词到自然语言的翻译
1.5.6 汉语语句到逻辑表达式的翻译
1.5.7 嵌套量词的否定
1.6 推理规则
l.6.1 引言
1.6.2 命题逻辑的有效论证
1.6.3 命题逻辑的推理规则
1.6.4 使用推理规则建立论证
1.6.5 消解律
1.6.6 谬误
1.6.7 量化命题的推理规则
1.6.8 命题和量化命题推理规则的组合使用
1.7 证明导论
1.7.1 引言
1.7.2 一些专用术语
1.7.3 理解定理是如何陈述的
1.7.4 证明定理的方法
1.7.5 直接证明法
1.7.6 反证法
1.7.7 归谬证明法
1.7.8 证明中的错误
1.7.9 良好的开端
1.8 证明的方法和策略
1.8.1 引言
1.8.2 穷举证明法和分情形证明法
1.8.3 存在性证明
1.8.4 唯一性证明
1.8.5 证明策略
1.8.6 寻找反例
1.8.7 证明策略实践
1.8.8 拼接
1.8.9 开放问题的作用
1.8.10 其他证明方法
关键术语和结论
复习题
补充练习
计算机课题
计算和探索
写作课题
第2章 基本结构:集合、函数、
序列、求和与矩阵
2.1 集合
2.1.1 引言
2.1.2 文氏图
2.1.3 子集
2.1.4 集合的大小
2.1.5 幂集
2.1.6 笛卡儿积
2.1.7 使用带量词的集合符号
2.1.8 真值集和量词
2.2 集合运算
2.2.1 引言
2.2.2 集合恒等式
2.2.3 扩展的并集和交集
2.2.4 集合的计算机表示
2.3 函数
2.3.1 引言
2.3.2 一对一函数和映上函数
2.3.3 反函数和函数组合
2.3.4 函数的图
2.3.5 一些重要的函数
2.3.6 部分函数
2.4 序列与求和
2.4.l 引言
2.4.2 序列
2.4.3 递推关系
2.4.4 特殊的整数序列
2.4.5 求和
2.5 集合的基数
2.5.1 引言
2.5.2 可数集
……
第3章 算法
第4章 数论和密码学
第5章 归纳与递归
第6章 计数
第7章 离散概率
第8章 高级计数技术
第9章 关系
第10章 图
第11章 树
第12章 布尔代数
第13章 计算模型
附录
来自: 读书人心系天下 > 《百度百科》
0条评论
发表
请遵守用户 评论公约
第一章 常用逻辑用语 选修 2-1
注意区分:“甲是乙的充分条件(甲乙)”与“甲的充分条件是乙(乙甲)”,是两种不同形式的问题.3.掌握命题的四种不同表达形式,会进行命题之间的转化,会正确找出命题的条件与结论.能根据条件与结论...
离散数学 第三版 [屈婉玲,耿素云,张立昂 编著] 2014年版
第4章 关系4.1 关系的定义及其表示4.1.1 有序对与笛卡儿积4.1.2 二元关系的定义4.1.3 二元关系的表示4.2 关系的运算4.2.1 关系的基本运算4.2.2 关系的幂运算4.3 关系的性质4.3.1 关系性质的定义和判别4...
简易逻辑问题的解题思路
简易逻辑问题的解题思路简易逻辑问题的解题思路。全称命题与存在性命题是两类特殊的命题,这两类命题的否定又是这部分内容中的重要概念,解决此类命题的题目时一定要抓住决定命题性质的量词,理解其相...
高二数学简单逻辑联结词.doc
常用逻辑用语-第5讲:全称量词命题与存在量词命题的否定
常用逻辑用语-第5讲:全称量词命题与存在量词命题的否定。
集合与常用逻辑用语·易混易错8点
在根据给出的命题构造其逆命题、否命题和逆否命题时,先要把原命题的条件和结论弄清楚,这样,逆命题就是把原命题的条件和结论交换了的命题...
悖论
悖论。1926年F.P.拉姆塞把悖论分成两类:逻辑悖论和语义悖论,前者指集合论悖论,后者指以说谎者悖论及20世纪初发现的理查德悖论、格里灵悖论等为代表的语义悖论。20世纪后期,在语义悖论研究过程中又...
命题逻辑与谓词逻辑 - 6DAN - 博客园
图1 命题逻辑与谓词逻辑。谓词=谓词名+个体。谓词名:刻画个体的性质、状态、关系。个体数目称为谓词的元。谓词公式。全称量词:对个体...
优选课件:高中数学人教A版2019必修 第一册 等式性质与不等式性质优质教学课件PPT
选填
微信扫码,在手机上查看选中内容