Update Introduction to Program Synthesis.md

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)**