【经典汉诺塔问题】 汉诺（Hanoi）塔问题：古代有一个梵塔，塔内有三个座A、B、C，A座上有64个盘子，盘子大小不等，大的在下，小的在上。有一个和尚想把这64个盘子从A座移到B座，但每次只能允许移动一个盘子，并且在移动过程中，3个座上的盘子始终保持大盘在下，小盘在上。在移动过程中可以利用B座，要....
分类：
其他 时间：
2015-02-27 00:06:23
收藏：
0 评论：
0 赞：
0 阅读：
396
本章主要讲述软件工程中将离散数学的方法用于解决软件工程领域的问题。形式化方法的开发可以追溯到20世纪50年代后期对编译技术的研究。也可以理解为，软件开发实际上就是把现实世界的需求映射成软件的模型化过程。形式规约：软件规格说明是对软件系统对象，队象的操作方法，以及对象行为的描述。非形式的规格说明可用自...
分类：
其他 时间：
2015-02-27 00:06:13
收藏：
0 评论：
0 赞：
0 阅读：
219
