Programming Theorems Have the Same Origin

Szlávi, Péter and Zsakó, László and Törley, Gábor (2019) Programming Theorems Have the Same Origin. Central-European Journal of New Technologies in Research, Education and Practice, 1 (1). pp. 1-12. DOI

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL:


One of the classical ways of learning programming is to divide programming tasks into large groups, so-called programming theorems, and then to trace the specific tasks back to the programming theorems. Each teaching method introduces a different amount of programming theorems into the learning pro-cess, occasionally even combining them. In this article we will show that the basic and complex pro-gramming theorems have the same origin; consequently, it would be enough to present one theorem and trace everything back to it. At the end of the article, then, we will explain the practical use of still introduc-ing more theorems.

Item Type:Article
Subjects:Computer science
ID Code:4288
Deposited By: MTMT SWORD
Deposited On:07 Nov 2019 13:36
Last Modified:07 Nov 2019 13:36

Repository Staff Only: item control page