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 | |