您好,欢迎来到聚文网。 登录 免费注册
工科离散数学(第2版)

工科离散数学(第2版)

  • 字数: 400
  • 出版社: 电子工业
  • 作者: 编者:牛连强//陈欣//张胜男//杨德国|责编:王羽佳
  • 商品条码: 9787121460296
  • 版次: 2
  • 开本: 16开
  • 页数: 208
  • 出版年份: 2023
  • 印次: 1
定价:¥54 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书共8章,以数理逻辑为基础,介绍命题逻辑 、谓词逻辑、集合论基础、关系、函数、运算与代 数系统、图和初等数论基础的相关内容,配套微课 视频、电子课件、知识导图、部分习题解答等。本 书内容不求大求全,根据工程教育的要求,着重介 绍有应用价值的理论,避免理论上的缠绕,内容讲 解通俗明了,同时还增加了相当数量的工程应用方 面的简介,使学习者能够快速了解这些理论的实际 工程用途。 本书可作为高等学校计算机科学与技术 、软件工程、信息与计算科学以及其他信息领域相 关专业离散数学课程的教材,也可供相关领域读者 自学使用。
目录
第1章 命题逻辑 1.1 命题 思考与练习1.1 1.2 逻辑联结词 1.2.1 基本联结词 1.2.2 其他联结词 思考与练习1.2 1.3 命题公式与真值表 1.3.1 命题公式 1.3.2 真值表 思考与练习1.3 1.4 命题翻译 1.4.1 命题的合取 1.4.2 命题的析取 1.4.3 条件句复合命题 1.4.4 多联结词构成的复合命题 思考与练习1.4 1.5 命题公式的分类与逻辑等价 1.5.1 命题公式的分类 1.5.2 命题公式等价 1.5.3 联结词的功能完备集 1.5.4 对偶原理 思考与练习1.5 1.6 范式 1.6.1 简单的范式 1.6.2 小项与大项 1.6.3 主析取范式与主合取范式 思考与练习1.6 1.7 推理理论 1.7.1 蕴含与论证 1.7.2 自然推理系统 思考与练习1.7 第2章 谓词逻辑 2.1 谓词、个体词与量词 2.1.1 个体词和谓词 2.1.2 量词与量化 思考与练习2.1 2.2 谓词逻辑的命题翻译 2.2.1 特殊化个体词的命题 2.2.2 量词量化的命题 思考与练习2.2 2.3 量词约束与谓词公式的解释 2.3.1 量词对个体词变元的作用 2.3.2 谓词公式的解释与求值 2.3.3 量词与联结词的搭配 思考与练习2.3 2.4 谓词公式的等价和蕴含 2.4.1 基本等价与蕴含关系 2.4.2 利用等价关系计算前束范式 思考与练习2.4

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网