I020 Lambda-kalkul I

Faculty of Informatics
Autumn 1996
Extent and Intensity
2/0. 2 credit(s). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).
Teacher(s)
prof. RNDr. Jiří Zlatuška, CSc. (lecturer)
Guaranteed by
Contact Person: prof. RNDr. Jiří Zlatuška, CSc.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Syllabus
  • Pure lambda-calculus: lambda-terms, structure of terms, equational theories.
  • Reductions: one-way transformations, general reductions, beta-reduction.
  • Lambda-calculus and computations: coding, recursive definitions, lambda-computability, fixed-point combinators, undecidable properties.
Language of instruction
Czech

  • Enrolment Statistics (recent)
  • Permalink: https://is.muni.cz/course/fi/autumn1996/I020