离散数学的应用举例-离散数学总结

离散数学的应用举例 关系型数据库的设计(关系代数) 表达式解析(树) 优化编译器的构造(闭包) 编译技术、程序设计语言(代数结构) Lisp和Prolog、人工智能、自动推理、机器证明(数理逻辑) 网络路由算法(图论) 游戏中的人工智能算法(图论、树、博弈论) 专家系统(集合论、数理逻辑—知识和推理规则的计算机表达) 软件工程—团队开发—时间和分工的优化(图论—网络、划分) (各种)算法的构造、正确性的证明和效率的评估(离散数学的各分支) 其实这样的“结合点”实在太多，因为结构数学的一大本质特征就是抽象现实世界中的事物，建立模型进而研究其规律。国内有些离散数学的教材只是“就事论事”地讲数学知识，如果读者能够带着应用中的问题有针对性、目的性地去阅读这些教材也许效果会更好一些。