AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Automatentheorie - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 3313022
Semester SoSe 2024 SWS 4
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Di. 15:00 bis 17:00 wöch 1305 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin Schrödinger-Zentrum /Modul 1 - Rudower Chaussee 26 (RUD26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Frochaux findet statt     1000
Fr. 11:00 bis 13:00 wöch 1305 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin Schrödinger-Zentrum /Modul 1 - Rudower Chaussee 26 (RUD26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Frochaux findet statt     1000
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Frochaux, Andre , Dr.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   8  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   8  -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   8  -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )   8  -  
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )   8  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   8  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )   8  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   8  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   8  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   8  -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   8  -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2022 )   8  -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )   8  -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Wir befassen uns in der Vorlesung mit der Theorie endlicher Automaten auf endlichen und unendlichen Wörtern, sowie auf Bäumen. Hierbei untersuchen wir verschiedene Typen von Automaten, deren Abschlusseigenschaften und Umwandlungsmöglichkeiten zwischen verschiedenen Modellen, verschiedene Entscheidungsprobleme (bspw. Leerheits- oder das Äquivalenzproblem) und deren Beziehungen zu verschiedenen Logiken wie LTL, CTL und MSO.

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2024 gefunden:

Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin