建模能力-经典模型偏序集 ·偏序集 ·序关系和等价关系具有不同的重要性 ·全序和无序之间的中间态 ·哈斯图及极点、最点 ·拓扑偏序算法 ·动态规划中的化递归”为“循环”的重要依据。能说说为什么吗？ ·格 ·Meet,join操作的含义，补元的含义 ·格的严格性质和格的哈斯图 有补分配格作为布尔代数的基础特性 ·布尔表达式的积和范式、布尔表达式的化简、卡诺图基础理论建模能力-经典模型偏序集 • 偏序集 • 序关系和等价关系具有不同的重要性 • 全序和无序之间的中间态 • 哈斯图及极点、最点 • 拓扑偏序算法 • 动态规划中的化“递归”为“循环”的重要依据。能说说为什么吗？ • 格 • Meet, join操作的含义，补元的含义 • 格的严格性质和格的哈斯图 • 有补分配格作为布尔代数的基础特性 • 布尔表达式的积和范式、布尔表达式的化简、卡诺图基础理论