Petr Pudlák http://petr.pudlak.name/dw/ 2012-05-20T21:02:38+02:00 Petr Pudlák http://petr.pudlak.name/dw/ http://petr.pudlak.name/dw/lib/tpl/dokucms/images/favicon.ico text/html 2012-05-09T08:50:19+02:00 petr Živá strava - vytvořeno http://petr.pudlak.name/dw/zs:start?rev=1336546219&do=diff Připravuje se. text/html 2012-02-12T14:17:49+02:00 petr Zkouška 2011/2012 - [Zkouška 2011/2012] http://petr.pudlak.name/dw/fp:hodnoceni?rev=1329052669&do=diff Zkouška je domluvena na konec zkouškového a vypsána v SISu. Zkouška bude ústní písemná, bude obsahovat několik příkladů z teorie. Probraná látka: * netypovaný λ-kalkulus, normální formy (NF, HNF, WHNF), β a η redukce/expanze, * systém přirozená dedukce pro intuicionistickou logiku, * typované λ-kalkuly, systém F, * Hindley-Milnerův typový systém a algoritmus pro odvození nejobecnějšího typu, * ad-hoc polyporfismus (typové třídy), * algebraické datové typy, * rekurzivní datové typ… text/html 2012-02-06T20:28:00+02:00 petr Výsledky domácích úloh http://petr.pudlak.name/dw/fp:ulohy?rev=1328556480&do=diff Tomáš Křen Martin Jiřička David Nohejl Klára Pešková poměrná obtížnost normalizovaná poměrná obtížnost celkem: 83,49 37,83 9,68 1,87 63,72 50,00 Normální formy termu a podtermů 2 1 1 2,38 1,87 Implementace lambda kalkulu 2 1,5 1 2,38 1,87 Normalizující strategie 2 2 2,83 2,22 Aplikativní strategie 2 2 2,83 2,22 Call-by-need strategie 2 1 2,83 2,22 Rekurze 2 1 1 2,38 1,87 Překladač z lambda kalkulu 2 1,5 2,83 2,22 Delta-redu… text/html 2012-01-20T11:57:20+02:00 petr Poznámky k přednášce a literatura http://petr.pudlak.name/dw/fp:poznamky?rev=1327057040&do=diff Poznámky Delta redukce Churchova rovnost Church definoval δ-redukci následovně: Term je v δ-normální formě, pokud: * neobsahuje žádný podterm tvaru (λx.M)N * neobsahuje žádný podterm tvaru δMN, kde M a N neobsahují volné proměnné (jsou kombinátory). text/html 2011-12-07T18:24:12+02:00 petr Funkcionální programování - [Funkcionální programování] http://petr.pudlak.name/dw/fp:start?rev=1323278652&do=diff NAIL097, Petr Pudlák, KTIML. Vyučováno v zimním semestru Zk 2/0. Kontakt na mě: kontaktní formulář Umluveno na Čtvrtek 9:00, S301 (chodba KTIML v 3. patře), začínáme ve čtvrtek 6. října 2011. * Hodnocení a výpočet známky. * Domácí úlohy - nové úlohy jsou na fóru! * .