A Study of Computer-Based Problem Solving Based on Equivalent Transformations

スポンサーリンク

概要

• 論文の詳細を見る

• In order to solve a given problem by using a computer, we need an. algorithm. If an algorithm is produced with being based on human inspiration, then it is difficult to guarantee the corectness and efficiency of the algorithm. Correctness and efficiency are important sides of quality of algorithms. It is necessary that algorithms are produced with being based on theories. A given problem is expressed by using a formal language. Algorithms consists of means to operate such expressed problems and means to .control applications of operations. In this study, I only use equivalent transformations for such operations. Equivalent transformations guarantee the correctness of algorithms. Appropriate control of applying equivalent transformations makes algorithms efficient.

• 天使大学の論文
• 2001-03-31

著者

• Kawaguchi Yuuichi

  天使大学看護栄養学部教養教育科

関連論文

• A Study of Computer Training Environment for Decreasing Administrative Works
• A Study of Computer-Based Problem Solving Based on Equivalent Transformations
• A Note on Writing and Distributing a Document with Mathematical Expressions : by using a Personal Computer

スポンサーリンク