inf492 - Special Topics in Theoretical Computer Science I (Course overview)

inf492 - Special Topics in Theoretical Computer Science I (Course overview)

Department of Computing Science 6 KP
Semester courses Winter semester 2024/2025
Form of instruction: VA-Auswahl
  • No access 2.01.489 - Automated Program Verification Show lecturers
    • Prof. Dr. Christoph Matheja

    Tuesday: 10:00 - 12:00, weekly (from 15/10/24), Location: A01 0-008
    Thursday: 10:00 - 12:00, weekly (from 17/10/24), Location: A01 0-006
    Dates on Friday, 21.02.2025 15:00 - 16:30, Tuesday, 25.02.2025 09:00 - 12:00, Friday, 28.02.2025 09:00 - 15:00, Location: (A03 2-202-a)
Hinweise zum Modul
Prüfungszeiten

at the end of the lecture term

Module examination

Written exam or portfolio or presentation or oral examination

Skills to be acquired in this module

The module aims to integrate current developments in the specialization area "Modeling and Analysis of Complex Systems" I into the course of study in the appropriate course forms.

Professional competencies
The students

  • differentiate and contrast a subarea of computer science in which they have specialized in more detail or reflect on computer science in general
  • recognize and evaluate the techniques and methods to be applied in their special field and their limitations
  • identify, structure and solve problems also in new or emerging areas of their discipline
  • apply state-of-the-art and innovative methods in investigating and solving problems, drawing on other disciplines as appropriate
  • recognize the limits of current knowledge and technology and contribute to the further scientific and technological development of computer science
  • discuss current developments in computer science and assess their significance


Methodological competencies
The students

  • evaluate tools, technologies and methods and apply them in a differentiated manner
  • creatively develop new and original approaches and methods
  • reflect on problems also in new or emerging areas of their discipline and apply computer science methods for investigation and solution


Social Competencies
The students

  • integrate their skills into team processes


Self-competencies
The students

  • critically follow further developments in computer science in general and in their field of specialization
  • carry out innovative activities in their professional field successfully and independentl