图书简介：

内容提要：

图书目录：

作者介绍：

图书简介：

作/译者：杨炳儒出版社：人民邮电出版社

出版日期：2006年12月ISBN：9787115144423 [十位:7115144427]

页数：351 重约：0.530KG

定价：￥32.00

旧书普通用户价：￥10.00 为您节省：￥22.00

旧书VIP用户价：￥9.30 为您节省：￥22.70

内容提要：

本书是在“知识逻辑结构核心论”创新性教学思想的指导下,经过多年的教学实践形成的,是对“离散数学”教学内容与方法改革的探索。

全书按数理逻辑、集合论、代数结构、图论四部分主题内容演绎铺展,具有区别于国内出版的同类教材的全新结构和形式,从整体上可见具有积淀了教学理论、认知科学、逻辑科学、哲学方法论等多学科交叉的形象。

本书可作为计算机、自动化、电子信息工程、测量技术与仪器、管理科学与工程、系统科学与工程等专业的本科生、研究生教材,并可供相关的教学科研人员与工程技术人员参考。

图书目录：

第一篇 数理逻辑

第1章 命题逻辑

1.1 命题

1.2 联结词

1.3 命题公式与翻译

1.4 命题公式的等价、蕴涵

1.5 对偶与范式

1.6 其他关结词

1.7 命题演算推理

1.8 应用

1.9 典型例题解析

本章小结

习题

第2章 谓词逻辑

2.1 谓词和量词

2.2 谓词公式与翻译

2.3 约束变元与自由变元

2.4 谓词公式的等价、蕴涵

2.5 前缀范式

2.6 谓词演算推理

2.7 应用

2.8 ... [显示全部]

作者介绍：

杨炳儒,北京科技大学信息工程学院教授(首席一级)、博士生导师,享受国务院特殊津贴专家、国际注册科技专家;国际一般系统学会中国模糊信息与模糊工程学会名誉理事长、中国人工智能学会离散数学专委会主任与知识工程专委会副主任。主要研究方向:知识发现与智能系统、柔性建模与集成技术。

发表论文320篇;出版著作14部(独立专著7部,合作编著7部,包括在美国出版的1部英文专著),待出版4部;获国际奖励2项、位于第一名的学会奖与省部级科技进步奖18项;以唯一发明人获4项国家发明专利证书(另受理3英)、计算机软... [显示全部]