×
图文详情
  • 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　前束范式
展开全部
本类五星书
更多>>
浏览历史
本类畅销

预估到手价 ×

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

确定
客服
收藏
购物车
加入购物车
快速
导航