×
超值优惠券
¥50
100可用 有效期2天

全场图书通用(淘书团除外)

关闭
图文详情
  • ISBN:9787111367499
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 开本:其它
  • 页数:178
  • 出版时间:2012-03-01
  • 条形码:9787111367499 ; 978-7-111-36749-9

本书特色

本书包括了离散数学各部分的基本内容,及其在计算机科学及实际问题中的某些应用。本书概念清晰,叙述严谨精炼,语言通俗易懂,例题讲解详细,并有大量习题,便于读者自学。

内容简介

  本书由四篇组成。**篇数理逻辑,内容有:命题逻辑,一阶逻辑。第二篇集合论,内容有:集合的基本概念和运算,关系和函数。第三篇代数系统,内容有:代数系统概述,几种典型的代数系统。第四篇图论,内容有:图的基本概念,树,几类特殊图。   本书包括了离散数学各部分的基本内容,及其在计算机科学及实际问题中的某些应用。本书概念清晰,叙述严谨精炼,语言通俗易懂,例题讲解详细,并有大量习题,便于读者自学。

目录

教学建议
**篇 数理逻辑
第1章 命题逻辑
 1.1 命题与联结词
 1.2 命题公式与赋值
 1.3 等值演算
 1.4 联结词的全功能集
 1.5 范式
 1.6 推理理论
 习题
第2章 一阶逻辑
 2.1 一阶逻辑的基本概念
 2.2 一阶语言及其解释
 2.3 等值演算
 2.4 前束范式
展开全部

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航