Programming Theorems and Their Applications

A tétel rövid nézete
dc.contributor.authorFekete, István
dc.contributor.authorGregorics, Tibor
dc.contributor.authorKovácsné Pusztai, Kinga
dc.contributor.authorVeszprémi, Anna
dc.date.accessioned2024-07-30T13:17:57Z
dc.date.available2024-07-30T13:17:57Z
dc.date.issued2020-03-24
dc.description.abstractOne of the effective methodological approaches in programming that supports the design and development of reliable software is analogy-based programming. Within this framework, the method of problem reduction plays a key role. Reducing a given problem to another one whose solving algorithm is already known can be made more efficient by the application of programming theorems. These represent proven, abstract solutions – in a general form – to some of the most common problems in programming. In this article, we present six fundamental programming theorems as well as pose five sample problems. In solving these problems, all six programming theorems will be applied. In the process of reduction, we will employ a concise specification language. Programming theorems and solutions to the problems will be given using the structogram form. However, we will use pseudocodes as descriptions of algorithms resembling their actual implementation in Python. A functional style solution to one of the problems will also be presented, which is to illustrate that for the implementation in Python, it is sufficient to give the specification of the problem for the design of the solution. The content of the article essentially corresponds to that of the introductory lectures of a course we offered to students enrolled in the Applied Mathematics specialization. Subject Classification: D40en
dc.formatapplication/pdf
dc.identifier.citationTeaching Mathematics and Computer Science, Vol. 17 No. 2 (2019) , 213-241
dc.identifier.doihttps://doi.org/10.5485/TMCS.2019.0466
dc.identifier.eissn2676-8364
dc.identifier.issn1589-7389
dc.identifier.issue2
dc.identifier.jatitleTeach. Math. Comp. Sci.
dc.identifier.jtitleTeaching Mathematics and Computer Science
dc.identifier.urihttps://hdl.handle.net/2437/378500
dc.identifier.volume17
dc.languageen
dc.relationhttps://ojs.lib.unideb.hu/tmcs/article/view/10957
dc.rights.accessOpen Access
dc.rights.ownerIstván Fekete, Tibor Gregorics, Kinga Kovácsné Pusztai, Anna Veszprémi
dc.subjectprogramming by analogyen
dc.subjectproblem reductionen
dc.subjectprogramming theoremsen
dc.subjectprogram structureen
dc.subjectabstract data structureen
dc.subjectPython programmingen
dc.subjectfunctional styleen
dc.titleProgramming Theorems and Their Applicationsen
dc.typefolyóiratcikkhu
dc.typearticleen
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nem elérhető
Név:
PDF
Méret:
401.91 KB
Formátum:
Adobe Portable Document Format
Letöltés
Gyűjtemények
Teaching Mathematics and Computer Science (DE-journals)