Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

• Zahlendarstellungen zu unterscheiden und anzuwenden,
• grundlegende Konzepte der Informations- und Codierungstheorie zu beschreiben und anzuwenden,
• Ausdrücke der Boolschen Algebra zu formulieren, manipulieren und interpretieren sowie Minimierungsverfahren darauf anzuwenden,
• grundlegende logische Konzepte nachzuvollziehen, anzuwenden und zu übertragen,
• einfache Schaltnetze zu entwerfen und erklären,
• ein System mit Hilfe einer geeigneten Logik oder eines geeigneten Automatentyps zu beschreiben,
• syntaktische und semantische Fehler in einem Modell zu erkennen und korrigieren,
• informell beschriebene Systeme zu analysieren, auf die relevanten Merkmale zu reduzieren und mit formalen Spezifikationsmethoden zu modellieren.

• Zahlendarstellung und Zahlencodierung
• Gleitkommaarithmetik
• Grundkonzepte der Informations- und Codierungstheorie
• Logik in der Informatik
• Aussagenlogik, Boolesche Algebra, Minimierungsverfahren
• Prädikatenlogik als Spezifikationssprache
• Endliche Automaten, inklusive Moore- und Mealy-Automaten
• Reguläre Ausdrücke und kontextfreie Grammatiken
• Schaltnetze
• Realisierungen von Automaten
• Petri-Netze

Die Lernaktivitäten umfassen Vorlesungseinheiten, Übungen in Groß- und Kleingruppen ("Tafelübungen"), TUWEL-Tests sowie schriftliche Tests.

Vorbesprechung: 3. Okt. 2023, 10:00 c.t.,  GM 1 Audi. Max.

Aufwandsabschätzung (ECTS Breakdown): 150 Stunden = 6 ECTS

• Anwesenheit Vorlesung / Repetitorien (50 Stunden)
• Anwesenheit Tests (6 Stunden)
• Anwesenheit Übung (12 Stunden)
• Vor-/Nachbereitung Übung (64 Stunden)
• Nachbereitung Vorlesung und Testvorbereitung (18 Stunden)

Alle Informationen, Lernunterlagen und die Angaben für die Übungsbeispiele finden Sie im TUWEL-Kurs der Lehrveranstaltung.

Aufzeichnungen, live-stream: Vorbesprechung und Vorlesung werden als live-stream bereitgestellt und aufgezeichnet. Der Zugang erfolgt via TUWEL-Kurs.

Weitere Fragen richten Sie bitte an: gds@list.tuwien.ac.at

Für eine positive Beurteilung ist es erforderlich

• die Eingangstests positiv zu absolvieren,
• eine Mindestanzahl an Übungsbeispielen zu lösen,
• in den Übungseinheiten eine insgesamt positive Leistung bei der Präsentation von gelösten Beispielen zu erreichen, und
• die schriftlichen Tests positiv zu absolvieren.

Die genauen Details werden in der Vorbesprechung verkündet und sind in den Folien zur Vorbesprechung im TUWEL-Kurs nachzulesen.

Die Anmeldung zur Lehrveranstaltung ist verpflichtend für die Teilnahme. Sobald die Anmeldung zur Lehrveranstaltung erfolgt ist, kann über den ganz oben auf dieser Seite angeführten Link "Zum TUWEL Online-Kurs" auf den begleitenden TUWEL-Kurs zugegriffen werden.