diff --git a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md index b084ffa301f3a752d065e982f14b69c9d51e504f..867b2a1a208ba601a696470857a09ff373e529de 100644 --- a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md +++ b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md @@ -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 **(!) Inhalt (DE)**