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. 2024, 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 Einstiegstests positiv zu absolvieren,
• eine Mindestanzahl an Übungsbeispielen zu lösen, und
• die beiden schriftlichen Tests positiv zu absolvieren.

Für beide Tests wird jeweils ein Ersatztermin angeboten, bei dem ein versäumter/negativer Antritt ausgebessert werden kann.
Das Wahrnehmen eines solchen Ersatztermins wird nicht als zusätzlicher Prüfungsantritt gewertet.

Übungsmodus:

• Übungen 1-4: Großraumübung & tuwel-Aktivität. Der Leistungsnachweis erfolgt durch das selbstständige Absolvieren von Aufgaben im tuwel-Kurs. Die tuwel Aktivitäten können bis zur Deadline beliebig oft wiederholt werden.
• Übungen 5-8: Kreuzerlübungen in Kleingruppen. Pro Übung ist ein Übungsblatt mit mehreren Aufgaben selbstständig zu bearbeiten und die Lösungen sind im tuwel-Kurs vor der Deadline abzugeben. Studierende müssen ihre Lösungen in ihrer Übungsgruppe präsentieren können damit diese als gelöst gewertet werden. Es gilt Anwesenheitspflicht in den Übungsgruppen.

Einstiegstest:

• Übung 1 & 2 fungieren als Einstiegstest. Hier müssen 2/3 der möglichen Punkte erreicht werden.

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.