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 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
