Předmět Lambda kalkul a funkcionál. programování (KMI / LKFP)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMI / LKFP - Lambda kalkul a funkcionál. programování, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Čistý lambda-kalkul: lambda-termy, struktura termů, rovnostní teorie. Redukce: jednosměrné transformace, obecné redukce, beta-redukce.Funkcionální programování a programovací jazyky Common LISP, Haskell a ML.Čistý lambda kalkul, lambda-vyčíslitelnost, nerozhodnutelné vlastnosti lambda kalkulu.Čistý lambda-kalkul ve funkcionálním programování: aritmetika, logika, rekurzívní definice, kombinátory pevného bodu.Modifikace teorie: kombinatorická logika, extenzionalita, éta-redukce.Typovaný lambda-kalkul: typy a termy, normální formy, množinové modely, silná normalizovatelnost, typy jako formule.Implementace typovaného lambda kalkulu.
Získané způsobilosti
1. ZnalostPopsat a pochopit principy lambda kalkulu a funkcionálního programování.
Literatura
Graham, P. ANSI Common LISP. Prentice Hall, 1995. ISBN 0133708756.Leeuwen, J. van (ed.). Handbook Of Theoretical Computer Science: Formal Models and Semantics. Volume B, Elsevier, 1994. ISBN 0262720159.Hansen, M. R, Rischel, H. Introduction to Programming using SML. Addison-Wesley, 1999. ISBN 0201398206.Zlatuška J. Lambda-kalkul. Vydavatelství MU, Brno, 1993. ISBN 8021008261.Hutton, G. Programming in Haskell. Cambridge University Press, 2007. ISBN 0521692695.Barendregt H. P. The Lambda Calculus: its Syntax and Semantics. 2nd reprint. Elsevier, Amsterdam, 1997. ISBN 0-444-87508-5.
Požadavky
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
Garant
RNDr. Eduard Bartl, Ph.D.