Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Aktuelles

• Das Seminar ist beendet. Senden Sie mir Ihre Ausarbeitung bis 14.3.2025, 23:59 im PDF- Format per email (mit dem Kursnamen im Betreff). Nutzen Sie dafür gern die im Moodle-Kurs zur Verfügung gestellte Vorlage.

• Das erste Treffen findet am 30.Oktober 6. November 2024 um 13:30 Uhr im Johann von Neumann-Haus (RUD25) in Raum 3'408 statt.

Einführung

Dieses Seminar richtet sich an Studierende, die bereits das Modul "Automatentheorie" absolviert oder sich anderweitig vergleichbare Vorkenntnisse angeeignet haben. Ziel ist, im Rahmen des Seminars weitere Kapitel der Automatentheorie anhand von Lehrbüchern und ausgewählten Forschungsarbeiten zu behandeln.

Ort und Zeit

Das Seminar findet im Wesentlichen als Blockseminar statt. Zusätzlich sind zwei weitere Einführungstermine zu besuchen, deren Termine in Kürze hier und per Agnes-Rundemail bekannt gegeben werden.

Veranstalter

Dr. André Frochaux