Dr. Waldmann - Lehre
allgemeine Hinweise zu : Distanz-Lehrveranstaltungen | Bewertung von
Seminarvorträgen | Online-Übungsaufgaben
| Rechnerpools
kommt: Wintersemester
2025
- Vorlesung Compilerbau (Wahl Master) (Plan)
- Oberseminar Computational Social Choice
(Master) (Plan)
- Vorlesung Formale Methoden und
Werkzeuge (Wahl Bachelor) (Plan)
- Vorlesung Prinzipien von
Programmiersprachen (Pflicht Master)
Sommersemester 2025
Vorlesung Symbolisches Rechnen (Wahl
Master) (Modulbeschreibung)
Skript: HTML, PDF Folien einzeln,
PDF je 8 Folien,
PDF fortlaufend,
Online-Aufgaben
Projekt
für Wiki,Issues,Quelltexte,
VL Fortgeschrittene Programmierung
(Pflicht Bachelor 4. Sem)
Skript: HTML, PDF Folien einzeln,
PDF je 8
Folien, PDF
fortlaufend, Online-Aufgaben,
Projekt
für Wiki,Issues,Quelltexte,
Allgemeines
Informations- und Kommunikationswege:
- Ich veröffentliche Skripte, Hausaufgaben hier
(ohne Zugriffsbeschränkungen).
- Ich gebe aktuelle organisatorische Details im Wiki des
Gitlab.Dit-Projektes zur jeweiligen Vorlesung bekannt.
- Sie diskutieren im Issue-Tracker des
Gitlab.Dit-Projektes zur jeweiligen Vorlesung. Ich verfolge
das auch und beantworte/kommentiere, falls nötig, aber mit
gewisser Verzögerung (rechnen Sie mit einem
Arbeitstag).
- Sie erreichen mich direkt per Mail. Verwenden Sie dazu
ausschließlich Ihre Hochschul-Mailadresse.
Hausaufgaben:
- Gruppen-Arbeit für Aufgaben, deren Lösungen schließlich
live präsentiert werden (Bewertung durch mich)
- individuelle Aufgaben (maschinelle Bewertung durch
autotool)