离散数学的应用
◆ 关系型数据库的设计(关系代数)
◆ 表达式解析(树)
◆ 编译技术、程序设计语言(代数结构)
◆ 人工智能、自动推理、机器证明(数理逻辑)
◆ 网络路由算法(图论)
◆ 游戏中的人工智能算法(图论、树、博弈论)
◆ 专家系统(集合论、数理逻辑—知识和推理规则的计算机
表达)
◆ 软件工程—团队开发—时间和分工的优化(图论—网络、
划分)
◆ 各种 算法的构造、正确性的证明和效率的评估(离散数
学的各分支)
第 2 页 / 共 53 页