Universität Wien

050011 VU PA.WGI.FG.VU Formale Grundlagen der Informatik (2008S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Brezany
2 Brezany
3 Brezany

An/Abmeldung

Gruppen

Gruppe 1

max. 50 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 05.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 12.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 19.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 26.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 02.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 09.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 16.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 23.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 30.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 07.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 14.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 21.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 28.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 04.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 11.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 18.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 25.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Gruppe 2

max. 50 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 05.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 12.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 19.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 26.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 02.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 09.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 16.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 23.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 30.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 07.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 14.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 21.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 28.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 04.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 11.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 18.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 25.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Gruppe 3

max. 50 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 05.03. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 12.03. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 19.03. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 26.03. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 02.04. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 09.04. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 16.04. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 23.04. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 30.04. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 07.05. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 14.05. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 21.05. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 28.05. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 04.06. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 11.06. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 18.06. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7
  • Mittwoch 25.06. 15:30 - 17:00 Hörsaal 29 Hauptgebäude, 1.Stock, Stiege 7

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Information, Entropie, Informationsübertragung, Datenkompression, Kodierung.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Vermittlung von formalen Grundlagen der Informatik (Informationstheorie und theoretische Informatik).

Prüfungsstoff

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

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Di 01.10.2024 00:09