消息首页搜索举报

正版离散数学(第3版) 编者:杨圣洪//刘楚波//李肯立//唐卓//罗纲等|责编:赵丽欣 9787030720771

36.4 7.6折 48 全新

库存18件

河北保定

认证卖家担保交易快速发货售后保障

作者编者:杨圣洪//刘楚波//李肯立//唐卓//罗纲等|责编:赵丽欣

出版社科学

ISBN9787030720771

出版时间2022-04

装帧其他

开本其他

定价48元

货号31474359

上书时间2024-09-26

行走的文化艺术图书店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 13小时
好评率暂无

最新上架

正版大学生卫生保健读本（第2版）欧汉生，李志良主编 9787122173966 ¥13.50

正版通信网络基础与设备董延山　主编 9787121158957 ¥16.40

正版电机拖动与电控技术（第3版）程周　主编 9787121208041 ¥22.70

正版高级信用管理师中国就业培训技术指导中心组织 9787504582515 ¥26.40

正版高等教育与全球化丛书—发展中高等教育:环境变迁与大学的回应（美）戴维·查普曼，安·奥斯汀　主编，范怡红　主译 9787301153673 ¥20.30

正版会展概论徐静编 9787301221877 ¥23.60

正版计算机辅翻译(全国翻译硕士专业MTI系列教材) 钱多秀　主编 9787513506922 ¥30.00

正版机械加工方法与设备/徐勇徐勇编 9787122171603 ¥21.40

正版朗文当代英语教程5练习册卡尔 9787560069654 ¥12.10

商品详情

品相描述：全新

商品描述: 目录
第1章  命题逻辑
  1.1  命题及联结词
    1.1.1  命题
    1.1.2  联结词
  1.2  命题公式及其赋值
  习题
  1.3  等值式
  1.4  析取范式与合取范式
  1.5  实验一
  习题
  1.6  推理理论
  习题
  1.7  消解法
  1.8  实验二
  习题
综合练习
第2章  谓词逻辑
  2.1  基本概念
  2.2  谓词公式及其解释
    2.2.1  合法的谓词公式
    2.2.2  个体变元的身份
    2.2.3  解释谓词公式
    2.2.4  谓词公式的类型
  习题
  2.3  谓词公式等值演算
  2.4  谓词公式的范式
  习题
  2.5  谓词推理
  习题
综合练习

第3章  集合与关系
  3.1  基本概念
  3.2  集合运算与性质
  3.3  有穷集的计数
  习题
  3.4  序偶
  3.5  直积或笛卡儿积
  3.6  关系
  3.7  关系的复合
  3.8  关系分类
  3.9  关系的闭包
  3.10  等价关系与集合的划分
  3.11  偏序关系
  3.12  实验
  习题
综合练习
第4章  代数系统
  4.1  什么是代数运算
  4.2  运算的定义

内容摘要
本书总结编者多年的教学经验，采用接近学生
思维习惯的平实语言，并参考国内外多种同类教材编写而成。全书共分6章。第1章为命题逻辑，第2章为谓词逻辑，第3章为集合与关系，第4章为代数系统，第5章为图论，第6章为组合数学。各章相对独立又有机联系，证明力求平实，定理、例题、习题、实验题互相呼应，深入浅出。本书配有多媒体课件，扫描书中二维码可观看教学视频。本书既可作为高等院校计算机科学与技术、软件工程、电子商务、数据科学与大数据技术、物联网、信息安全、人工智能及相关专业的教材，也可供相关专业人员自学与参考。