Nyelvek típusrendszere tantárgy, 2017. ősz

Oktató: Kaposi Ambrus (akaposi@inf.elte.hu)

Folyamatosan frissített jegyzet (jegyzet forrása, pull requesteknek örülök).

Minden információ megtalálható (lesz) a Canvas rendszerben.

Záróvizsga tematika

Az MSc-s záróvizsga tételsorának S0/4 tétele szól erről a tantárgyról. Korábban ezt a tárgyat Csörnyei Zoltán, Diviánszky Péter és Páli Gábor oktatta, kicsit más tematikával. Az S0/4 tétel jelenleg az új és a régi tananyag metszetét tartalmazza.

Akik a tantárgyat nem nálam végezték, azoknak ideírom, hogy Csörnyei Zoltán könyvében (Bevezetés a típusrendszerek elméletébe, ELTE Eötvös Kiadó, 2012) és Páli Gábor diáin a tételsor anyaga az alábbi módon található meg.

Akik a tárgyat nálam végezték, azoknak a fenti források helyett a jegyzetet ajánlom.

Páli Gábor diái és egy általam tartott gyorstalpaló kurzus táblaképei itt is elérhetők.