szabivan-pic

For archival purposes. Won't be updated and probably will be erased at some point in the future.

Online alg

Bonyolultságelmélet

2022-es előadás vetített (2022.09.05. 17:47) WIP
2021-es előadás vetített (2021.10.11. 21:52)
2020-as előadás vetített (2021.05.14. 13:56)
2019-es előadás vetített (2019.09.16. 17:48), nyomtatható (helyenként szétcsúszik) (2019.09.16. 18:00)
Előadás jegyzet (2020) (2020.12.19. 11:53)
Gyakanyag pdfek:
- 01 - Időigény (2023.09.01. 10:05)
- 02 - Tárigény (2023.09.01. 10:07)
- 03 - Visszavezetések (2023.09.01. 10:07)
- 04 - Eldönthetetlenség (2023.09.01. 10:08)
- 05 - Nemdeterminizmus, NP-teljesség (2023.09.01. 10:08)
- 06 - Gráfos visszavezetések I. (2023.09.01. 10:08)
- 07 - Gráfos visszavezetések II. (2023.09.01. 10:09)
- 08 - Formulás visszavezetések I. (2023.09.01. 10:09)
- 09 - Formulás visszavezetések II. (2023.09.01. 10:09)
- 10 - Approximálás I. (2023.09.01. 10:09)
- 11 - Approximálás II. (2023.09.01. 10:10)

Logika és informatikai alkalmazásai

YouTube playlist 2020
az anyag egy kis része kommentelhető blogpostok formájában
Fóliák 2023 (WIP) (2023.04.24. 15:47)
Fóliák 2022 (2022.04.25. 16:36)
Fóliák 2020 (2020.03.17. 16:44)
Fóliák 2019 (2019.02.04. 15:37)
Gyakanyag pdfek:
- 01 - Logikai műveletek, formalizálás (2023.02.04. 22:34)
- 02 - Következtetés, CNF (2023.02.12. 23:21)
- 03 - Rezolúció (2023.02.20. 16:02)
- 04 - Teljes rendszerek (2023.02.27. 22:04)
- 05 - Hilbert rendszere (2023.03.07. 19:11)
- 06 - Az elsőrendű logika szintaxisa (2023.03.13. 15:37)
- 07 - Az elsőrendű logika szemantikája és CNF (2023.03.21. 01:56)
- 08 - Normálformák elsőrendű logikában (2023.03.28. 01:40)
- 09 - Alap rezolúció (ARCHIVE) (2023.04.03. 22:45)
- 10 - Helyettesítés, egyesítés (ARCHIVE) (2022.02.06. 11:51)
- 11 - Elsőrendű rezolúció (ARCHIVE) (2022.02.06. 11:52)
Gyak generátorok:
- CNF és Rezolválós Generátor (2017.02.25. 14:54)
- Hilbert Generátor (2020.04.06. 17:10)
- Skolem Generátor (2020.04.27. 19:43)
- Alapterm Ellenőrző Generátor (2022.04.22. 14:49) (készítette Balla Tamás, felhasználva, kiegészítve és javasriptre portolva Dusnoki Attila és Gelle Kitti python generátorát)
- Elsőrendű és Alap Rezolúciós Generátor (2022.04.20. 19:49)

Scala

Anyag oktseden
Fóliák 2023 (WIP) (2023.04.27. 13:12)

A logikai és funkcionális programozás matematikai alapjai

note: ez a kurzus soha többé nem lesz megtartva, megszűnt, over, done
Előadás jegyzet (NEM TELJES, nem is lesz az) (2016.09.05. 08:03)
Lecture notes (2016.11.26. 20:04)
Fóliák (2016.12.02. 22:01)

Formális nyelvek

ZH recap 2015 (2017.04.11. 12:36)

Köszi

Gelle Kittivel közösen készített gyakanyag

Misc