Bearbeiten von „TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests“

Zur Navigation springen Zur Suche springen

Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.

Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und speichere dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.

Aktuelle Version Dein Text
Zeile 1: Zeile 1:
 
[https://www.logic.at/lvas/fmod/ Link zu offiziellen alten Prüfungsangaben]
 
[https://www.logic.at/lvas/fmod/ Link zu offiziellen alten Prüfungsangaben]
  
== Nach Themen ==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod111.pdf 2011-12-21]==
 +
*'''Aufgabe 1:''' Regex <code>(ab)+?[ac]*</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 +
*'''Aufgabe 2:''' Mealy-Automat für eine Glättung von Bitfolgen
 +
*'''Aufgabe 3:''' EBNF für HTML
 +
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
=== Aussagenlogik ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod121.pdf 2012-01-17]==
 +
*'''Aufgabe 1:''' Endlicher Automat zu Regex
 +
*'''Aufgabe 2:''' Endlichen Automat (Flussüberquerung)
 +
*'''Aufgabe 3:''' EBNF für Modula
 +
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
* {{/fmod|191}} {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2019S).pdf|2019S UE1 Aufgabe 10|#=page=13&zoom=100,0,500}}
+
==[http://www.logic.at/lvas/fmod/angaben/fmod122.pdf 2012-03-14]==
* {{/fmod|182}} {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2018S).pdf|2018S UE1 Aufgabe 10|#=page=12&zoom=100,0,500}}
+
*'''Aufgabe 1:''' Petri-Netz
* {{/fmod|173}} {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017WS).pdf|2017W UE1  Aufgabe 10|#=page=13&zoom=auto,-215,331}}
+
*'''Aufgabe 2:''' Endlicher Automat (Tresorschloss)
* {{/fmod|163}} {{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 11}}
+
*'''Aufgabe 3:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
* {{/fmod|162}} {{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 10}}
+
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
=== Prädikatenlogik ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod123.pdf 2012-05-23]==
 +
*'''Aufgabe 1:''' Regex <code>[bc]*(ba)+?</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 +
*'''Aufgabe 2:''' Endlichen Automat modellieren (Aufzugssteuerung)
 +
*'''Aufgabe 3:''' EBNF für Regex
 +
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
* {{/fmod|172}} {{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 6|#=page=7&zoom=auto,-215,713}}
+
==[http://www.logic.at/lvas/fmod/angaben/fmod124.pdf 2012-06-13]==
* {{/fmod|163}} {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 11}}
+
*'''Aufgabe 1:''' Spiegelsprache von Automaten
 +
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Mikrowelle)
 +
*'''Aufgabe 3:''' EBNF für Modula
 +
*'''Aufgabe 4:'''  Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 11]])
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
=== Kontextfreie Grammatik ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod125.pdf 2012-09-17]==
 +
*'''Aufgabe 1:''' Gültigkeit von Gleichungen für formale Sprachen
 +
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Knobelspiel)
 +
*'''Aufgabe 3:''' EBNF für LaTeX
 +
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
* {{/fmod|191}} {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_2019S.pdf|2019S UE3 Aufgabe 3|#=page=3&zoom=100,0,300}}
+
==[http://www.logic.at/lvas/fmod/angaben/fmod126.pdf 2012-10-29]==
* {{/fmod|182}} {{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3 Aufgabe 3|#=page=4&zoom=auto,-274,471}}
+
*'''Aufgabe 1:''' Petri-Netz
* {{/fmod|173}} {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 3|#=page=4}}
+
*'''Aufgabe 2:''' Moore/Mealy-Automat modellieren (Radiowecker) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 15]])
* {{/fmod|171}} {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2018S).pdf|2018S UE3  Aufgabe 4}}
+
*'''Aufgabe 3:''' EBNF für Prolog
* {{/fmod|163}} kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 10}})
+
*'''Aufgabe 4:''' Aussagenlogik
* {{/fmod|162}} {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 12}}
+
*'''Aufgabe 5:''' Prädikatenlogik
  
=== Petri-Netze ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod131.pdf 2013-01-28]==
 +
*'''Aufgabe 1:''' Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 9]])
 +
*'''Aufgabe 2:''' Endlichen Automat modellieren (Türme von Hanoi mit zwei Scheiben) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 14]])
 +
*'''Aufgabe 3:''' EBNF
 +
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
* {{/fmod|182}} Restaurant {{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3 Aufgabe 10|#=page=10&zoom=100,0,300}}
+
==[http://www.logic.at/lvas/fmod/angaben/fmod132.pdf 2013-02-19]==
* {{/fmod|181}} Ampeln
+
*'''Aufgabe 1:''' Petri-Netz
* {{/fmod|173}} Fertigungsstraßen {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 8|#=page=9&zoom=auto,-215,640}}
+
*'''Aufgabe 2:''' Endlichen Automat modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
* {{/fmod|163}} Tankstelle {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 13}}
+
*'''Aufgabe 3:''' EBNF
* {{/fmod|162}} Ampeln {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 14}}
+
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
=== Automaten und Regex ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod133.pdf 2013-04-22]==
 +
*'''Aufgabe 1:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 11]])
 +
*'''Aufgabe 2:''' Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
 +
*'''Aufgabe 3:''' EBNF für Regex
 +
*'''Aufgabe 4:''' Aussagenlogik
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
* {{/fmod|191}} Mealy-Automat (Knobelspiel) {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2019S).pdf|2019S UE2 Aufgabe 3|#=page=3&zoom=100,0,500}}
+
==[http://www.logic.at/lvas/fmod/angaben/fmod134.pdf 2013-06-24]==
* {{/fmod|191}} Endlicher Automat zu Regex
+
*'''Aufgabe 1:''' Automaten (Mystery-Automat)
* {{/fmod|182}} Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
+
*'''Aufgabe 2:''' Deterministischen endlichen Automat modellieren (SS2015 - Übung 2 - Aufgabe 3)
* {{/fmod|181}} endlichen Automat angeben (Pacman)
+
*'''Aufgabe 3:''' EBNF für Scheme
* {{/fmod|172}} endlichen Automat angeben (Pacman) {{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2017WS).pdf|2017W UE2  Aufgabe 4|#=page=4&zoom=auto,-215,363}}
+
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 10]])
* {{/fmod|164}} endlichen Automaten angeben (B-Sprache) {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|2017S UE1  Aufgabe 14}}
+
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
  
=== Sonstiges ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod135.pdf 2013-09-18]==
 +
*'''Aufgabe 1:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 11]])
 +
*'''Aufgabe 2:''' Endlichen Automat modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 14]])
 +
*'''Aufgabe 3:''' EBNF für Variablendeklaration in Java
 +
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
 +
*'''Aufgabe 5:''' Prädikatenlogik
  
* {{/fmod|181}} Boolschen Algebra
+
==[http://www.logic.at/lvas/fmod/angaben/fmod141.pdf 2014-01-28]==
* {{/fmod|173}} Beispiel für Aussagenlogik: ''Resolutionsregel''
+
*'''Aufgabe 1:''' Endlichen Automat modellieren (Getränkeautomat) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014S) (LaTeX).pdf|SS2014 - Übung 1 - Aufgabe 14]])
* {{/fmod|172}} Beispiel zu formalen Sprachen: ''monotone Grammatik'' ({{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 4|#=page=5&zoom=auto,-215,717}})
+
*'''Aufgabe 2:''' EBNF für Prädikatenlogik
* {{/fmod|171}}  Boolschen Algebra
+
*'''Aufgabe 3:''' Aussagenlogik
* {{/fmod|164}} Spezialfall kontextfreie Grammatik "Automatengrammatik"
+
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 13]])
* {{/fmod|163}} SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015W UE1  Aufgabe 12}})
+
*'''Aufgabe 5:''' Beispiel "pure Grammatik" ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 10]])
: oder (Bsp5): ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 12}})
 
* {{/fmod|162}} reguläre Grammatik {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 7}}
 
  
== Nach Tests ==
+
==[http://www.logic.at/lvas/fmod/angaben/fmod142.pdf 2014-02-18]==
 +
*'''Aufgabe 1:''' Endlichen Automat modellieren (Aufzugssteuerung) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014S) (LaTeX).pdf|SS2014 - Übung 1 - Aufgabe 15]])
 +
*'''Aufgabe 2:''' kontextfreie Grammatik für Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 11]])
 +
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014S) (LaTeX).pdf|SS2014 - Übung 1 - Aufgabe 11]])
 +
*'''Aufgabe 4:''' Prädikatenlogik
 +
*'''Aufgabe 5:''' SAT-Solver  ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 1 - Aufgabe 11]])
  
=== {{/fmod|191}} ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod143.pdf 2014-06-30]==
 +
*'''Aufgabe 1:''' Moore-Automat modellieren (Roboter) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014 - Übung 1 - Aufgabe 15]])
 +
*'''Aufgabe 2:''' EBNF für PDDL ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 9]])
 +
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014 - Übung 1 - Aufgabe 11]])
 +
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 12]])
 +
*'''Aufgabe 5:''' Formale Sprachen: reguläre Grammatik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 7]])
  
# Aussagenlogik ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2019S).pdf|2019S UE1 Aufgabe 10|#=page=13&zoom=100,0,500}})
+
==[http://www.logic.at/lvas/fmod/angaben/fmod144.pdf 2014-09-17]==
# Prädikatenlogik
+
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Linienhalma) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2014W).pdf|WS2014- Übung 1 - Aufgabe 14]])
# Mealy-Automat (Knobelspiel) ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2019S).pdf|2019S UE2 Aufgabe 3|#=page=3&zoom=100,0,500}})
+
*'''Aufgabe 2:''' Boolsche Ausdrücke
# EBNF für LaTeX ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_2019S.pdf|2019S UE3 Aufgabe 3|#=page=3&zoom=100,0,300}})
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 10]])
# Endlicher Automat zu Regex
+
*'''Aufgabe 4:''' Prädikatenlogik
 +
*'''Aufgabe 5:''' Petri-Netz
  
=== {{/fmod|182}}  ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod145.pdf 2014-12-16]==
# Aussagenlogik ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2018S).pdf|2018S UE1 Aufgabe 10|#=page=12&zoom=100,0,500}})
+
*'''Aufgabe 1:''' Mealy-Automat modellieren (Token-Automat) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 15]])
# Prädikatenlogik
+
*'''Aufgabe 2:''' EBNF für lineare Programme ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 9]])
# Petri-Netz angeben (Restaurant) ({{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3 Aufgabe 10|#=page=10&zoom=100,0,300}})
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 10]])
# Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
+
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 12]])
# EBNF für Datalog ({{Media|{{FILEPREFIX:..}}TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|2018S UE3  Aufgabe 3|#=page=4&zoom=auto,-274,471}})
+
*'''Aufgabe 5:''' SAT-Solver  ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 12]])
  
=== {{/fmod|181}}  ===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod151.pdf 2015-01-12]==
# Aussagenlogik
+
*'''Aufgabe 1:''' Mealy-Automat modellieren (Fahrkartenautomat)
# Prädikatenlogik
+
*'''Aufgabe 2:''' Petri-Netz modellieren ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015S).pdf|SS2015 - Übung 2 - Aufgabe 14]])
# endlichen Automat angeben (Pacman)
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|SS2015 - Übung 1 - Aufgabe 11]])
# Boolschen Algebra
+
*'''Aufgabe 4:''' Prädikatenlogik
# Petri-Netz (Ampeln)
+
*'''Aufgabe 5:''' Spiegelsprache von Automaten ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 7]])
  
==={{/fmod|173}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod152.pdf 2015-05-27]==
# Petri-Netz angeben (Fertigungsstraßen) ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 8|#=page=9&zoom=auto,-215,640}})
+
*'''Aufgabe 1:''' Endlichen Automaten modellieren (Tresorschloss) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015W).pdf|WS2015 - Übung 1 - Aufgabe 14]])
# Aussagenlogik ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017WS).pdf|2017W UE1  Aufgabe 10|#=page=13&zoom=auto,-215,331}})  
+
*'''Aufgabe 2:''' EBNF für Lambdakalkül ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 11]])
# Prädikatenlogik
+
*'''Aufgabe 3:''' Aussagenlogik
# EBNF für LaTeX <code>\frac</code> ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|2017W UE3  Aufgabe 3|#=page=4}})
+
*'''Aufgabe 4:''' Prädikatenlogik
# Beispiel für Aussagenlogik: ''Resolutionsregel''
+
*'''Aufgabe 5:''' Automaten für den Durchschnitt der Sprachen zweier Automaten
  
==={{/fmod|172}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod153.pdf 2015-09-08]==
# endlichen Automat angeben (Pacman) ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2017WS).pdf|2017W UE2  Aufgabe 4|#=page=4&zoom=auto,-215,363}})
+
*'''Aufgabe 1:''' Mealy-Automaten und Transducer angeben (Ternärnumerale) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 3]])
# Aussagenlogik
+
*'''Aufgabe 2:''' Petri-Netz ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 15]])
# Prädikatenlogik ({{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 6|#=page=7&zoom=auto,-215,713}})
+
*'''Aufgabe 3:''' Aussagenlogik
# EBNF für Dot
+
*'''Aufgabe 4:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2015W).pdf|WS2015 - Übung 2 - Aufgabe 13]])
# Beispiel zu formalen Sprachen: ''monotone Grammatik'' ({{Media| TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|2017W UE3  Aufgabe 4|#=page=5&zoom=auto,-215,717}})
+
*'''Aufgabe 5:''' Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
  
==={{/fmod|171}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod154.pdf 2015-12-15]==
# Petri-Netz angeben
+
*'''Aufgabe 1:''' Mealy-Automat (Roboter) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 15]])
# Aussagenlogik
+
*'''Aufgabe 2:''' EBNF für Modula ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013S).pdf|SS2013 - Übung 2 - Aufgabe 13]])
# Prädikatenlogik
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2013S).pdf|SS2013 - Übung 1 - Aufgabe 12]])
# EBNF zu C++ if-Abfragen ({{Media| TU_Wien-Formale_Modellierung_VU_(Salzer)_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2018S).pdf|2018S UE3  Aufgabe 4}})
+
*'''Aufgabe 4:''' Prädikatenlogik
# Boolschen Algebra
+
*'''Aufgabe 5:''' Boolschen Algebra
  
==={{/fmod|164}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod161.pdf 2016-01-20]==
# endlichen Automaten angeben (B-Sprache) ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|2017S UE1  Aufgabe 14}})
+
*'''Aufgabe 1:''' Moore/Mealy-Automat ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016S).pdf|SS2016 - Übung 2 - Aufgabe 3]])
# Aussagenlogik
+
*'''Aufgabe 2:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 16]])
# Prädikatenlogik
+
*'''Aufgabe 3:''' kontextfreie Grammatik für Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014S).pdf|SS2014 - Übung 2 - Aufgabe 11]])
# EBNF für TikZ-Baumdiagramme
+
*'''Aufgabe 4:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016S).pdf|SS2016 - Übung 1 - Aufgabe 11]])
# Spezialfall kontextfreie Grammatik "Automatengrammatik"
+
*'''Aufgabe 5:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2013W) (LaTeX).pdf|WS2013 - Übung 2 - Aufgabe 14]])
  
==={{/fmod|163}}===
+
==[https://www.logic.at/lvas/fmod/angaben/fmod162.pdf 2016-05-24]==
# Petri-Netz angeben ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 13}})
+
*'''Aufgabe 1:''' Petri-Netz angeben (Ampeln) ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 14]])
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 11}})
+
*'''Aufgabe 2:''' EBNF für Datalog ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2012W).pdf|WS2012 - Übung 2 - Aufgabe 12]])
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 11}})
+
*'''Aufgabe 3:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 10]])
# kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 10}})
+
*'''Aufgabe 4:''' Prädikatenlogik
# SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015W UE1  Aufgabe 12}})
+
*'''Aufgabe 5:''' reguläre Grammatik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2014W).pdf|WS2014 - Übung 2 - Aufgabe 7]])
*'''oder (Bsp5):''' ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 12}})
 
  
==={{/fmod|162}}===
+
==[https://www.logic.at/lvas/fmod/angaben/fmod163.pdf 2016-09-06]==
# Petri-Netz angeben (Ampeln) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2  Aufgabe 14}})
+
*'''Aufgabe 1:''' Petri-Netz angeben ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 13]])
# EBNF für Datalog ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 12}})
+
*'''Aufgabe 2:''' Aussagenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 11]])
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1  Aufgabe 10}})
+
*'''Aufgabe 3:''' Prädikatenlogik ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 11]])
# Prädikatenlogik
+
*'''Aufgabe 4:''' kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 2 - Musterlösung (2016W).pdf|WS2016 - Übung 2 - Aufgabe 10]])
# reguläre Grammatik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 7}})
+
*'''Aufgabe 5:''' SAT-Solver ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2015S).pdf|WS2015 - Übung 1 - Aufgabe 12]])
 +
*'''oder (Bsp5):''' ([[media:TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2016W).pdf|WS2016 - Übung 1 - Aufgabe 12]])
  
==={{/fmod|161}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod164.pdf 2016-12-19]==
# Moore/Mealy-Automat (Knobelspiel) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016S).pdf|2016S UE2  Aufgabe 3}})
+
*'''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]])
# Petri-Netz angeben ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2  Aufgabe 16}})
+
*'''Aufgabe 2:''' Aussagenlogik
# kontextfreie Grammatik für Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014S).pdf|2014S UE2  Aufgabe 11}})
+
*'''Aufgabe 3:''' Prädikatenlogik
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1  Aufgabe 11}})
+
*'''Aufgabe 4:''' EBNF für TikZ-Baumdiagramme
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2  Aufgabe 14}})
+
*'''Aufgabe 5:''' Spezialfall kontextfreie Grammatik "Automatengrammatik"
  
==={{/fmod|154}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod171.pdf 2017-01-16]==
# Mealy-Automat (Roboter) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1  Aufgabe 15}})
+
*'''Aufgabe 1:''' Petri-Netz angeben
# EBNF für Modula ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013S).pdf|2013S UE2  Aufgabe 13}})
+
*'''Aufgabe 2:''' Aussagenlogik
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1  Aufgabe 12}})
+
*'''Aufgabe 3:''' Prädikatenlogik
# Prädikatenlogik
+
*'''Aufgabe 4:''' EBNF zu C++ if-Abfragen ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2018S).pdf|SS2018 - Übung 3 - Aufgabe 4]])
# Boolschen Algebra
+
*'''Aufgabe 5:''' Boolschen Algebra
  
==={{/fmod|153}}===
+
==[http://www.logic.at/lvas/fmod/angaben/fmod172.pdf 2017-05-31]==
# Mealy-Automaten und Transducer angeben (Ternärnumerale) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 3}})
+
*'''Aufgabe 1:''' endlichen Automat angeben (Pacman) ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_2_-_Musterlösung_(2017WS).pdf|WS2017 - Übung 2 - Aufgabe 4]])
# Petri-Netz ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 15}})
+
*'''Aufgabe 2:''' Aussagenlogik
# Aussagenlogik
+
*'''Aufgabe 3:''' Prädikatenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|WS2017 - Übung 3 - Aufgabe 6]])
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 13}})
+
*'''Aufgabe 4:''' EBNF für Dot
# Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
+
*'''Aufgabe 5:''' Beispiel zu formalen Sprachen: ''monotone Grammatik'' ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2017W).pdf|WS2017 - Übung 3 - Aufgabe 4]])
  
==={{/fmod|152}}===
+
==[https://www.logic.at/lvas/fmod/angaben/fmod173.pdf 2017-09-05]==
# Endlichen Automaten modellieren (Tresorschloss) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 14}})
+
*'''Aufgabe 1:''' Petri-Netz angeben ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|WS2017 - Übung 3 - Aufgabe 8]])
# EBNF für Lambdakalkül ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 11}})
+
*'''Aufgabe 2:''' Aussagenlogik ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017WS).pdf|WS2017 - Übung 1 - Aufgabe 10]])  
# Aussagenlogik
+
*'''Aufgabe 3:''' Prädikatenlogik
# Prädikatenlogik
+
*'''Aufgabe 4:''' EBNF für LaTeX <code>\frac</code> ([[media: TU_Wien-Formale_Modellierung_VU_(Salzer)-Lösungen_alte_Tests_-_TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_3_-_Musterlösung_(2017S).pdf|WS2017 - Übung 3 - Aufgabe 3]])
# Automaten für den Durchschnitt der Sprachen zweier Automaten
+
*'''Aufgabe 5:''' Beispiel für Aussagenlogik: ''Resolutionsregel''
  
==={{/fmod|151}}===
+
== [https://www.logic.at/lvas/fmod/angaben/fmod181.pdf 2018-01-26]  ==
# Mealy-Automat modellieren (Fahrkartenautomat)
+
*'''Aufgabe 1:''' Aussagenlogik
# Petri-Netz modellieren ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 14}})
+
*'''Aufgabe 2:''' Prädikatenlogik
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 11}})
+
*'''Aufgabe 3:''' endlichen Automat angeben (Pacman)
# Prädikatenlogik
+
*'''Aufgabe 4:''' Boolschen Algebra
# Spiegelsprache von Automaten ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 7}})
+
*'''Aufgabe 5:''' Petri-Netz (Ampeln)
  
==={{/fmod|145}}===
+
== [https://www.logic.at/lvas/fmod/angaben/fmod182.pdf 2018-02-15] ==
# Mealy-Automat modellieren (Token-Automat) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 15}})
+
*'''Aufgabe 1:''' Aussagenlogik ([[media: TU Wien-Formale Modellierung VU (Salzer) - Übung 1 - Musterlösung (2018S).pdf|SS2018 - Übung 1 - Aufgabe 10]])
# EBNF für lineare Programme ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 9}})
+
*'''Aufgabe 2:''' Prädikatenlogik  
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1 Aufgabe 10}})
+
*'''Aufgabe 3:''' Petri-Netz angeben ([[media: TU Wien-Formale Modellierung VU (Salzer) - TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|SS2018 - Übung 3 - Aufgabe 9]])
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 12}})
+
*'''Aufgabe 4:''' Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
# SAT-Solver  ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1  Aufgabe 12}})
+
*'''Aufgabe 5:''' EBNF für Datalog ([[media: TU Wien-Formale Modellierung VU (Salzer) - TU Wien-Formale Modellierung VU (Salzer) - Übung 3 - Musterlösung (2018S).pdf|SS2018 - Übung 3 - Aufgabe 3]])
 
 
==={{/fmod|144}}===
 
# Endlichen Automaten modellieren (Linienhalma) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014W).pdf|WS2014- Übung 1 - Aufgabe 14}})
 
# Boolsche Ausdrücke
 
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 10}})
 
# Prädikatenlogik
 
# Petri-Netz
 
 
 
==={{/fmod|143}}===
 
# Moore-Automat modellieren (Roboter) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014W).pdf|2014W UE1  Aufgabe 15}})
 
# EBNF für PDDL ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 9}})
 
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014W).pdf|2014W UE1  Aufgabe 11}})
 
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 12}})
 
# Formale Sprachen: reguläre Grammatik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2  Aufgabe 7}})
 
 
 
==={{/fmod|142}}===
 
# Endlichen Automat modellieren (Aufzugssteuerung) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014S) (LaTeX).pdf|2014S UE1  Aufgabe 15}})
 
# kontextfreie Grammatik für Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014S).pdf|2014S UE2  Aufgabe 11}})
 
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014S) (LaTeX).pdf|2014S UE1  Aufgabe 11}})
 
# Prädikatenlogik
 
# SAT-Solver  ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 11}})
 
 
 
==={{/fmod|141}}===
 
# Endlichen Automat modellieren (Getränkeautomat) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2014S) (LaTeX).pdf|2014S UE1  Aufgabe 14}})
 
# EBNF für Prädikatenlogik
 
# Aussagenlogik
 
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014S).pdf|2014S UE2  Aufgabe 13}})
 
# Beispiel "pure Grammatik" ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2  Aufgabe 10}})
 
 
 
==={{/fmod|135}}===
 
# SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 11}})
 
# Endlichen Automat modellieren ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 14}})
 
# EBNF für Variablendeklaration in Java
 
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1  Aufgabe 11}})
 
# Prädikatenlogik
 
 
 
==={{/fmod|134}}===
 
# Automaten (Mystery-Automat)
 
# Deterministischen endlichen Automat modellieren (2015S UE2  Aufgabe 3)
 
# EBNF für Scheme
 
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 10}})
 
# Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2  Aufgabe 14}})
 
 
 
==={{/fmod|133}}===
 
# SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013W) (LaTeX).pdf|2013W UE1  Aufgabe 11}})
 
# Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
 
# EBNF für Regex
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|132}}===
 
# Petri-Netz
 
# Endlichen Automat modellieren (Tresorschloss) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 14}})
 
# EBNF
 
# Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1  Aufgabe 12}})
 
# Prädikatenlogik
 
 
 
==={{/fmod|131}}===
 
# Automaten ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2  Aufgabe 9}})
 
# Endlichen Automat modellieren (Türme von Hanoi mit zwei Scheiben) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1  Aufgabe 14}})
 
# EBNF
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|126}}===
 
# Petri-Netz
 
# Moore/Mealy-Automat modellieren (Radiowecker) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 15}})
 
# EBNF für Prolog
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|125}}===
 
# Gültigkeit von Gleichungen für formale Sprachen
 
# Moore/Mealy-Automat modellieren (Knobelspiel)
 
# EBNF für LaTeX
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|124}}===
 
# Spiegelsprache von Automaten
 
# Moore/Mealy-Automat modellieren (Mikrowelle)
 
# EBNF für Modula
 
#  Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1  Aufgabe 11}})
 
# Prädikatenlogik
 
 
 
==={{/fmod|123}}===
 
# Regex <code>[bc]*(ba)+?</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 
# Endlichen Automat modellieren (Aufzugssteuerung)
 
# EBNF für Regex
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|122}}===
 
# Petri-Netz
 
# Endlicher Automat (Tresorschloss)
 
# EBNF für Datalog ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2  Aufgabe 12}})
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|121}}===
 
# Endlicher Automat zu Regex
 
# Endlichen Automat (Flussüberquerung)
 
# EBNF für Modula
 
# Aussagenlogik
 
# Prädikatenlogik
 
 
 
==={{/fmod|111}}===
 
# Regex <code>(ab)+?[ac]*</code> zu algebraischer Notation und endlichem Automaten mit max. drei &epsilon;-Übergängen
 
# Mealy-Automat für eine Glättung von Bitfolgen
 
# EBNF für HTML
 
# Aussagenlogik
 
# Prädikatenlogik
 

Bitte kopiere keine Webseiten, die nicht deine eigenen sind, benutze keine urheberrechtlich geschützten Werke ohne Erlaubnis des Urhebers!
Du gibst uns hiermit deine Zusage, dass du den Text selbst verfasst hast, dass der Text Allgemeingut (public domain) ist, oder dass der Urheber seine Zustimmung gegeben hat. Falls dieser Text bereits woanders veröffentlicht wurde, weise bitte auf der Diskussionsseite darauf hin. Bitte beachte, dass alle VoWi-Beiträge automatisch unter der „GNU Free Documentation License 1.3“ stehen (siehe VoWi:Urheberrechte für Einzelheiten). Falls du nicht möchtest, dass deine Arbeit hier von anderen verändert und verbreitet wird, dann klicke nicht auf „Seite speichern“.

Abbrechen Bearbeitungshilfe (wird in einem neuen Fenster geöffnet)