Strukturált programozás

Szerző

Fordító

Lektor

Budapest

'O.-J. Dahl: Strukturált programozás ' összes példány

Kiadó:	Műszaki Könyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1978
Kötés típusa:	Fűzött kemény papírkötés
Oldalszám:	203 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-10-2265-x
Megjegyzés:	Fekete-fehér ábrákkal. Tankönyvi szám: 60 762.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

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

Témakörök

Műszaki > Informatika > Számítógép > Programozása

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem