inf803 - Special Topics in Computer Science I (Course overview)
Department of Computing Science |
6 KP |
|
Semester courses Wintersemester 2022/2023 |
Form of instruction: VA-Auswahl
-
2.01.803-B - Praktikum Softwareverifikation
- Prof. Dr. Heike Wehrheim
- Jan Frederik Haltermann, M. Sc.
Tuesday: 16:15 - 17:45, weekly (from 18/10/22), Ü Wednesday: 10:15 - 11:45, weekly (from 19/10/22), V Thursday: 14:15 - 15:45, weekly (from 20/10/22)
-
2.01.805 - Introduction to IT-Security
- Prof. Dr. Andreas Peter
- Valentin Reyes Häusler
Monday: 16:15 - 17:45, weekly (from 17/10/22), Location: V04 0-033 Wednesday: 14:15 - 15:45, weekly (from 02/11/22), Location: A04 2-221 Thursday: 10:15 - 11:45, weekly (from 03/11/22), Location: A04 2-221 Dates on Tuesday, 14.02.2023 10:15 - 11:45, Tuesday, 14.02.2023 10:15 - 12:05, Tuesday, 04.04.2023 13:30 - 15:00, Location: A10 1-121a, A11 0-018, A11 1-101 (Hörsaal B)
|
Hinweise zum Modul |
Module examination |
Exercises or presentation or oral exam or written exam |
Skills to be acquired in this module |
This module integrates current computer science developments within appropriate study courses. Professional competenceThe 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 competenceThe 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 competenceThe students: Self-competenceThe students: - Plan their informatical actions independently
|
|