FPF:UINA520 Functional Programming - Informace o předmětu
UINA520 Functional Programming
Filozoficko-přírodovědecká fakulta v Opavěléto 2026
- Rozsah
- 0/2/0. 4 kr. Ukončení: z.
- Vyučující
- Ing. Jiří Blahuta, Ph.D. (cvičící)
RNDr. Jiří Martinů, Ph.D. (cvičící) - Garance
- Ing. Jiří Blahuta, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě - Předpoklady
- Basic programming skills.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Computer Science (program FPF, CompSci-np)
- Cíle předmětu
- History of Lisp and its perspective. Dialects of Lisp, Common Lisp. Basic data types, atoms, lists and their processing. Symbols and functions, principles of functional programming. Using recursion and iteration. Lambda calculus, anonymous functions, higher order functions. Lisp and artificial intelligencet. Macros. Structures and object oriented programming in Lisp.
- Výstupy z učení
- Programming skills in functional language.
- Osnova
- 1. Lisp and its development, present and perspective. Dialects, relatives and descendants of Lisp. Common Lisp as standard, compared with other languages. Prescriptive, procedural, object-oriented , modular, logic and functional programming and support for Lisp. 2. First look at Lisp. Basic data types. Atoms and lists their evaluation. Symbols and links; functions; the principles of functional programming. 3. Macintosh Common Lisp. Editor, the listener, the inspector and debugger. IDE integration and Lisp. Lisp as a dynamic language. 4. The second view of Lisp. Lambda calculus in Lisp, anonymous functions, higher order functions, lexical environment. Lisp and artificial intelligence. 5. A third view of Lisp. Cycle Read-eval-print. Basic data types for the second time. Macros. Optimization program. 6. Object-oriented programming in Lisp. Classes and instances, multiple inheritance. Generic functions, methods and multimethods. A combination of methods. Metaobject protocol.
- Literatura
- TOURETZKY, David S. Common LISP: A Gentle Introduction to Symbolic Computation. Mineola, NY: Dover Publications, 2013. ISBN 978-0-486-49820-1. Most pages available at books.google.com. Recommended sources: MUELLER, John. Functional programming for du
- Výukové metody
- Projects and exercises.
- Metody hodnocení
- 75% attendance in exercises, active participation. More thant 50% success rate in submitted tasks.
- Vyučovací jazyk
- Angličtina
- Informace učitele
- is.slu.cz
- Statistika zápisu (nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2026/UINA520