hu hu hu hu vi en hu hu hu hu hu hu hu hu hu hu hu hu fi hu hu hu hu hu hu hu fr hu de de hu hu de hu hu hu hu en hu en hu hu hu hu en hu hu hu hu hu hu hu hu nb hu hu id en en hu hu hu hu hu als es hu hu es en hu hu hu
© 2022 immanuel60.hu Minden jog fenntartva
Az ELTE IK Programtervező Informatikus MSc képzésén található Nyelvek Típusrendszere (Lambda Kalkulus) nevű tantárgy jegyzetei.
Az első Nyelvek Típusrendszere vizsgaalkalmon a következők voltak a kérdések:
Mi a közös tulajdonság a különböző típusrendszerekben az absztrakciók típusát megadó típusszabályokban? 1 pont
Milyen hasznos állítást mondanak ki a különböző típusrendszerek tárgyredukció tételei? 1p
A Curry típusrendszerben a
(lambda y.(let f = y in pair(f 0) (f true)))
kifejezés nem típusozható. Miért? 1p
Miért nevezik a lambda P típusrendszertt függő típusrendszernek? 1p
Az F2 típusrendszerhez viszonyítva milyen új fogalom jelenik meg az F3 típusrendszerben? 1p
Határozza meg a megadott típuskikövetkeztető módszerrel a lambda y.yxx kifejezés principális típusát, ha L (fejre fordítva a görög betű:D) = { x: béta}. 3p
(ki volt osztva a feladatlap mellé 1 oldalon egy random algoritmusdefiníció másolata a könyvből a 3 közül: W, I, M)
Töltse ki a lambda xy.y kifejezésre az alábbi táblázatot. 2p
Oszlopfejlécek: kifejezés, típusa, típus-konstruktora, típuskonstruktor típusa
Sorfejlécek: F1, Curry, F2, F3
20130109lambda_vizsga2.jpg (81 KB) (1008)
20130116lambda_vizsga3.jpg (75 KB) (838)
Az előző éves Nyelvek Típusrendszere minta vizsga.
20130107lamda_mintavizsga_20111201.pdf (27 KB) (971)
Alapvető fontosságú a könyvet megvenni, az órán is az van kivetítve, így részemről külön jegyzet nem készült.
Szerintem alapozáshoz a legjobban a magyar wikipédia leírás használható, ha egyáltalán azt sem tudod mik azok a lambda kifejezések, akkor ezt figyelmesen olvasd végig, értelmezd, ez mindennek az alapja, és nagyon jól meg lehet belőle érteni.
2013. jan. 09, 12:24
Köszi ezt és mindent ami az oldalon van. 🙂
2013. jan. 11, 14:11
Szólj hozzá Kilépés a válaszból
Kérjük, adja meg a választ számjegyekkel:
16 + 18 =
Imre Péter - Cd filc
Immánuel! - 2x180W hangfal minőségi zenehallgatásra
Ádám - 2x180W hangfal minőségi zenehallgatásra
Immánuel! - Fiat Punto
© 2022 immanuel60.hu Minden jog fenntartva