Dr. Waldmann - Lehre
allgemeine Hinweise zu : Distanz-Lehrveranstaltungen | Bewertung von
Seminarvorträgen | Online-Übungsaufgaben
| Rechnerpools
kommt: Sommersemester
2025
Wintersemester 2024
VL Formale Methoden und Werkzeuge
(Wahl Bachelor) Plan
Skript: HTML, PDF Folien einzeln,
PDF je 8
Folien, PDF
fortlaufend, Diskussionen,
Online-Aufgaben
VL Computermusik (Wahl Master)
Skript: HTML, PDF Folien einzeln,
PDF je 8 Folien,
PDF fortlaufend,
Diskussionen,
OS Mechanische Computer und Puzzles
(Master) Plan
Diskussionen,
VL Prinzipien von
Programmiersprachen, Pflichtfach Master
Informatik
Skript: HTML, PDF Folien einzeln,
PDF je 8
Folien, PDF
fortlaufend, Diskussionen,
Online-Aufgaben
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)