798.656

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
4000 Ft
a kedvezményes
házhoz szállításig

Rendszerprogramok elmélete és gyakorlata

Szerző

Kiadó: Akadémiai Kiadó
Kiadás helye: Budapest
Kiadás éve:
Kötés típusa: Vászon
Oldalszám: 566 oldal
Sorozatcím:
Kötetszám:
Nyelv: Magyar 
Méret: 25 cm x 17 cm
ISBN: 963-05-1369-2
Megjegyzés: Fekete-fehér ábrákkal illusztrálva. Kihajtható melléklettel.

Tartalom

Előszó11
Alapfogalmak15
Halmazok15
Halmazokra vonatkozó műveletek17
Szöveg20
Leképezések, függvények22
Gráfok és fák23
Programok25
A program állapotdiagramjai29
Nyelvek és grammatikák31
Mondat, grammatika, nyelv33
A grammatikák osztályozása36
Szintaxis és szemantika39
Nyelvek és automaták40
Véges automaták41
A véges automata formális definíciója46
A reguláris nyelvek és a véges automaták kapcsolata49
Veremautomaták61
A veremautomaták által elfogadott szöveg63
A veremautomata és a környezetfüggetlen nyelvek kapcsolata66
Turing-gép74
A Turing-gép ábrázolása, programozása77
A Turing-gép módosításai84
A Turing-gép és a mondatszerkezetű nyelvek kapcsolata87
A lineáris korlátos automaták89
Feladatok90
Irodalom95
Adatszerkezetek96
Adatelem, adatszerkezetek96
Az adatszerkezet ábrázolása gráffal98
Lineáris adatszerkezetek102
Lineáris adatszerkezet láncolt ábrázolása103
Speciálisan kezelt lineáris adatszerkezetek108
A verem109
A sor112
Ortogonális adatszerkezetek115
A hézagosan kitöltött mátrix ábrázolásai118
File, rekord121
Rendezési és összefuttatási stratégiák124
A szöveg mint adatszerkezet127
Szövegszerkesztő-programok130
Táblázatok135
Lineáris keresés137
Logaritmikus keresés137
Indexmódszerek138
A leképezőfüggvény előállítása140
Az altáblázatok ábrázolása141
A fák ábrázolásai146
Bináris fák ábrázolásai, bejárási stratégiák147
Nem bináris fák ábrázolásai153
A VDL-adatszerkezet155
Hierarchikusan strukturált adatok160
A szabad hely felhasználása165
Referenciaszámlálás166
Hulladékgyűjtés167
Az adatterület dinamikus kiosztása168
Feladatok172
Irodalom173
Assemblerek és szerkesztő-betöltő programok171
A szimbolikus program és annak feldolgozása174
Egy egyszerű számítógép175
Címzési módok177
Az utasításrendszer180
Az assembly nyelv189
Az egyszerű assembly nyelv szerkezete190
Moduláris programozás az assembly nyelvben194
A makroutasítások az assembly nyelvben197
A program abszlút bináris formája, betöltés202
A program egyszerű áthelyezhető bináris formája205
A szegmens áthelyezhető bináris formája207
Assemblerek211
Két menetben történő fordítás211
Egy menetben történő fordítás220
A szegmens fordítása224
Makroassemblerek226
A makro-definíció értelmezése227
A makrohívás kifejtése227
Szerkesztő-betöltő programok228
Két menetben történő szerkesztés és betöltés231
Szerkesztés és betöltés egy menetben231
Indirekt betöltés239
Programátfedés240
Makroprocesszorok242
Feladatok246
Irodalom249
Fordítási módszerek és algoritmusok252
Magas szintű nyelvek, fordítás és értelmezés253
A fordítás menete253
Programozási nyelvek formális leírása260
Egy szintaktikus metanyelv a konkrét szintaxis leírására, BNF261
A mondat szintaxisfája267
Az absztrakt szintaxis leírása VDL-objektumok felhasználásával273
A VDL-gép és -program283
Lexikális analízis299
A fordítóprogram táblázatai302
Az azonosító nevek táblázata303
A konstansok és címkék táblázatai306
A mondat szintatikus elemzése307
A felülről lefelé történő elemzés310
Egy szintaxiselemző célgép317
A grammatika ábrázolása a memóriában324
Az alulról felfelé történő elemzés328
Elsőbbségi összefüggések328
Egyszerű elsőbbségi nyelvtan332
Az elsőbbségi függvények335
Az alulról felfelé történő elemzés algoritmusa339
Az LR(K) grammatikák342
Közbülső programformák346
A Rutishauser-módszer346
Négyessel és hármassal való ábrázolás348
A lengyelforma349
A kiszámítási fa353
A kifejezések lengyelformára hozása358
A logikai címek leképzése fizikai címekre367
Leképzés a Fortran esetében368
Leképzés az Algol esetében369
A vezérlésátadás fordítása376
A ciklusutasítás fordítása377
Az aktuális és formális paraméterek egymáshoz rendelése379
Hivatkozás szerinti paraméterátadás381
Érték szerinti paraméterátadás382
Név szerinti paraméterátadás382
A program értelmezése383
A Kalmár-féle formulavezérlésű számítógép385
Az egyszerű értékadó utasítások feldolgozása389
Számátalakítás393
Tömbdeklaráció és indexes változó feldolgozása395
Vezérlésátadás399
A ciklusutasítás feldolgozása402
Feladatok404
Irodalom408
Operációs rendszerek
Az operációs rendszerek típusai410
Számítógéprendszerek és -hálózatok410
Számítógéprendszerek411
Több gépes rendszerek411
Több processzoros rendszerek (multiprocesszorok)412
Számítógép-hálózat414
A programok feldolgozásának módjai415
Egyedi feldolgozás416
Kötegelt feldolgozás (batch)417
Távolsági kötegelt feldolgozás (remote batch)420
Osztott erőforrású feldolgozás (time sharing)425
Speciális célú rendszerek427
Információs rendszerek432
Adatgyűjtő rendszer432
Folyamatvezérlő rendszer434
A különböző típusú operációs rendszerek közös feladatai435
Az operációs rendszer vezérlése437
A megszakítási egységek típusai438
A perifériális átvitelek vezérlése446
Gazdálkodás a tárolókkal450
A memória felosztása egy rezidens és egy tranziens részre450
Rögzített partíciók453
Változó partíciók454
A programok áthelyezhetősége 455
A hagymahéj algoritmus458
Virtuális tárkezelés460
Automatikus lapváltás (paging)463
Szegmentálás469
Szegmentálás és lapváltás474
A file kezelése475
A rekordok soros és direkt elérése476
A file védelme479
A periferiális berendezések kiosztása480
Folyamatokból álló rendszerek vezérlése482
A holtpontállapot484
A holtpontállapot automatikus felismerése493
Holtpontmentes vezérlés496
Kölcsönös kizárás497
Szemaforok502
Folyamatok szinkronizálása508
A processzor hozzárendelése a folyamatokhoz514
A folyamatok beütemezése516
Feladatok519
Irodalom520
A programok helyességének ellenőrzése522
A programhelyesség fogalma522
A programok kipróbálását elősegítő programok526
A program nyomon követése gépikód szinten. Dinamikus programkipróbáló (debugging) rendszerek527
A programok analizálása528
A program helyes működésének bizonyítása530
A Floyd-féle indukciós módszer532
A Hoare-féle következtetési szabályok módszere538
Egy formális módszer542
Strukturált programozás545
Felülről lefelé történő programkifejtés548
Irodalom554
Névmutató556
Tárgymutató557

Varga László

Varga László műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Varga László könyvek, művek
Megvásárolható példányok
Állapotfotók
Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata

A védőborító kissé sérült, javított. Könyvtári könyv volt.

Állapot: Közepes
1.980 Ft
790 ,-Ft 60
12 pont kapható
Kosárba
Állapotfotók
Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata

A védőborító enyhén sérült.

Állapot:
1.980 Ft
990 ,-Ft 50
15 pont kapható
Kosárba
Állapotfotók
Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata

Könyvtári könyv volt. A védőborító enyhén elszíneződött, kopottas.

Állapot: Közepes
1.980 Ft
1.580 ,-Ft 20
24 pont kapható
Kosárba
Állapotfotók
Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata

A védőborító kissé kopott, elszíneződött. A borító és a lapélek enyhén foltosak.

A lapélek foltosak.

Állapot:
1.980 ,-Ft
30 pont kapható
Kosárba