david nagy         contact         talks         teaching         preprints         assignments         podcast         bitbucket         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.

Tudásreprezentáció

Formális rendszerek

Turing gép

Valószínűségszámítás mint logika kiterjesztése

Logika, lambda kalkulus, probabilisztikus programok

Probabilisztikus modellek

Valószínűségi kalkulus

Irányított grafikus modellek, függetlenség

Bayes-i inferencia