strukturált programozás

FÜLSZÖVEG A könyv a strukturált programozás alapkönyve. A strukturált programozás módszere teszi lehetővé bonyolult feladatok programozásának felbontását kisebb - még áttekinthető - részekre, majd a teljes program összeállítását ezekből a részekből. A mű a strukturált programozás alapelveinek és céljainak ismertetése kapcsán kitér a "réteges" programtervezésre, ismerteti a programhelyesség bizonyításának logikai eszközeit, a programcsaládok és a program-összehasonlítások kérdéseit. Foglalkozik az adatszerkezetek kezelésével, a legfontosabb speciális strukturákkal. Az ALGOL 60, ill. SIMULA 67 nyelvek alapján ismerteti e nyelvek egyes tulajdonságainak felhasználását "jó" programstrukturák kialakításában (korutinok, listaszerkezetek kezelése, szimuláció). TARTALOM Előszó 9 A strukturált programozásról 11 Az Olvasóhoz 11 Képességeink korlátairól 11 Berendezéseink megbízhatóságáról 13 Szellemi segédeszközeinkről 15 A lépésenkénti elemzésről 16 A teljes indukcióról 17 Az absztrakcióról 20 Példa a helyesség bizonyítására 20 A bizonyítások érvényessége és a megvalósítások helyessége 23 A programok megértéséről 24 A programok összehasonlításáról 30 Első példa a lépésenkénti programtervezésre 33 Programcsaládokról 43 A tárolóigény és a végrehajtási idő közötti kompromisszumról 45 Egy programmodellről 48 Második példa a lépésenkénti programtervezésre 53 Amit elértünk 60 A vezérlésről és a csoportosításról 64 Bővebben a tervezői meggondolásokról 67 A nyolc királynő problémája 71 Az adatstruktúrákról 81 Bevezetés 81 Számok és számjelek 82 Az absztrakció és a programozás 83 Absztrakció a magasszintű programozási nyelvekben 85 Jelölések 86 Összefoglalás 87 A típus fogalma 89 Az adattípus definíciója 89 Műveletek az adatokon 90 Az adatok ábrázolása 91 Strukturálatlan adattípusok 92 Műveletek 93 Ábrázolás 95 Példa 96 A keresztszorzat 97 Műveletek 100 Ábrázolás 101 A megkülönböztetett egyesítés 103 Műveletek 104 Ábrázolás 106 Példa 107 A tömb 107 Műveletek 109 Ábrázolás 110 A hatványhalmaz 114 Műveletek 115 Ábrázolás 117 Példa 118 A sorozat 121 Műveletek 123 Ábrázolás 126 Rekurzív adatstruktúrák 130 Ábrázolás 133 Példák 135 Hézagos adatstruktúrák 136 Ábrázolás 139 Egy példa: vizsgabeosztás készítése 143 Az absztrakt program 144 Az adatok ábrázolása 150 Axiomatikus tárgyalás 152 Taxatív felsorolások és részintervallumok 153 Keresztszorzatok 154 Megkülönböztetett egyesítések 155 Tömbök 156 Hatványhalmazok 156 Sorozatok 158 Irodalom 159 A hierarchikus programstruktúrákról 161 Bevezetés 161 Alapismeretek 161 Alapfogalmak 161 További fogalmak 162 Statikus és dinamikus blokkok 163 Objektumok osztályai 165 Gyakorisági hisztogram 166 Gaus-integráció 168 Korutinok 169 Szövegek feldolgozása 172 Permutációk előállítása 174 Listaszerkezetek 177 Bináris rendezési fák 177 Szimmetrikus listák 180 Programok konkatenációja 185 Bináris rendezési fa 187 Szimmetrikus listák 188 Fogalomhierarchiák 191 Diszkrét események szimulációja 192 A Lee-algoritmus 196 Egy kiszolgálási rendszermodell 198 Irodalom 202 Kiegészítő irodalom a magyar kiadáshoz 203