Arbeitsaufwand:
180 h
|
Nummer INFO-4465 |
Titel Lambda-Kalkül und kombinatorische Logik |
Lehrform(en) Vorlesung |
|---|---|---|
| ECTS | 6 | |
|
Arbeitsaufwand - Kontaktzeit - Selbststudium |
Arbeitsaufwand:
180 h Kontaktzeit:
60 h / 4 SWS Selbststudium:
120 h |
|
| Veranstaltungsdauer | 1 Semester | |
| Häufigkeit des Angebots | Unregelmäßig | |
| Unterrichtssprache | Englisch | |
| Prüfungsform | Klausur |
|
| Inhalt | inhalt 4465 |
|
| Qualifikationsziele | goals 4465 |
|
| Vergabe von Leistungspunkten/Benotung |
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%) |
|
| Teilnahmevoraussetzungen | Es gibt keine besonderen Voraussetzungen. | |
| Dozent/in | Piecha | |
| Literatur / Sonstiges | - |
|
| Zuletzt angeboten | nicht bekannt | |
| Geplant für | derzeit nicht geplant | |
| Zugeordnete Studienbereiche | INFO-INFO, INFO-THEO, MEDI-APPL, MEDI-INFO, ML-CS | |