暂无评论
图文详情
- ISBN:9787121476396
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:188
- 出版时间:暂无
- 条形码:9787121476396 ; 978-7-121-47639-6
内容简介
本书内容分为数理逻辑、集合论、代数结构、图论等四个主要部分,包含命题逻辑、一阶谓词逻辑、集合、二元关系、函数、代数结构、特殊代数系统、图、特殊图及图的应用、树等10个章节。本书以应用型人才培养为目标,突出离散数学作为计算机及相关本科的专业基础课这一定位,本书可作为计算机科学与技术、软件工程、智能科学与技术、物联网工程、网络工程等专业离散数学课程的教材。
目录
目 录
第 1 章 命题逻辑 ····································································································.1
1.1 命题与联结词 ·····························································································.1
1.2 命题公式及其赋值 ······················································································.5
1.3 等值式 ·······································································································.8
1.4 析取范式与合取范式 ·················································································.10
1.4.1 范式的基本概念 ··············································································.10
1.4.2 主范式及其表示 ··············································································.12
1.4.3 主范式的求解 ··················································································.13
1.4.4 主范式的数量 ··················································································.15
1.5 联结词的完备集 ··························································
展开全部
作者简介
黄玮,男,1978年生人,副教授,在读博士,现任教于福州理工学院,具有知名企业的从业经历,曾获"微软金牌讲师”等头衔,长期从事软件工程、虚拟现实研发与教学工作,主持和完成过各类省级、市级科研项目5项,获软件著作权14项,发表科研论文9篇。
本类五星书
浏览历史
本类畅销
-
宇宙与人
¥13.0¥35.0 -
新太阳系
¥9.9¥35.0 -
世纪幽灵-走近量子纠缠
¥10.4¥28.0 -
物理学之美-插图珍藏版
¥26.2¥69.0 -
昆虫的生存之道
¥12.2¥38.0 -
为了人人晓得相对论
¥3.9¥13.5 -
技术史入门
¥17.8¥48.0 -
东京文艺地图(九品)
¥12.2¥38.0 -
假设的世界:一切不能想当然
¥17.1¥45.0 -
自然写作读本-B卷
¥25.8¥68.0 -
普林斯顿微积分读本-(修订版)
¥58.4¥99.0 -
130种美鸟彩图馆
¥15.1¥39.8 -
怎样解题
¥14.2¥29.0 -
模论
¥2.0¥3.6 -
118个数学竞赛不等式
¥44.5¥78.0 -
数学的魅力;初等数学概念演绎
¥9.0¥22.0 -
趣味物理学问答
¥17.5¥46.0 -
现代科技中的天文学
¥10.3¥13.0 -
明代广西卫所体制与地方社会
¥56.2¥78.0 -
时间简史(精装)
¥16.3¥38.0