inf489 - Special Topics in 'Formal Methods' (Complete module description)

inf489 - Special Topics in 'Formal Methods' (Complete module description)

Original version English PDF download
Module label Special Topics in 'Formal Methods'
Module code inf489
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Applicability of the module
  • Master's Programme Computing Science (Master) > Theoretische Informatik
Responsible persons
  • Wehrheim, Heike (module responsibility)
  • Lehrenden, Die im Modul (Module counselling)
Prerequisites
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 competences
The students:

  • know recent technological or scientific computer science developments
  • transfer computer science methods and development models to IT application area requirements
  • evaluate the possibilities and limitations of computer science methods and tools and
  • apply them appropriately

Methodological competences
The students:

  • review problems, formulate them with formal models and explore them appropriately
  • identify and present (one or more) computer science problem solutions
  • select and evaluate appropriate tools and methods
  • examine problems with technical and scientific literature

Social competences
The students:

  • cooperate in a team


Self-competences
The students:

  • plan their informatical actions independently
Module contents

According to the assigned task
Recommended reading

will be announced in the course
Links
Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency irregular
Module capacity unlimited
Teaching/Learning method 2 VA aus V, Ü, S, P
Previous knowledge Hilfreiche Vorkenntnisse:

Funktionen, Relationen, etc., Logik, Automatentheorie
Examination Prüfungszeiten Type of examination
Final exam of module

At the end of the lecture period in consultation with the lecturer

Portfolio or presentation or oral exam or written exam
Type of course Course selection
SWS 4
Frequency see frequency of module offering
Workload attendance time 56 h