离散数学 馆藏 无笔迹

图书标准信息

• 作者 于筑国 编
• 出版社 国防工业出版社
• 出版时间 2005-04
• 版次 1
• ISBN 9787118038354
• 定价 26.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 301页
• 字数 448千字

【内容简介】

本书作为计算机专业的专业基础教材，主要介绍离散数学的基础知识，全书共分7章，包括命题逻辑，一阶谓词逻辑集合论与二元关系，函数，代数系统，格代数，图论等，并含有相关的例题与习题。本书适用于高等理工科院校、计算机 科学、工程、应用信息安全专业的本科生。也适用于对此课程有需要的信息管理、通信工程及跨专业的本科生。也可供教师、研究生及有关工程技术人员参考使用，也适合作为自学读本。

【目录】

第一部分 数理逻辑

  第1章 命题逻辑演算系统

    1.1 有关命题逻辑演算系统的概念

    1.2 命题公式与真值表

    1.3 等价式与蕴含式

    1.4 范式与对偶式

    1.5 推理理论

    练习题

  第2章 一阶谓词逻辑演算系统

    2.1 谓词命题及翻译

    2.2 谓词命题公式及约束变量

    2.3 谓词演算的等价式和蕴含式

    2.4 谓词演算的推理理论

    练习题

第二部分 集合论

  第3章 集合与关系

    3.1 集合及集合的运算

    3.2 三个基本原理

    3.3 笛卡儿积与关系

    3.4 关系的运算

    3.5 等价关系与相容关系

    3.6 次序关系

    练习题

  第4章 函数

    4.1 函数的概念

    4.2 复合函数与逆函数

    4.3 序数与基数的概念

    4.4 基数的比较

    练习题

第三部分 代数系统

  第5章 代数结构

    5.1 置换及其运算

    5.2 数论初步

    5.3 代数系统的概念

    5.4 代数结构与子结构

    5.5 同态、同构与同余

    5.6 几种典型的群

    5.7 陪集与拉格朗日定理

    5.8 商代数与积代数

    5.9 环与域

    练习题

  第6章 格代数

    6.1 格的概念

    6.2 几种典型的格

    6.3 Stone表示定理

    6.4 布尔表达式

    练习题

第四部分 图论

英文索引

参考文献