Stud.IP Uni Oldenburg
University of Oldenburg
16.08.2022 21:22:27
inf490 - Current Topics in 'Formal Methods' (Complete module description)
Inf490 - Current Topics in 'Formal Methods' (Complete module description)
Original version English Download as PDF
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
  • Master's Programme Computing Science (Master) > Theoretische Informatik
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:
  • define and contrast a computer science part, in which they are specialised, in detail or evaluate computer science in general
  • recognise and evaluate applied techniques and methods of their subject and are aware of their limits
  • identify, structure and solve problems/tasks, also in new or developing subject areas
  • apply state of the art and innovative methods to solve problems, if necessary from other disciplines
  • are aware of the current limits and contribute to the development of computer science research and technology
  • discuss and evaluate recent computer science developments


Methodological competences
The students:
  • examine tasks with technical and research literature, write an academic article and present their solutions academically
  • evaluate problems/tasks, including new or developing subject areas of their discipline and apply computer science methods for solutions and research
  • schedule time processes and resources


Social competences
The students:
  • communicate with users and experts convincingly


Self-competences
The students:
  • pursue the overall and special computer science development critically
  • develop and reflect self-developed hypotheses to theories independently
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