Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Artificial Intelligence
»
(*)
Knowledge Representation and Reasoning
Inhalt
[
INBIPUEFOMO
]
UE
Formal Models
Versionsauswahl
Version
2024W
2022W
2021W
2013W
Es ist eine neuere Version
2024W
dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden.
(*)
Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
1,5 ECTS
B2 - Bachelor 2. Jahr
Informatik
Armin Biere
1 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Informatik 2013W
Ziele
Erlernen formaler Methoden zur Modellierung und Spezifikation von Informatik-Systemen.
Lehrinhalte
Hoare-Logik, Reaktive Systeme, Endliche Automaten, Petri-Netze, Process-Algebra, Temporale Logik.
Beurteilungskriterien
Abhaltungssprache
Englisch
Lehrinhalte wechselnd?
Nein
Äquivalenzen
INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS)
bzw.
INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer
35
Zuteilungsverfahren
Direktzuteilung
