Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage
Folgenden Themen werden behandelt:
Verwendete Methoden:
Vorbesprechung und erste Vorlesung: Mi., 4.März 2020, 13:00 (c.t.) - 15:00, HS EI 10 (Fritz Paschke)
Aufwandsabschätzung (ECTS Breakdown): 75 Stunden=3 ECTS
Alle Informationen, Unterlagen und Angaben für die Übungsbeispiele finden Sie im TUWEL-Kurs der Lehrveranstaltung.
Weitere Fragen zur Lehrveranstaltung richten Sie bitte an: tgiwi@list.tuwien.ac.at
Die Anmeldung zur Lehrveranstaltung ist verpflichtend für die Teilnahme.
Voraussetzung für die Anmeldung ist eine Fortmeldung zu einem der folgenden Studien:
Aussagenlogik, Programmierkenntnisse (z.B. Java)