Menü
Positionsanzeige
Inhalt

[ 521THEOLOGU13 ] UE Logic
Versionsauswahl
Es ist eine neuere Version 2021W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2023W 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 2021S
Ziele Beherrschung von Logik als Arbeitssprache und die Fähigkeit mit Logik zu rechnen
Lehrinhalte Siehe Vorlesung
Beurteilungskriterien Weekly tests and lab exercises.
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Sonstige Informationen http://fmv.jku.at/logic
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung