050123 VU Theoretische Informatik 1 (2008S)

4.00 ECTS (4.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik

Prüfungsimmanente Lehrveranstaltung

Details

max. 50 Teilnehmer*innen

Sprache: Deutsch

Lehrende

Hans Moritsch

Termine (iCal) - nächster Termin ist mit N markiert

    
    Donnerstag
    06.03.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    13.03.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    20.03.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    27.03.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    03.04.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    10.04.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    17.04.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    24.04.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    08.05.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    15.05.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    29.05.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    05.06.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    12.06.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    19.06.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3
    
    Donnerstag
    26.06.
    09:00 - 12:00
    Seminarraum 10  Hauptgebäude, Tiefparterre Stiege 5  Hof 3

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; PERL; grep; Turing Maschinen; Elemente der formalen Logik; PROLOG; Semantik und Grundelemente der formalen Verifikation.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.

Prüfungsstoff

Jede Vorlesung wird auch einen praktischen Teil beinhalten wo Beispiele bearbeitet werden.

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Mi 15.12.2021 00:16