Skip to content
Snippets Groups Projects
Commit 219625a5 authored by Svenja Noichl's avatar Svenja Noichl
Browse files

Update Introduction to Program Synthesis.md

parent 3debacfa
No related branches found
No related tags found
No related merge requests found
......@@ -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)**
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment