离散数学及其应用(原书第6版) PDF 自动发货

离散数学及其应用(原书第6版) PDF

发布时间: 2020-02-20

类型 视频 授权 免费 百度网盘 自动发货 发布者 itkec

¥免费

立即下载 加入收藏

   关注度:1000 ℃

开通VIP会员 享受全站资源免费下载

视频详情:

课程名称:离散数学及其应用(原书第6版) PDF


第1章基础:逻辑和证明
1.1命题逻辑
1.1.1引言
1.1.2命题
1.1.3条件语句
1.1.4复合命题的真值表
1.1.5逻辑运算符的优先级
1.1.6翻译语句
1.1.7系统规范说明
1.1.8布尔检索
1.1.9逻辑难题
1.1.10逻辑运算和位运算
练习
1.2命题等价
1.2.1引言
1.2.2逻辑等价
.1.2.3德摩根律的运用
1.2.4构建新的逻辑等价式
练习
1.3谓词和量词
1.3.1引言
1.3.2谓词
1.3.3量词
1.3.4其他量词
1.3.5约束论域量词
1.3.6量词的优先级
1.3.7绑定变量
1.3.8涉及量词的逻辑等价
1.3.9否定量化表达式
1.3.10翻译语句为逻辑表达式
1.3.11在系统说明中运用量词
1.3.12选自lewis carroll的例子
1.3.13逻辑程序设计
练习
1.4嵌套量词
1.4.1引言
1.4.2量词的顺序
1.4.3将数学语句翻译成涉及嵌套量词的语句
1.4.4将嵌套量词翻译为汉语
1.4.5将汉语语句翻译成逻辑表达式
1.4.6否定嵌套量词
练习
1.5推理规则
1.5.1引言
1.5.2命题逻辑的有效论证
1.5.3命题逻辑的推理规则
1.5.4用推理规则建立论证
1.5.5消解
1.5.6谬误
1.5.7带量词命题的推理规则


课程截图:

离散数学及其应用(原书第6版) PDF.png

版权信息:本站所有资源均收集于互联网或会员发布,仅供学习与参考,请勿用于商业用途,如有侵犯您的版权,请您出示版权证明及时联系客服,我们将在24小时之内删除。

暂无评论

嘿,我来帮您!