REAL

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. ISSN 2676-9425

[img]
Preview
Text
document.pdf

Download (340kB) | Preview

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: Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 06 Nov 2019 13:00
Last Modified: 06 Nov 2019 13:00
URI: http://real.mtak.hu/id/eprint/102981

Actions (login required)

Edit Item Edit Item