陪集和拉格朗日定理教学探讨

以陪集和拉格朗日定理一节的教学为例,探讨离散数学的教学方法。将本节的内容重新编排,按陪集—划分—等价关系—拉格朗日定理及推论—应用的线索讲授,在教学实践中效果良好。     

用形式化技术求河内塔的并行解

论文以求河内塔(Hanoi Tower)问题的并行解为例，介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是，先将复杂的问题和复杂的并行环境分离，仔细分析用户需求并进行形式化规格，求得正确的解，然后逐步求精，并保证在逐步求精的过程中不失去正确性，最后阶段再得到可以运行的并行程序。