diff --git a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md index 4de938d5d015d1eeaefb597d4ec6efecd892d743..c64eb22cfc30569a6d7e630859d7d6311b4f688b 100644 --- a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md +++ b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md @@ -81,14 +81,14 @@ Fundamental programming skills in Python **(!) 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)**