en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Logik
Überblick
Inhalt
Neuigkeiten
Logik
Bachelorstudium
VO3 + PS2 SS 2021
703026
+
703027
Inhalt
The course provides an introduction to logic and model checking.