Studienhandbuch | VL Formal Models

Studienhandbuch-Login
User ID Password
.

Inhalt

[ INBIPVOFOMO ] VL ^(*)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
3 ECTS	B2 - Bachelor's programme 2. year	Computer Science	Armin Biere	2 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	^()INBPCVOFOG3: VO Formale Grundlagen 3 (3 ECTS) bzw.* INBIPVOFMOD: VO Formale Modelle (3 ECTS)

On-site course
Maximum number of participants	-
Assignment procedure	Direct assignment