1. Párhuzamos feladat, program, megoldás.
A feladat fogalmának általánosítása folyamatokra (specifikációs feltételek, paramétertér). Párhuzamos program fogalma (nemdeterminisztikusság és összefésüléses szemantika, feltétlenül pártatlan ütemezés axiómája, viselkedési reláció). A megoldás definíciója feltétlen pártatlan ütemezés mellett, levezetési szabályok, a feladat lépesenkénti finomítása.

2. Programkonstrukciók.
Viselkedési relációjuk, levezetési szabályaik, lokalitás tétel. Programtranszformáció: aszinkronitás tétel. Implementációs módszerek, leképezések, PVM.

3. Programozási tételek.
Folyamathálók, csatornaváltozók. Adatcsatorna alkalmazása, asszociatív függvény kiszámítása.

4. Osztály.
a) Az objektum fogalmának informális definíciója, az objektum osztály. Speciális esetek. Az objektum és az objektum osztály egy tervezési jelölése.
b) Az objektum osztályok közötti relációk: öröklődés, társítás és felépítmény. A relációk egy jelölésrendszere. Multiplicitás, sorrend, kiemelt szerep, minősítés stb. Szemléltető példák.
c) Esemény-, állapot-, állapotdiagram definíciója jelölésrendszer. Szemléltető példák, sakkjátszma, útkereszteződés, automatikus sebességváltó.

5. Programrendszerek tervezése.
a) A procedurális és az objektum elvű megközelítés összehasonlítása.
b) Objektum alapú tervezési módszer. A statikus modell létrehozása. A dinamikus modell létrehozása. A funkcionális modell létrehozása.

6. Formális nyelvek.
Formális nyelvek, nyelvtanok, nyelvtanok típusai (alap, kiterjesztett és normál-forma), Chomsky-hiearchia, Church-tézis.

7. Matematikai gépek.
Matematikai gépek, típusaik és az általuk elfogadott nyelvek kapcsolata a Chomsky-osztályokkal.

8. Reguláris és környezet-független nyelvek tulajdonságai.
Kapcsolatuk a műveletekkel, szükséges és elégséges feltételek, algoritmikusan megoldható problémák.

9. Az adatbázis-kezelő rendszerek fogalmai.
Sémák, előfordulások, fizikai, fogalmi és alkalmazói szintek, katalógusok, jogok, tranzakciók, a rendszer különböző funkciókat feldolgozó részei. A fizikai fájlszervezés hatékonysági jellemzői (rendezetlen és rendezett fájlok, hasító függvények, elsődleges és másodlagos indexek, kereső fák, B-fák).

10. Adatmodellezés:
Relációs adatmodell, az adatbázis tervezés problémái, dekompoziciók, egyed kapcsolat (E/K) modell, kapcsolattípusok, az E/K diagram transzformálása relációs modellé, beágyazott relációs adatmodell.

11. Lekérdező nyelvek:
Relációs algebra alapvető és származtatott műveletei, relációs sor- és komponenskalkulusok, tartományfüggetlenség és biztonságosság, SQL, alkalmazások készítése programozási környezetben.

12. Hálózati rétegelt architekturák:
Hálózati réteg, hálózati réteg interfész. Rétegelt architektúra működési modellje. A TCP/IP hálózati architektúra.

13. Transzport réteg feletti alkalmazói interfészek:
A socket és a tli interfész. Kliens-szerver modellek, szerver logikák.

14. A DNS adatbázis és implementációja.

15. Az Internet protokoll forgalomirányítási modellje:
Statikus és dinamikus forgalomirányítás. Osztott aszinkron Bellman-Ford algoritmus, Dijkstra algoritmus és alkalmazásaik.

16. Az assembly nyelvek tulajdonságai és fordítása:
Masm, 1 es 2 menetes assembler, szerkesztés, betöltés, kapcsolat szegmensek és programmodulok között, makrók, makro assemblerek.

17. Felülről lefele elemzés:
Lexikális elemzés, LL elemzések, szemantikus elemzés, kódgenerálás, szimbólumtábla- és memória kezelés.

18. Alulról felfele elemzés:
Lexikális elemzés, LR elemzések, szemantikus elemzés, kódgenerálás, szimbólumtábla- és memóriakezelés.

19. Párhuzamos folyamatok:
Holtpont, kölcsönös kizárás, szinkronizáció.

20. Virtuális memóriakezelés:
Lapcserélési és szegmenselhelyezési algoritmusok.

21. Operációs rendszerek:
Feladat, szerkezet, osztályozás.