Ennek a tantárgynak az Agda 2 függő típusos funkcionális programozási nyelv és tételbizonyító rendszer alapjainak bemutatása a célja.

Órai jegyzet (2015/2016 tavasz)

A jegyzet teljes anyaga elérhető az oldal részeként.

Vissza az oktatói honlapra

Utolsó módosítás: 2017.02.08.