| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787115684776 |
| 所属分类：图书>教材>中职教材>基础课 |
新华书店正版，多仓就近发货，城市次日达，团购优惠咨询在线客服！重磅推荐
编辑推荐
内容简介
本书介绍计算机相关专业必需的离散数学基础知识。包括离散数学四大分支——数理逻辑、集合论、代数系统和图论的基础理论。全书共章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多与计算机科学和工程有关的例题与习题。
本书适合作为高等学校计算机科学与技术、软件工程、数学、人工智能、智能科学与技术、数据科学与大数据技术、信息安全等相关专业的教材，也可供计算机科学工作者阅读与参考。
作者简介
郝晓燕，太原理工大学计算机应用技术，博士；太原理工大学计算机软件理论，硕士；山西大学计算机科学软件专业，学士；自年至今任职于太原理工大学，现任信息与计算机学院副教授，硕士生导师；从事计算机科学与技术学科的教学工作及科研工作。主讲课程：《工程经济学》，《离散数学》，《数据结构》，《面各对象程序设计》，《数据库系统原理》，《自然语言处理》。研究方向：计算语言学，自然语言处理，人工智能。社会兼职：中国计算机学会会员。
目 录
第章 命题逻辑
命题
命题与真值
原子命题与复合命题
逻辑联结词
否定联结词
合取联结词
析取联结词
蕴含联结词
等价联结词
命题公式
命题公式的概念
命题符号化
命题公式真值表第章 命题逻辑
命题
命题与真值
原子命题与复合命题
逻辑联结词
否定联结词
合取联结词
析取联结词
蕴含联结词
等价联结词
命题公式
命题公式的概念
命题符号化
命题公式真值表
命题公式的类型
重言式的性质
命题逻辑的等价关系
等价
基本等价式
置换规则
命题公式的标准化
析取范式与合取范式
主析取范式与主合取范式
主范式的应用
命题逻辑的蕴含关系
蕴含
证明蕴含关系的方法
基本蕴含式
……
显示全部信息
商品详情
编辑推荐
内容简介
本书介绍计算机相关专业必需的离散数学基础知识。包括离散数学四大分支——数理逻辑、集合论、代数系统和图论的基础理论。全书共章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多与计算机科学和工程有关的例题与习题。
本书适合作为高等学校计算机科学与技术、软件工程、数学、人工智能、智能科学与技术、数据科学与大数据技术、信息安全等相关专业的教材，也可供计算机科学工作者阅读与参考。
作者简介
郝晓燕，太原理工大学计算机应用技术，博士；太原理工大学计算机软件理论，硕士；山西大学计算机科学软件专业，学士；自年至今任职于太原理工大学，现任信息与计算机学院副教授，硕士生导师；从事计算机科学与技术学科的教学工作及科研工作。主讲课程：《工程经济学》，《离散数学》，《数据结构》，《面各对象程序设计》，《数据库系统原理》，《自然语言处理》。研究方向：计算语言学，自然语言处理，人工智能。社会兼职：中国计算机学会会员。
目 录
第章 命题逻辑
命题
命题与真值
原子命题与复合命题
逻辑联结词
否定联结词
合取联结词
析取联结词
蕴含联结词
等价联结词
命题公式
命题公式的概念
命题符号化
命题公式真值表第章 命题逻辑
命题
命题与真值
原子命题与复合命题
逻辑联结词
否定联结词
合取联结词
析取联结词
蕴含联结词
等价联结词
命题公式
命题公式的概念
命题符号化
命题公式真值表
命题公式的类型
重言式的性质
命题逻辑的等价关系
等价
基本等价式
置换规则
命题公式的标准化
析取范式与合取范式
主析取范式与主合取范式
主范式的应用
命题逻辑的蕴含关系
蕴含
证明蕴含关系的方法
基本蕴含式
……
显示全部信息
商品详情