From 6b410737242cd9662f242fae0efefd485f33c68b Mon Sep 17 00:00:00 2001 From: Svenja Noichl <noichl@informatik.rwth-aachen.de> Date: Fri, 11 Oct 2024 17:01:21 +0200 Subject: [PATCH] Update Introduction to Program Synthesis.md --- .../Introduction to Program Synthesis.md | 22 +++++++------------ 1 file changed, 8 insertions(+), 14 deletions(-) diff --git a/Module_Modulangebot_FGI/Introduction to Program Synthesis.md b/Module_Modulangebot_FGI/Introduction to Program Synthesis.md index b084ffa3..867b2a1a 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)** -- GitLab