您好,欢迎来到聚文网。 登录 免费注册
离散数学及应用(普通高等院校计算机类专业系列教材)

离散数学及应用(普通高等院校计算机类专业系列教材)

  • 字数: 317
  • 出版社: 北京理工大学
  • 作者: 编者:单显明//潘月|责编:李薇
  • 商品条码: 9787576308556
  • 版次: 1
  • 开本: 16开
  • 页数: 207
  • 出版年份: 2022
  • 印次: 1
定价:¥42 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
离散数学课程是一门重要的专业基础课,在计算机类专业教学体系中起着重要的基础理论支撑作用。本书对计算机类专业在本科阶段最需要学习的离散数学基础知识做了系统地介绍,力求概念清晰,注重实际应用。全书共分七章,内容包括命题逻辑、谓词逻辑、集合、关系、图、树和代数结构,并含有较多的与计算机类专业有关的例题和习题。 本书叙述简洁、深入浅出、注重实践和应用,主要面向普通高等院校计算机类专业的本科学生,也可以作为大学非计算机类专业学生的选修教材和计算机应用技术人员的自学参考书。
作者简介
单显明,男,1971年生,沈阳工学院信息与控制学院教授,长期从事人工智能、程序设计、数据建模与仿真等方向研究。主编参编20余部教材及专著,其中,《Python程序设计案例教程》2021年在北京理工大学出版社出版,发表学术文章50余篇,其中SCI检索1篇,EI检索7篇, 核心期刊12篇。主持了军队多项武装装备重点课题研究,其中10项成果获军队科技进步奖,其中科技进步一等奖1项,科技进步二等奖1项,科技进步三等奖8项,是沈阳工学院教学名师。
目录
第1章 命题逻辑 1.1 基本概念 1.1.1 命题及分类 1.1.2 逻辑联结词 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.4 命题公式的范式及应用 1.4.1 析取范式与合取范式 1.4.2 主析取范式与主合取范式 1.4.3 主范式的应用 1.5 基于命题的推理 1.5.1 推理的定义 1.5.2 直接证明法 1.5.3 间接证明法 1.6 本章习题 第2章 谓词逻辑 2.1 基本概念 2.1.1 谓词逻辑三要素 2.1.2 多元谓词命题符号化 2.2 谓词公式及类型 2.2.1 谓词公式 2.2.2 谓词公式的类型 2.3 谓词公式的等价演算 2.4 谓词公式的前束范式 2.5 谓词公式的推理 2.6 本章习题 第3章 集合论 3.1 基本概念 3.1.1 集合与元素 3.1.2 集合间的关系 3.1.3 幂集 3.2 集合的运算 3.2.1 集合的交与并 3.2.2 集合的差与补 3.2.3 集合的对称差 3.3 序偶与笛卡尔积 3.3.1 序偶 3.3.2 笛卡尔积 3.4 本章习题 第4章 关系 4.1 基本概念 4.1.1 关系的定义 4.1.2 几种特殊的关系

蜀ICP备2024047804号

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