Elméleti számítástudomány, 1. rész

2020 tavasz



Órai feladatsorok:

1. óra (február 10.) Turing gép konstrukciók
2. óra: nem volt új feladatsor
3. óra (február 17.) Turing-gépek kódolása, diagonális nyelv
4. óra (február 19.) R és RE zártságai, coRE
5. óra (február 24.) (diagonális eljárás)
6. óra (február 26.) (Rice-tétel)
7. óra (március 2.) (Kiszámolós TG)
8. óra (március 4.) (PCP, Dominó)
Extra feladatsor (március 4.)
9. órán nem volt új feladatsor
10. óra (március 11.)
11. óra (március 23)
12. óra (március 25.)
 



Az elhangzott előadások fontosabb témakörei: címszavakban

Jegyzet  az előadáshoz (9., 10. és 11. fejezet).  Megtalált hibák eddig. Aki talál még benne hibát, kérem jelezze!

Nem biztos, hogy mindig pontosan ezen jegyzet  alapján fogunk haladni, de nagy eltérések nem várhatóak. A számonkérések anyaga az, ami az órán elhangzik.


Csima Judit, BME   VIK   SZIT