david nagy contact talks teaching preprints assignments podcast scholar github twitter
Dőlt betű: az előadáshoz szükségesnél jóval részletesebb anyag, érdeklődőknek. Ha valamilyen könyvet nem sikerül megszerezni, írjatok emailt és megpróbálok segíteni.
Formális rendszerek
Turing gép
Small universal turing machine at the Wolfram Demonstrations Project
Valószínűségszámítás mint logika kiterjesztése
Logika, lambda kalkulus, probabilisztikus programok
Valószínűségi kalkulus
Irányított grafikus modellek, függetlenség
Bayes-i inferencia