Palacký University Olomouc
Study programmes & Course catalogue
for academic year 2024/2025
Palacký University Olomouc
Česky
Search

Course: Lambda calculus and functional programming

« Back
Course title Lambda calculus and functional programming
Course code KMI/LKFP
Organizational form of instruction Lecture + Lesson
Level of course Master
Year of study 1
Semester Winter and summer
Number of ECTS credits 5
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
Lecturer(s)
  • Kočíř David, Mgr.
  • Krupka Michal, doc. RNDr. Ph.D.
  • Laštovička Jan, Mgr. Ph.D.
Course content
unspecified

Learning activities and teaching methods
Lecture, Demonstration
Learning outcomes
The students become familiar with basic concepts of lambda calculus and functional programming.
1. Knowledge Describe and understand principles of lambda calculus and functional programming.
Prerequisites
unspecified

Assessment methods and criteria
Oral exam, Written exam

Active participation in class. Completion of assigned homeworks. Passing the oral (or written) exam.
Recommended literature
  • Alexander, A. (2017). Functional Programming, Simplified (Scala Edition). CreateSpace Independent Publishing Platform.
  • Barendregt H. P. (1997). The Lambda Calculus: its Syntax and Semantics. 2nd reprint. Elsevier, Amsterdam.
  • Graham, P. (1995). ANSI Common LISP. Prentice Hall.
  • Hutton, G. (2007). Programming in Haskell. Cambridge University Press.
  • Leeuwen, J. van (ed.). (1994). Handbook Of Theoretical Computer Science: Formal Models and Semantics. Volume B, Elsevier.
  • Michaelson, G. (2011). An Introduction to Functional Programming Through Lambda Calculus. Dover Publications.
  • Zlatuška J. (1993). Lambda-kalkul. Vydavatelství MU, Brno.


Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester
Faculty: Faculty of Science Study plan (Version): Computer Science - Specialization in Artificial Intelligence (2020) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Summer
Faculty: Faculty of Science Study plan (Version): Applied Computer Science - Specialization in Software Development (2024) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Summer
Faculty: Faculty of Science Study plan (Version): Computer Science - Specialization in General Computer Science (2020) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Summer
Faculty: Faculty of Science Study plan (Version): Applied Computer Science - Specialization in Computer Systems and Technologies (2024) Category: Informatics courses 1 Recommended year of study:1, Recommended semester: Summer
Palacký University Olomouc, date of update: 30.04.2025 23:58. Data created for academic year 2024/2025