Formale Systeme— Wintersemester 2022/23
Prof. Dr. Bernhard Beckert
Dr. Mattias Ulbrich, Samuel Teuber
| Typ: | Vorlesung |
|---|---|
| Zielgruppe: | Bachelor Informatik, Master Informatik |
| Umfang: | 4 SWS / 6 Leistungspunkte |
| Ort: | Gaede-Horsaal |
| Zeit: | Donnerstag, 14:00 - 15:30 Uhr Freitag, 11:30 - 13:00 Uhr |
| Veranstaltungs-Nr.: | 24086 |
| ILIAS-Kurs: | Link |
Aktuelles
- 23.09.2022 Webseite angelegt. Beachten Sie: Diese Vorlesung wird voraussichtlich in Präsenz stattfinden.
Optionales vorlesungsbegleitendes Forschungspraktikum:
Für Masterstudierende (bzw. für Bachelorstudierende im Mastervorzug) besteht die Möglichkeit zum Erwerb zusätzlicher Leistungspunkte am vorlesungsbegleitenden Forschungspraktikum teilzunehmen. Das Forschungspraktikum hat einen Umfang von insgesamt 5 LP (davon 2 SQ). Es handelt sich um ein Projektpraktikum, in dem über das ganze Semester an einem Thema gearbeitet wird (und nicht an verschiedenen Aufgabenblättern). Die Teilnahme ist optional, also insbesondere nicht verpflichtend zur Teilnahme an der Vorlesung.
Die praktische Forschungsaktivität ist Teil einer (größeren) Forschungsaktivität des Lehrstuhls und trägt zu deren Erfolg bei.
Beispiele für solche Forschungsaktivitäten sind etwa die Entwicklung eines Prototypen oder die Durchführung einer Evaluation (u.ä.).
Am Ende des Semesters werden die Ergebnisse des Forschungspraktikums auf 3 bis 5 Seiten dokumentiert,
sowie im Rahmen eines Kolloquiums in etwa 15 Minuten präsentiert und in einer anschließenden Fragerunde diskutiert.
Zu Beginn der Vorlesung werden Themen vorgestellt, für die sich die Teilnehmer:innen bewerben können.
Weitere Informationen zum Forschungspraktikum ...
Altklausuren
Skriptum
Materialien
Alle Materialien sind im Ilias-Kurs verfügbar.
Link zur Webseite des vorigen Jahres