@@ -69,32 +69,26 @@ Fundamental programming skills in Python
**(!) Lernziele (DE)**
**Kenntnisse:** Nach erfolgreichem Abschluss des Moduls kennen Studierende
* Formale Definitionen, Darstellung und Aufbau von Computerprogrammen, traditionelle und moderne Dogmen sowie Methodiken der Programmsynthese.
* Formale Definitionen, Darstellung und Aufbau von Computerprogrammen, traditionelle und moderne Dogmen sowie Methodiken der Programmsynthese.
**Fähigkeiten:** Nach erfolgreichem Abschluss des Moduls können Studierende
* Implementierung und Anwendung grundlegender Programmsynthesemethoden
* Einsatz moderner Frameworks zur Programmiersynthese für die Anwendung ; von state-of-the-art Methoden
* Implementierung und Anwendung grundlegender Programmsynthesemethoden
* Einsatz moderner Frameworks zur Programmiersynthese für die Anwendung ; von state-of-the-art Methoden
**Kompetenzen:** Auf der Basis der im Modul erworbenen Kenntnisse und Fähigkeiten sind Studierende in der Lage,
* Programme für Zwecke in verschiedenen Problembereichen zu synthetisieren
* Programme für Zwecke in verschiedenen Problembereichen zu synthetisieren
**(!) Lernziele (EN)**
**Knowledge:** After successful completion of the module students know
* Formal definition and fundamental design as well as representations of computer programs, traditional and modern principles and techniques in program synthesis.
* Formal definition and fundamental design as well as representations of computer programs, traditional and modern principles and techniques in program synthesis.
**Skills:** After successful completion of the module, students will be able to
* Implement and use fundamental program synthesis methods
* Use modern programming synthesis frameworks to apply more sophisticated methods
* Implement and use fundamental program synthesis methods
* Use modern programming synthesis frameworks to apply more sophisticated methods
**Competencies:** Based on the knowledge and skills acquired in the module, students will be able to
* Synthesize programs for purposes in various problem domain
* Synthesize programs for purposes in various problem domain
