Module label | Current Topics in 'Formal Methods' I |
Modulkürzel | inf490 |
Credit points | 3.0 KP |
Workload | 90 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Prerequisites | No participant requirements |
Skills to be acquired in this module | This module integrates current computer science developments into the informatics program, especially considering the selected focus area, by appropriate study courses Professional competence The students:
Methological competence The students:
Social competence The students:
Self competence The students:
|
Module contents | According to the assigned task |
Literaturempfehlungen | According to the asigned task |
Links | |
Language of instruction | English |
Duration (semesters) | 1 Semester |
Module frequency | semi-annual |
Module capacity | unlimited |
Modullevel / module level | |
Modulart / typ of module | |
Lehr-/Lernform / Teaching/Learning method | 1S oder 1VL |
Vorkenntnisse / Previous knowledge | keine |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
Portfolio or Presentation or oral exam or written exam |
Form of instruction | Course or seminar |
SWS | 2 |
Frequency | SoSe oder WiSe |
Workload Präsenzzeit | 28 h |