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

• Zahlendarstellungen zuunterscheiden 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"), sowie drei schriftliche Tests (+ein Ersatztest)

Vorbesprechung: 4. Okt. 2022, 11:00 - 13:00  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, Vorlesung und Großraumübungen 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 eine positive Absolvierung von Eingangstests, eine Mindestanzahl an Übungsbeispielen zu lösen und es ist in den Übungseinheiten eine insgesamt positive Leistung bei der Präsentation von gelösten Beispielen erforderlich. Zusätzlich sind, über das Semester verteilt, drei schriftliche 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.