《离散动态规划与Bellman代数》建立了一个与最优化原理足够贴近的代数系统。叫做Bellman半环，从而建立了离散动态规划的基本公理系统，证明了Bellman代数（包括极大代数和极小代数）是最优化原理成立的一个充分条件。
全书分三个部分共8章，以原理为基础，以Bellman代数为工具，讨论离散动态规划的基础理论、算法和应用。基本公理系统能够推广为一般公理系统，用以讨论k阶优化解问题、多目标非劣解问题，并建立匹配优化原理，得到了关于路和匹配的多种优化问题的求解公式。《离散动态规划与Bellman代数》表明，离散动态规划是一门既具有公理化基础又具有代数工具的、专门讨论决策优化学问的应用数学分支。