离散数学解题指导

当前位置:首页 > 教材 > 研究生/本科/专科教材 > 离散数学解题指导

  • 版 次:1
  • 页 数:274
  • 字 数:406000
  • 印刷时间:2003年01月01日
  • 开 本:
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9787030109224
作者:王元元,张桂芸 等编著出版社:科学出版社出版时间:2003年01月 
编辑推荐

 
内容简介
本书是与科学出版社2002版《离散数学导论》教材相配套的辅助教材。内容按照教材对应章节的先后次序安排,每章节包括了内容概述和习题解答两部分,前者集中了离散数学最基本的概念和定理,后者是教材中习题的详细参考解答。本书的目的是为读者开拓解题思路,提供解题方法和技巧,加深读者对离散数学应用及其与计算机科学的联系的认识,从而逐步增强分析问题和解决问题的能力。
本书可作为高等院校计算机专业及相关专业本科生、专科生离散数学课程的教学参考书,也可作为计算机软硬件研究开发者和应用人员的学习用书,以及大学毕业生考研复习用书。
目  录
第一篇 数理逻辑
第一章 命题演算及其形式系统
1.1 命题与联结词
1.2 重言式
1.3 范式
△1.4 命题演算形式系统
第二章 谓词演算及其形式系统
2.1 个体、谓词和量词
2.2 谓词演算永真式
△2.3 谓词公式的前束范式
△2.4 一阶谓词演算形式系统
第三章 消解原理
3.1 斯柯伦标准形
3.2 命题演算消解原理

 离散数学解题指导下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017