Module label | Current Topics in 'Formal Methods' |
Module code | inf490 |
Credit points | 3.0 KP |
Workload | 90 h |
Institute directory | Department of Computing Science |
Applicability of the module |
|
Responsible persons |
Lehrenden, Die im Modul (Module responsibility)
Lehrenden, Die im Modul (Authorized examiners)
|
Prerequisites | |
Skills to be acquired in this module | This module integrates current developments in the field in adequate study courses. Professional competences The students:
Methodological competences The students:
Social competences The students:
Self-competences The students:
|
Module contents | See assigned course description |
Reader's advisory | As announced in course |
Links | |
Language of instruction | German |
Duration (semesters) | 1 Semester |
Module frequency | halbjährlich |
Module capacity | unlimited |
Modullevel / module level | AS (Akzentsetzung / Accentuation) |
Modulart / typ of module | je nach Studiengang Pflicht oder Wahlpflicht |
Lehr-/Lernform / Teaching/Learning method | S oder V (2 SWS) |
Vorkenntnisse / Previous knowledge |
Examination | Time of examination | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
Presentation or oral exam |
Course type | Course or seminar |
SWS | 2 |
Frequency | SuSe or WiSe |
Workload attendance | 28 h |