Inhalt

[ 521THEOLOGU13 ] UE Logic

Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B1 - Bachelor 1. Jahr Mathematik Armin Biere 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Informatik 2017S
Ziele Vertiefung und Übung der in der Vorlesung vermittelten Kenntnisse.
Lehrinhalte Siehe Vorlesung
Beurteilungskriterien Tests und Übungsaufgaben
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Sonstige Informationen http://fmv.jku.at/logik/
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung