250123 VO Einführung in die Theoretische Informatik (2008W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

Siehe http://www.logic.univie.ac.at/~kellner/teaching/WS2008_informatik.html

Kann man "Algorithmus", "berechenbar" etc überhaupt (befriedigend) definieren? (Ja!)
Gibt es Funktionen die man nicht berechnen, Probleme die man nicht entscheiden kann? (Ja!)
Kann man das auch beweisen? (Ja!)
Auch für natürliche Beispiele in der Mathematik? (Ja! ZB Wortproblem in Gruppen, Diophantische Gleichungen, Halteproblem, Logische Folgerung.)

Details

Sprache: Deutsch

Lehrende

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

    
    Mittwoch
    01.10.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    07.10.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    08.10.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    14.10.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    15.10.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    21.10.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    22.10.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    28.10.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    29.10.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    04.11.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    05.11.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    11.11.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    12.11.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    18.11.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    19.11.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    25.11.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    26.11.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    02.12.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    03.12.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    09.12.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    10.12.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    16.12.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    17.12.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    07.01.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    13.01.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    14.01.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    20.01.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    21.01.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Dienstag
    27.01.
    17:00 - 18:05
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)
    
    Mittwoch
    28.01.
    16:00 - 17:10
    (ehem. Seminarraum SSC Geo 2A180 1.OG UZA II)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Rekursiontheorie und Komplexitätstheorie.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOI

Letzte Änderung: Fr 01.07.2022 00:25