Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Informatik
»
Theorie
Inhalt
[
521THEOLOGU13
]
UE
Logic
Versionsauswahl
Version
2024W
2021W
2021S
2017S
2013W
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