Theoretische Informatik - Prof. Dr. Carsten Damm
(SoSe 2024)
Inhaltsverzeichnis
Inhalt und Aufbau
DIese Veranstaltung implementiert Modul B.Inf.1201.Mp (siehe HISinOne). Sie vermittelt klassische Inhalte der theoretischen Informatik:
- formale Sprachen und Automatenmodelle,
- Berechenbarkeit und Komplexität.
Vorlesung (CDamm, Mo 14:15–15:45 in MN14, Beginn 8. April 2024)
Skript/Folien: werden über Stud.IP zur Verfügung gestellt, und zusätzlich Videos (im SoSe2020 offline produziert).
Wegen Feiertag keine Vorlesung am 20. Mai.
Übung (David Garthen und Tore Koß)
In der Vorlesungszeit wird jeweils am Wochenanfang ein neues Übungsblatt erscheinen mit i.d.R. vier Aufgaben:
- die meisten betreffen bereits behandelte Themen
- manche greifen absichtlich etwas vor, um die nächsten Themen vorzubereiten
Abgabe der Lösungen
Lösungen sind bis Anfang der Folgewoche im PDF-Format über den Vips-Modul von Stud.IP einzureichen.
Idealerweise erzeugen Sie Ihre Abgaben mit LaTeX, Markdown o.ä. Bei handschriftlichen Lösungen (am besten eingescannt) achten Sie bitte besonders auf Lesbarkeit und klare Strukturierung, Dateigrößen bitte kleiner als 6MB.
Die korrigierten Lösungen und erreichten Punkte werden über Vips erfasst.
Für die Übungsteilnahme müssen Sie sich bei Flexnow für B.Inf.1201.Ue anmelden (Anmeldefrist 2. Mai 2024).
Wöchentliche Tutorien (jeweils ca. 45min)
Termine werden noch festgelegt, Beginn in Vorlesungswoche 02 (also ab 15. April).
Freie Terminwahl, Übungsgruppeneinteilung nicht erforderlich.
In den Tutorien präsentieren Teilnehmer unter Anleitung erfahrener Studierender eigene Lösungen. Einmal Vorrechnen ist Pflicht, aber es ist sinnvoll, das mehrmals zu tun.
Prüfung und Termine
Prüfungsvorleistung ("Zulassung")
- Flexnow-Anmeldung zu B.Inf.1201.Ue, Anmeldefrist 2. Mai 2024,
- mindestens 50% der erreichbaren Punkte aus Übungsaufgaben,
- mindestens einmaliges Vorrechnen in Übungen.
Die Vorleistung wird rechtzeitig vor der Prüfung in Flexnow erfasst und bleibt für künftige Semester erhalten.
Die Prüfung
findet als Klausur statt (90min). Sie erfordert neben der Zulassung die verbindliche Flexnow-Anmeldung zu B.Inf.1201.Mp.
Klausurtermine: 22. Juli 2024, 14-16 Uhr bzw. 8. Oktober 2024, 10-12 Uhr
Eine Probeklausur wird voraussichtlich in Vorlesungswoche 12 bereit gestellt, und im letzten Tutorium besprochen.
Noch Fragen?
Persönlich klären ..
- in oder nach Vorlesung bzw. Tutorium
.. oder im Chat
- der RocketChat-Kanal #ti24 ist dafür geöffnet.