Am 30. Juli 2024 wird es aufgrund einer wichtigen Datenbankaktualisierung zwischen 8 und 11 Uhr zu Serviceunterbrechungen in den Bereichen Student-Self-Service und Personalbedarf kommen. Vielen Dank für Ihr Verständnis.

185.183 Theoretische Informatik 2

2005W, VU, 3.0h, 4.5EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 3.0
  • ECTS: 4.5
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Erlernen der wichtigsten formalen und theoretischen Grundlagen der Informatik

Inhalt der Lehrveranstaltung

Komplexitätstheorie (u.a. NP), Berechenbarkeit und Entscheidbarkeit, Prädikatenlogik (Deduktion), formale Aspekte von Programmiersprachen.

Weitere Informationen

Nähere Informationen unter http://www.logic.at/lvas/185183/

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.17:00 - 19:0004.10.2005 - 11.10.2005Informatikhörsaal - ARCH-INF GRAMLICH
Di.17:00 - 19:0018.10.2005 - 26.01.2006EI 7 Hörsaal - ETIT GRAMLICH
Theoretische Informatik 2 - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.04.10.200517:00 - 19:00Informatikhörsaal - ARCH-INF GRAMLICH
Di.11.10.200517:00 - 19:00Informatikhörsaal - ARCH-INF GRAMLICH
Di.18.10.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.25.10.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.01.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.08.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.15.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.22.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.29.11.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.06.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.13.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.20.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.27.12.200517:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.03.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.10.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.17.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
Di.24.01.200617:00 - 19:00EI 7 Hörsaal - ETIT GRAMLICH
LVA wird geblockt abgehalten

Leistungsnachweis

schriftlich

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
No records found.

Literatur

Ein Skriptum zur Lehrveranstaltung ist erhältlich.

Weitere Informationen

Sprache

Deutsch