5F6762695F6464649C97569E9F8FA791A495A29D91A29B566131688411095635130″ />

书籍名称:离散数学及其应用

页数:370

作者:魏长华,王光明,魏媛媛编著

出版时间:2006

ISBN:7307051842

出版社:武汉:武汉大学出版社

简介:


前部分目录

第1章 数理逻辑——1
1.1 命题演算——1
1.2 重言式——10
1.3 范式——17
1.4 编译技术中波兰式与逆波兰式的表示——23
1.5 命题演算的推理理论——28
1.6 谓词演算——43
1.7 谓词演算的推理理论——55
1.8 谓词演算在人工智能中的应用——60
第2章 集合论——77
2.1 集合论的基本概念——77
2.2 集合的运算及文氏图——83
2.3 关系和偏序——88
2.4 函数——113
2.5 递归函数——130
第3章 抽象代数——148
······
······
······


声明:本站资源均来源于互联网,旨在给网友提供一个交流学习的平台,产生费用仅为网站运营赞助费。版权属于原作者,若有侵权,请联系微信客服告知,我们会立即处理。