Nyelvek típusrendszere tantárgy, 2017. tavasz

Oktató: Kaposi Ambrus (akaposi@inf.elte.hu), segítő: Kovács András (puttamalac@gmail.com).

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

Ebben a félévben ez csak egy vizsgakurzus, tehát nincs előadás, csak konzultáció. Az őszi félévben lesz előadás is.

Vizsgaidőpontok meg vannak hirdetve a Neptunban.

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<

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