Menü
Positionsanzeige
Inhalt

[ INBIPUEFOMO ] UE (*)Formal Models
Versionsauswahl
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2024W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B2 - Bachelor's programme 2. year Computer Science Armin Biere 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2012W
Objectives (*)Erlernen formaler Modellierungs- und Spezifikations-Techniken zur Beschreibung von Informatik-Systemen.
Subject (*)Hoare-Logik, Reaktive Systeme, Endliche Automaten, Petri-Netze, Process-Algebra, Temporale Logik.
Criteria for evaluation
Language English
Changing subject? No
Corresponding lecture (*)INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS) bzw. INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment