Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

050026 VO Theoretische Informatik (2012S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik

Moodle

Details

Sprache: Deutsch

Prüfungstermine

Montag 25.06.2012 Freitag 19.10.2012 11:15 - 12:15 Hörsaal 1, Währinger Straße 29 1.UG Freitag 23.11.2012 11:15 - 12:15 Hörsaal 1, Währinger Straße 29 1.UG Freitag 11.01.2013 11:15 - 12:15 Hörsaal 1, Währinger Straße 29 1.UG

Lehrende

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

    
    Freitag
    02.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Freitag
    09.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Freitag
    16.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Freitag
    23.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Freitag
    30.03.
    15:15 - 16:45
    (ehem. Hörsaal 28  Hauptgebäude, 1.Stock, Stiege 1)
    
    Freitag
    20.04.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    27.04.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    04.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    11.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    18.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    25.05.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    01.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    08.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    15.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    22.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)
    
    Freitag
    29.06.
    10:30 - 12:00
    (ehem. Hörsaal 23  Hauptgebäude, 1.Stock, Stiege 5)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation.

Art der Leistungskontrolle und erlaubte Hilfsmittel

VO-Prüfung

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Fr 15.10.2021 00:15