Záróvizsga tételek

A tételek jellemzően egy tantárgy főbb témakörét írják le

1. Függvények határértéke, folytonossága

Analízis I.

Függvények határértéke, folytonossága.

Kompakt halmazon folytonos függvények tulajdonságai:

• Weierstrass-tétel, Bolzano-tétel.
• A hatványsor fogalma, Cauchy-Hadamardtétel, analitikus függvények.

Státusz: ❌

2. Differenciál-és integrálszámítás

Analízis II.

Függvények deriválhatósága.

• Parciális derivált, totális derivált. Gradiens, Jacobi-mátrix.

Függvényvizsgálat, szélsőérték. Riemann-integrál, parciális integrálás, integrálás helyettesítéssel. Newton-Leibniz-formula.

Státusz: ❌

3. Numerikus módszerek

Nummód I. (oc)

Nemlineáris egyenletek iterációs módszerei:

• fixpont iterációk
• Newton iteráció

Interpoláció:

• Lagrange-féle alak
• Newton-féle alak

Legkisebb négyzetek módszere

Numerikus integrálás:

• interpolációs formulák
• Newton-Cotes formulák
• egyszerű és összetett formulák

Státusz: ❌

4. Számelmélet, gráfok

Nummód II?

• Halmazok, relációk, függvények és műveletek.
• Komplex számok.
• Leszámlálások véges halmazokon.
• Irányítatlan és irányított gráfok, fák, Euler-és Hamilton-gráfok, gráfok adatszerkezetei.
• Számelméleti alapfogalmak, oszthatóság, kongruencia, prímek.
• Polinomok és műveleteik, maradékos osztás.

Státusz: ❌

5. Valószínűségszámítási és statisztikai alapok

Valszám

Diszkrét és folytonos valószínűségi változók, nagy számok törvénye, centrális határeloszlás tétel.

Statisztikai becslések, klasszikus statisztikai próbák.

Státusz: ❌

6. Mesterséges intelligencia

GT MI előadása

MI problémák és az útkeresési feladat kapcsolata.

Modellezési technikák

• (pl. állapottér modell, dekompozíciós modell)

Heurisztikus útkereső algoritmusok:

• lokális keresések
  • hegymászó módszer
  • tabu-keresés
  • szimulált hűtés
• visszalépéses keresés
• heurisztikus gráfkereső eljárások
  • A
  • A*
  • AC
  • B Kétszemélyes játékok

Státusz: ❌

7. Programozás

Prog (+GT előadás <3)

A felsoroló fogalma.

Nevezetes gyűjtemények felsorolói

• intervallum
• tömb
• sorozat
• szekvenciális inputfájl

Felsorolóra megfogalmazott programozási tételek:

• összegzés
• számlálás
• maximum kiválasztás
• feltételes maximumkeresés
• lineáris keresés
• kiválasztás

A visszavezetés módszere.

Programozási tételekkel készült programok tesztelése.

Státusz: ✅ 7 - Programozás

8. Objektumelvű modellezés

OEP

Az objektumelvű modellezés nézetrendszerei:

statikus modell

• osztálydiagram
• objektumdiagram
• csomag diagram
• komponens diagram

dinamikus modell

• állapotgép diagram
• szekvencia diagram
• kommunikációs diagram
• használati eset diagram

Státusz: ❌

9. Objektumelvű tervezés

OEP

Nagy rendszerek fejlesztési fázisai, fejlesztési módszerek.

SOLID tervezési elvek.

Architekturális minták (MV, MVC stb.).

Tervezési minták szerepe, osztályozása és kategóriánként 2-2 nevezetes tervezési minta bemutatása

• létrehozási
• szerkezeti
• viselkedési

Státusz: ✅ 9 - Objektumelvű tervezés

10. Programnyelvi alapok

Prognyelvek - Java

• Fordítás és szerkesztés, programozási nyelv szabályrendszere
• Lexikális elemek, szintaxis, szemantikus szabályok
• Kifejezések kiértékelésének szabályai
• Utasítások, vezérlési szerkezetek
• Alaptípusok ábrázolása
• Összetett típusok
• Programszerkezet, hatókör, láthatóság
• Változók ábrázolása a memóriában, élettartam
• Paraméterátadás
• Kivétele

Státusz: ✅ 10 - Programnyelvi alapok

11. Objektumelvű programozási nyelvek

OEP + Prognyelvek - Java

• Osztály és objektum
• Egységbe zárás, tagok, konstruktorok
• Információ elrejtése
• Túlterhelés
• Memóriakezelés, szemétgyűjtés
• Öröklődés, többszörös öröklődés
• Altípusosság
• Statikus és dinamikus típus, típusellenőrzés
• Felüldefiniálás, dinamikus kötés
• Generikusok
• Altípusos és parametrikus polimorfizmus
• Objektumok összehasonlítása és másolása

Státusz: ✅ 11 - Objektumelvű programozási nyelvek

12. Formális nyelvek és automaták

Fonya

• Generatív grammatikák és a Chomsky-féle hierarchia
• Grammatikák normálformái
• Reguláris kifejezések
• Véges automata. Veremautomata
• Nyelvosztályok zártsági tulajdonságai
• A reguláris és a környezetfüggetlen nyelvosztályok algoritmikus problémái

Státusz: ❌

13. Számításelmélet

Számelm (B)

A Turing gép és a Church-Turing tézis

Turing gépek variánsok:

• többszalagos
• nemdeterminisztikus
• számoló
• offline Rekurzív és rekurzívan felsorolható nyelvek

Eldönthetetlen problémák

Idő- és tárbonyolultsági osztályok:

• P
• NP
• PSPACE
• NP-teljes problémák

Státusz: ❌

14. Alapvető algoritmusok

Algo I.

• Függvények aszimptotikus viselkedése, algoritmusok hatékonysága.
• Összehasonlító rendezések (beszúró, összefésülő, gyors- és kupacrendezés), maximális műveletigény alsó korlátja.
• Rendezés lineáris időben (bucket, leszámláló és radix rendezés).
• Adattömörítés
  • n
  • Huffman
  • LZW
• Mintaillesztés
  • brute-force
  • quicksearch
  • KMP

Státusz: ❌

15. Adatszerkezetek és adattípusok

Algo I. + I

Tömb, verem, sor, láncolt listák; bináris fa, általános fa, bejárások, ábrázolások; bináris kupac, prioritásos sor; bináris kereső fa és műveletei, AVL fa, B+ fa; hasító táblák, hasító függvények, kulcsütközés és feloldásai: láncolással, nyílt címzéssel, próbasorozat; gráfok ábrázolásai.

Státusz: ❌

16. Haladó algoritmusok

Algo II.

Elemi gráf algoritmusok: szélességi, mélységi bejárás és alkalmazásai

Minimális feszítőfák, általános algoritmus, Kruskal és Prim algoritmusai

Legrövidebb utak egy forrásból, sor alapú Bellman-Ford, Dijkstra, DAG legrövidebb út

Legrövidebb utak minden csúcspárra: FloydWarshall algoritmus. Gráf tranzitív lezártja

Státusz: ✅ 16 - Haladó algoritmusok

17. Operációs rendszerek

Oprend

• Folyamatok megvalósítása, ütemező algoritmusaik.
• Párhuzamosság, kritikusDe szekciók, kölcsönös kizárás megvalósítása. Peterson algoritmus.
• Szemaforok, osztott memória, üzenetküldés.
• Be-és kimeneti eszközök ütemezési lehetőségei, holtpontok.
• Memóriakezelés, virtuális memóriakezelés fogalma.
• Lapozás és szegmentálás.
• Lapcserélési algoritmusok (pl: LRU).
• Háttértárak, redundancia, fájlrendszerek, alapvető típusaik és szolgáltatásaik, jellemzőik.

Státusz: ❌

18. Számítógépes hálózatok és Internet eszközök Rétegmodellek

Fizikai réteg:

• alapsáv, szélessáv,
• digitális kódolások, moduláció.

Adatkapcsolati réteg:

• keretezés
• hiba felügyelet (észlelés, javítás)
• CRC
• forgalomszabályozás
• dinamikus csatornakiosztás

Hálózati réteg:

• távolságvektor protokoll (distance vector)
• kapcsolatállapot protokoll (link-state)
• BGP
• útvonal-vektor protokoll
• IPv4 vs IPv6

Szállítói réteg:

• UDP
• TCP (kapcsolat kezelés, torlódás)

Alkalmazási réteg:

• DNS
• HTTP
• DHCP
• ARP

Státusz: ❌ (Parciálisan deriválva tart a kész állapotba)

19. Osztott rendszerek és konkurens programozás

Oszott rendszerek vagy Konkurens

A, C:

• Folyamat fogalma
• elosztott rendszerek tulajdonságai és felépítése
• elnevezési rendszerek
• kommunikáció
• szinkronizáció
• konzisztencia

---

B:

• Feladatok specifikációja biztonsági és haladási feltételekkel
• absztrakt párhuzamos program tulajdonságai
• megoldás fogalma
• nevezetes feladatok megoldása párhuzamos és elosztott programokkal

---

2018:

• Szálkezelés
• Ütemezés, kontextusváltás
• Race condition
• Szinkronizáció
• Blokkoló műveletek
• Memória (stack és heap) használata a szálakban
• A konkurens programozás nyelvi eszközei.
• Szinkronizációhoz és kommunikációhoz használható adatszerkezetek

Státusz: ❌

20. Adatbázisok tervezése és lekérdezése

DB I.

Relációs adatmodell, egyed-kapcsolat modell és átalakítása relációs adatmodellbe

Relációs algebra, SQL. Az SQL procedurális kiterjesztése (PL/SQL vagy PSM)

Relációs adatbázis-sémák tervezése, normálformák, dekompozíciók

✅ 20 - Adatbázisok

21. Adatbázisok optimalizálása és konkurencia kezelése (B, C, E)

DB II.

Az adatbáziskezelő rendszerek feladata, részei

Indexstruktúrák, lekérdezések végrehajtása, optimalizálási stratégiák

Tranzakciók feldolgozása, naplózás és helyreállítás, konkurenciakezelés

Státusz: ❌

22. Funkcionális programozás

FunkcProg

Funkcionális programozási nyelvek jellemzői:

• lusta és mohó kiértékelési stratégiák jellemzése és összehasonlítása
• hivatkozási helyfüggetlenség
• statikus típusozottság
• Curry-féle elv
• margó szabály
• alaptípusok, konverziók
• függvények definiálása és típusozása
• mintaillesztés
• őrfeltételek
• esetszétválasztás
• rekurzió
• lokális definíciók
• magasabbrendű függvények
• névtelen függvények
• függvénykompozíció
• halmazkifejezések
• típusosztályok
• parametrikus (paraméteres) és ad-hoc polimorfizmus
• típusszinonimák
• algebrai adattípusok definiálása

Státusz: ⌛ - Kotlin on it