inf490 - Current Topics in 'Formal Methods' (Course overview)
| Department of Computing Science |
3 KP |
|
| Semester courses Sommersemester 2023 |
|
Form of instruction: Course or seminar
|
|
Hinweise zum Modul |
| Prüfungszeiten |
At the end of the lecture period |
| Module examination |
Presentation or oral exam |
| Skills to be acquired in this module |
This module integrates current developments in the field in adequate study courses. Professional competencesThe 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 competencesThe 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 competencesThe students: - communicate with users and experts convincingly
Self-competencesThe students: - pursue the overall and special computer science development critically
- develop and reflect self-developed hypotheses to theories independently
|
|
