Kiadvány

GREGORICS TIBOR

Programozás I. - Tervezés

Ebben az informatikus hallgatóknak szánt egyetemi jegyzetben egy olyan programtervezési módszert ismerhetünk meg, amelyik a megoldandó feladat elemzéséből indul ki, élesen elválasztja a program tervezését a terv megvalósításától, és a tervezés során algoritmus mintákra, az úgynevezett programozási tételekre támaszkodik. A programozási tételek felhasználása nem algoritmikus újragondolással, hanem egy sajátos módszerrel, a visszavezetéssel történik, amelynek megfelelő alkalmazása garantálja az előállított program helyességét.