diff --git a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md index c64eb22cfc30569a6d7e630859d7d6311b4f688b..b084ffa301f3a752d065e982f14b69c9d51e504f 100644 --- a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md +++ b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md @@ -69,25 +69,31 @@ 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. **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 **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 **(!) 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. **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 **Competencies:** Based on the knowledge and skills acquired in the module, students will be able to + * Synthesize programs for purposes in various problem domain **(!) Inhalt (DE)**