| 计算循环置换乘方的线性算法及其形式推导 |
| |
| 引用本文： | 薛锦云. 计算循环置换乘方的线性算法及其形式推导[J]. 江西师范大学学报(自然科学版), 1991, 0(1) |
| |
| 作者姓名： | 薛锦云 |
| |
| 作者单位： | 江西师范大学计算机系 |
| |
| 摘 要： | 本文重点论述形式推导这类算法所需要的概念、方法和数据表示形式,其次是算法的卫式命令实现及算法本身的特性。
|
| 关 键 词： | 程序设计方法学 算法设计 程序形式推导 |
A Linear Algorithm for the Cyclic Permutation to the N and Its Formal Derivation |
| |
| Xue Jinyun. A Linear Algorithm for the Cyclic Permutation to the N and Its Formal Derivation[J]. Journal of Jiangxi Normal University (Natural Sciences Edition), 1991, 0(1) |
| |
| Authors: | Xue Jinyun |
| |
| Affiliation: | Dept. of Computer |
| |
| Abstract: | We put emphasis on the notions,methods and notations needed in deriving those algorithms, while the implementation and property of the algorithm are secondary. |
| |
| Keywords: | methodology of programming design of algorithm formal derivation of program |
| 本文献已被 CNKI 等数据库收录！ |
