计算机科学中离散结构的数学

• 作者: 朱永贵
• 来源期刊: 国外科技新书评介
• 学科: 数学
• 关键词: 计算机科学 数学推理 离散结构 程序设计 计算机程序 数字电路 数学理论 命题逻辑
• 年，卷（期）: gwkjxspj_2013,（7）
• 页码范围: 16-16
• 页数: 1页
• 分类号: O1-4

摘要

数学在计算机科学中起着关键的作用。不论是设计数字电路，还是设计计算机程序都需要通过数学推理验证其正确性、稳定性和可靠性，本书就是基于这些事实为计算机科学提供了数学理论基础。本书作者详细叙述了命题逻辑、谓词演算、集合、关系、离散结构、结构类型、数和程序设计等内容，是计算机科学专业学生学习必备的基础读物。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱永贵	中国传媒大学理学院	102	41	3.0	5.0