Lernergebnisse (Bildungsziele):
Nach positiver Absolvierung des Kurses können Studierende
Folgenden Themen werden behandelt:
Die Lernaktivitäten umfassen Vorlesungseinheiten und Vorlesungsunterlagen, Übungsbeispiele, die in Übungsgruppen präsentiert und bewertet werden ("Tafelübungen"), sowie zwei schriftliche Tests. Die Übungsbeispiele umfassen:
Vorbesprechung und erste Vorlesung: Mi., 6. März 2019 (Einlass um 13:00, Vorlesungsbeginn um 13:15)
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: Stefan.Podlipnig@tuwien.ac.at
Für eine positive Beurteilung ist 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 muss bei den besten zwei Tests (von drei) die Punktesumme über einen Schwellwert liegen. Die Testbeispiele orientieren sich an den Beispielen in den Übungen.
Die Anmeldung zur Lehrveranstaltung ist verpflichtend für die Teilnahme.
Aussagenlogik, Programmierkenntnisse (z.B. Java)