diff --git a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md index c64eb22cfc30569a6d7e630859d7d6311b4f688b..4de938d5d015d1eeaefb597d4ec6efecd892d743 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)**