Workload:
180 h
Module Number INFO-4465 |
Module Title Lambda Calculus and Combinatorial Logic |
Lecture Type(s) Lecture |
---|---|---|
ECTS | 6 | |
Work load - Contact time - Self study |
Workload:
180 h Class time:
60 h / 4 SWS Self study:
120 h |
|
Duration | 1 Semester | |
Frequency | Irregular | |
Language of instruction | English | |
Type of Exam | Written Test |
|
Content | inhalt 4465 |
|
Objectives | goals 4465 |
|
Allocation of credits / grading |
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%) |
|
Prerequisite for participation | There are no specific prerequisites. | |
Lecturer / Other | Piecha | |
Literature | - |
|
Last offered | unknown | |
Planned for | currently not planned | |
Assigned Study Areas | INFO-INFO, INFO-THEO, MEDI-APPL, MEDI-INFO, ML-CS |