1.067.053

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

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

Rendszerprogramok elmélete és gyakorlata

Szerző
Szerkesztő
Lektor
Budapest
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-2296-9
Megjegyzés: Kihajtható mellékletet tartalmaz. Fekete-fehér ábrákkal illusztrálva.
É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
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Előszó

Könyvem bizonyos programozási gyakorlattal rendelkező olvasó számára rendezett formában ismerteti a programozásban alkalmazott módszereket, technikákat, és megadja azok elméleti alapjait.
A... Tovább

Előszó

Könyvem bizonyos programozási gyakorlattal rendelkező olvasó számára rendezett formában ismerteti a programozásban alkalmazott módszereket, technikákat, és megadja azok elméleti alapjait.
A számítástechnikának numerikus és nem numerikus alkalmazásairól szoktunk beszélni. A tapasztalat azt mutatja, hogy a szakembereket elsősorban a neumerikus alkalmazásokra készítik fel, holott a számítógépeket túlnyomórészt nem numerikus feladatok megoldására használjuk. Könyvemben ezért a programozásban használatos nem numerikus módszereket ismertetem, elsősorban a rendszerprogramok szempontjából.
Ismeretes, hogy a számítógépeket ma már olyan rendszerprogramokkal látják el, amelyek a programozó számára kényelmessé, viszonylag egyszerűvé teszik a gép használatát. A rendszerprogramok ismertetése könyvemben több célt is szolgál:
- A nem numerikus módszereket a rendszerprogramok példáin alkalmazásukban tudom ismertetni. A jövőben egyre inkább növekszik a rendszerprogramok jelentősége, amelyeknek kidolgozásához ezek a példák jó alapot adnak.
- A rendszerprogramokban alkalmazott módszerek megismerése megkönnyíti a programozó számára a számítógép használatát, a rendszerprogramok jelzéseinek megértését.
A könyv az Eötvös Loránd Tudományegyetemen tartott előadásaim anyagát tartalmazza. Az előadásaimat a programozó matematikus hallgatók számára tartottam. Az elősimeretekben elsősorban a programozási gyakorlaton van a hangsúly, és az egyetemen is csak ennek megszerzése után kerülhetett sor előadásaim megtartására. A könyv anyagának a megértéséhez is feltételezem a FORTRAN, az ALGOL vagy a PL/1 nyelv ismeretét és bizonyos programozási gyakorlatot, a szükséges matematikai ismereteket azonban lényegében megadom. Erre annál is inkább szükség van, mert a programozás elmélete nem a hagyományos matematikai tárgyakra épül.
Ma már szinte áttekinteni sem lehet a számítástudomány témakörében megjelent könyvek jegyzékét. Az a szakember, akinek az egyetemen még nem volt része számítástechnikai oktatásban, de különböző tanfolyamokon vagy önállóan megtanult programozni és tovább kívánja magát képezni, nem tud eligazodni a szakkönyvek dzsungelében. Úgy gondolom, hogy könyvem alkalmas segédkönyv lehet ezeknek a szakembereknek a számára, amely együtt tartalmazza a programozási módszerek legfontosabb ismereteit. Vissza

Fülszöveg

Ma már néhány tízezerre tehető hazánkban azoknak a száma, akik számítógépeket használnak. Ezért vált szükségessé egy olyan átfogó jellegű könyv kiadása, amely a rendszerprogramok gyakorlatán keresztül bemutatja a programozásban alkalmazott módszereket, technikákat, és megadja elméleti alapjukat.
A könyv első része a program fogalmával, a programozási nyelvek és automaták elméletével ismerteti meg az olvasót. A továbbiakban az adatszerkezeteket és a rajtuk értelmezett legfontosabb algoritmusokat tárgyalja. Ezekre az elméleti és gyakorlati alapokra épül fel a könyv többi fejezete, melyekben az egyszerű fordítási algoritmusokat, a magasabb szintű programozási nyelvek fordítása során használt módszereket és az operációs rendszerek algoritmusait találja az olvasó. A könyv utolsó fejezete a programozási technológia aktuális kérdéseivel, a strukturált programozással és a bizonyítottan helyes programok előállításának módszerével foglalkozik.

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 Rendszerprogramok elmélete és gyakorlata Rendszerprogramok elmélete és gyakorlata

Könyvtári könyv volt. A védőborító széle szakadozott.

Állapot: Közepes
2.480 Ft
990 ,-Ft 60
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

Szép állapotú példány.

Védőborító nélküli példány.

Állapot:
2.480 Ft
1.730 ,-Ft 30
26 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 Rendszerprogramok elmélete és gyakorlata

Könyvtári könyv volt. A borító és a lapélek foltosak.

Védőborító nélküli példány.

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

A védőborító kopott.

Állapot:
2.480 ,-Ft
37 pont kapható
Kosárba