FI:I020 Lambda-kalkul I - Course Information
I020 Lambda-kalkul I
Faculty of InformaticsAutumn 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
- Informatics (programme FI, B-IN)
- Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
- Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
- Information Technology (programme FI, B-IN)
- 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