Änderungen

Zur Navigation springen Zur Suche springen
K
==[http://www.logic.at/lvas/fmod/angaben/fmod164.pdf 2016-12-19]==
*'''Aufgabe 1:''' endlichen Automaten angeben (B-Sprache) ([[media:TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|SS2017 - Übung 1 - Aufgabe 14]])
*'''Aufgabe 2:''' Aussagenlogik
*'''Aufgabe 3:''' Prädikatenlogik

Navigationsmenü