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