FI:I021 Lambda-kalkul II - Course Information
I021 Lambda-kalkul II
Faculty of InformaticsSpring 1997
- Extent and Intensity
- 2/0. 2 credit(s). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), 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
- Modification of the theory: combinatory logic, extensionality, eta-reduction.
- Typed lambda-calculus: types and terms, normal forms, set models, strong normalization, types as formulae.
- Domain models: complete partial orders, domains, least fixed points, partiality.
- Domain construction: compound domains, recursive domain construction, limit domains.
- Language of instruction
- Czech
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/spring1997/I021