|
| | |
|
作者：邵学才
出版社：清华大学
出版日期：2006-7-1
译者：
|
|
ISBN：730212805 |
| 开本：其它 |
|
装帧： |
原价：
23 元 |
|
| | 三星会员：20.00 元 |
二星：20.43 元 |
一星：20.86 元 |
普通：21.51 元 |
|
 
团购服务电话13146064908 价格优惠！ |
|
|
|
本书是以培养应用人才为主的教学型大学计算机专业本科生使用的教材。内容涵盖集合论、数理逻辑、代数结构和图论，除传统离散数学内容外，还增加了在计算机应用技术中有广泛用途的“递推关系”。教材中配有大量例题，帮助学生由浅入深地理解和掌握基本概念，有些例题还有多种求解方法。
本书适合普通高校计算机专业学生使用，也可作为各类继续教育学院相关专业教材使用。
|
|
| 
|
| 
第1章 集合、关系与函数
1．1集合
1．1．1集合的基本概念
1．1．2集合的基本运算
1．1．3包含排斥原理
1．2二元关系
1．2．1引言
1．2．2集合的笛卡儿乘积
1．2．3二元关系的3种表示方法
1．2．4关系的基本类型
1．2．5等价关系与划分
1．2．6偏序关系
1．2．7复合关系与逆关系
1．2．8关系的闭包运算
1．3函数
1．3．1函数的基本概念
1．3．2特殊函数
1．3．3复合函数与逆函数
习题
第2章 命题逻辑
2．1命题和联结词
2．1．1命题和命题变元
2．1．2命题联结词
2．2真值表和逻辑等价
2．2．1命题公式的真值表
2．2．2逻辑等价
2．3永真蕴含式
2．3．1永真蕴含式的定义
2．3．2永真蕴含式的性质
2．4推理理论
2．4．1前提与有效结论
2．4．2直接证明法
2．4．3间接证明法
2．5范式
2．5．1析取范式和主析取范式
2 更多>>
|
|
|
| |
