A jegyzetről
A számításelmélet alapjai I.
Előadás
1. Alapfogalmak, nyelvek, grammatikák
2. Grammatikák csoportosítása
3. Lineáris grammatikák, 3-típusú grammatikák normálformája, reguláris kifelyezések
4. Véges automaták
5. Véges automata determinizálása, összefüggő automaták, algoritmikus eldöntési probléma
6. Maradéknyelv, myhill-nerode tétel, minimális-, redukált-, faktor automata,
7. Nyelvi egyenletrendszerek megoldása, általánosított automata
8. Környezetfüggetlen grammatikák, Chomsky normálforma, CYK algoritmus
9. Veremautomaták
10. Levezetési fa, Nagy Bar-Hillel lemma - nincs jegyzet
11. Környezetfüggő grammatikák
12. Előadás - nincs jegyzet
Gyakorlat
1. Nyelvek
2. Grammatikák I
3. Gyakorlat - elmaradt
4. Grammatikák II
5. Grammatikák III, reguláris kifejezések
6. Véges automaták
7. Zárthelyi
8. ZH megoldás, grammatikák visszamenőleg, általános automaták
9. Általános automaták, Chomsky normálforma, CYK algoritmus
10. Veremautomaták
11. Gyakorlat - nincs jegyzet
Adatbázisok I.
Előadás
1. Bevezetés és relációs adatmodell
2. Relációs algebra lekérdezések optimizációja és bevezetés az SQL-be
3. Bevezetés az SQL-be, haladó SQL
4. Megszorítások, tranzakciók, nézettáblák, indexek, jogosultságok
5. Adatbázis tervezés I
6. Adatbázis tervezés II
7. Többértékű függőségek, egyed kapcsolat modell
8. Egyed-kapcsolat modell befejezése, objektum-relációs adatbázisok elkezdése
9. Objektum-relációs adatbázisok
10. XML séma
11. XML lekérdezőnyelvek
12. Extra - Analitikus adatfeldolgozás
Gyakorlat
1. Gyakorlat
2. Gyakorlat
3. Gyakorlat
4. Gyakorlat
5. Gyakorlat
6. Gyakorlat
7. Gyakorlat
8. Gyakorlat - ZH
9. Gyakorlat
10. Gyakorlat
11. Gyakorlat - elmaradt
12. Gyakorlat
Analízis II.
Előadás
1. Differenciálszámítás I.
2. Differenciálszámítás II. és függvénytulajdonságok kapcsolata a deriválttal I.
3. Függvénytulajdonságok kapcsolata a deriválttal II.
4. Speciális függvények
5. Taylor polinomok és Taylor sorok
6. Integrálszámítás I
7. Integrálszámítás II
8. Többváltozós függvénytan I
9. Többváltozós függvények deriválása I
10. Többváltozós függvények deriválása II
11. Többváltozós függvények deriválása III
Gyakorlat
1. Gyakorlat
2. Gyakorlat
3. Gyakorlat
4. Gyakorlat
5. Gyakorlat
6. Gyakorlat
7. Gyakorlat - elmaradt, pótlás várható
8. Gyakorlat
9. Gyakorlat
10. Gyakorlat - elmaradt, pótlás várható
11. Gyakorlat
12. Gyakorlat - nincs jegyzet
Tételbizonyítások
1. A folytonosság és a deriválhatóság kapcsolata
2. A szorzatfüggvény deriválási szabálya
3. A hányadosfüggvény deriválási szabálya
4. Az inverz függvény deriválási szabálya
5. A lokális szélsőértékre vonatkozó elsőrendű szükséges feltétel
6. A Rolle-féle középértéktétel
7. A Cauchy-féle középértéktétel
8. A monotonitás és a derivált kapcsolata
9. A konvexitás és a kétszeres derivált kapcsolata
10. A L'Hospital-szabály a 0/0 esetben
11. A deriválhatóság ekvivalens átfogalmazása lineáris közelítéssel
12. A Taylor-formula a Lagrange-féle maradéktaggal
13. Elégséges feltétel függvények Taylor-sorral történő előállítására
14. A határozatlan integrál linearitása
15. A parciális integrálás szabálya
16. A második helyettesítési szabály
17. Az integrálfüggvény folytonossága
18. Az integrálfüggvény deriválhatósága
19. A Newton-Leibniz-formula
20. Egy vektorsorozat és koordinátasorozatai konvergenciájának kapcsolata
21. A deriváltmátrix egyértelműsége
22. A deriváltmátrix előállítása
23. A totális- és az iránymenti derivált kapcsolata
24. R^n → R típusú függvényekre vonatkozó elsőrendű szükséges feltétel a lokális szélsőértékre
25. R^n → R típusú függvényekre vonatkozó másodrensű elégséges feltétel a lokális szélsőértékre
26. R^n → R típusú függvényekre vonatkozó másodrendű szükséges feltétel a lokális szélsőértékre
Operációs rendszerek
Előadás
1. Előadás
2. Előadás
3. Előadás
4. Előadás
5. Előadás
6. Előadás
7. Előadás - elmaradt, pótlás várható
8. Előadás - elmaradt
9. Előadás
10. Előadás - elmaradt
11. Előadás - ZH
12. Előadás - ZH
Gyakorlat
1. C bevezető
2. Rendszerhívások, fájlkezelés
3. Processzkezelés
4. Signal
5. Pipe
6. Messages, shared memory, semafor
7. Beadandó bemutatás
8. Message queue
9. Feladatmegoldás
10. Feladatmegoldás
11. Feladatmegoldás
12. Beadandó bemutatás
Szoftver mély neuronhálók alkalmazásához
Előadás
1. Bevezetés a gépi tanulás feladataiba és fajtáiba
2. Regressziós technikák
3. Többváltozós regresszió, klasszifikáció, logisztikus regresszió
4. Python, numpy
5. Feladatmegoldások
6. Betanítási költség, túltanulás, alultanulás, neuron
7. Előadás - elmaradt
8. Előadás
9. Előadás
10. Előadás - elmaradt
11. Túltanulás elkerülése, konvolúciós hálózatok
12. Előadás - nincs jegyzet
Szoftvertechnológia
Előadás
1. Szoftverfejlesztési folyamat
2. Specifikáció és követelménymenedzsment
3. Objektumorientált tervezés
4. Objektumorientált tervezési szempontok és minták
5. Projekteszközök, verziókezelés
6. Build systems
7. Verifikáció és validáció
8. CI/CD - nincs jegyzet
9. Test Driven Development, Clean Code - nincs jegyzet
10. Szálak - nincs jegyzet
11. Tervminták - nincs jegyzet
12. Networking - nincs jegyzet
Gyakorlat
1. Gyakorlat
2. Gyakorlat
3. Gyakorlat
4. Gyakorlat
5. Gyakorlat
6. Gyakorlat
7. Gyakorlat - elmaradt
8. Gyakorlat
9. Gyakorlat
10. Gyakorlat - elmaradt
11. Gyakorlat - elmaradt
12. Gyakorlat
Számítógépes grafika
Előadás
1. Bevezetés a számítógépes grafikába
2. Koordináta-rendszerek, egyenesek és síkok
3. Transzformációk
4. Görbék, felületek és a fény útja
5. Raycasting
6. Fejlettebb raycasting
Gyakorlat
1. Gyakorlat
2. Gyakorlat
3. Gyakorlat
4. Gyakorlat
5. Gyakorlat
6. Gyakorlat
7. Gyakorlat - elmaradt
8. Gyakorlat
9. Gyakorlat
10. Gyakorlat - elmaradt
11. Gyakorlat
12. Gyakorlat
Light
Rust
Coal
Navy
Ayu
4. félévi jegyzetek
Grammatikák
Grammatikák megadása, generált nyelv meghatározása.
Források
Segédanyag - pdf
Felvétel
Órán készült rajzok