Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden    Semester: WiSe 2021/22      Switch to english language    Hilfe    Sitemap
Logout in [min] [minutetext]

Seminar Theoretische Informatik (Bachelor) - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Online-Seminar Langtext
Veranstaltungsnummer 4212052 Kurztext
Semester SoSe 2021 SWS 3.0
Erwartete Teilnehmer/-innen 12 Max. Teilnehmer/-innen 12
Rhythmus keine Übernahme Studienjahr
Credits Belegung Keine Belegpflicht
Hyperlink  
Sprache deutsch
Termine iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 15:00 bis 18:15 woch voraussichtlich online Meyer     12
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Meyer, Roland , Prof. Dr. verantwortlich
Zuordnung zu Einrichtungen
Institut für Theoretische Informatik
Inhalt
Kommentar QUALIFIKATIONSZIELE:
Die Studierenden werden befähigt, sich in ein spezielles Thema der Automatentheorie einzuarbeiten (Originalliteratur). Darüber hinaus sind Sie in der Lage, ein abgegrenztes Fachthema in Wort und Schrift verständlich zu präsentieren sowie darüber fachlich zu diskutieren.

INHALTE:
Gegenstand des Seminars sind Modelle der fortgeschrittenen Automatentheorie und ihre Analysealgorithmen.
zum Beispiel:
- omega-reguläre Sprachen
- automatische Strukturen
- Graphautomaten und Baumweite
- wohlstrukturierte Transitionssysteme
- Spiele und Synthese
- zeitbehaftete Systeme
- High-Order- Pushdown-System
Literatur Die Literaturquellen variieren, je nach Thema.
Bemerkung Präsentation und schriftliche Ausarbeitung
Server: LSF19 Impressum & Datenschutz            Erklärung zur Barrierefreiheit