Corvinus
Corvinus

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 http://doi.org/10.36427/CEJNTREP.1.1.380

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
340kB

Official URL: http://doi.org/10.36427/CEJNTREP.1.1.380


Abstract

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
DOI:http://doi.org/10.36427/CEJNTREP.1.1.380
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