TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests: Unterschied zwischen den Versionen

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

Aktuelle Version vom 18. Juni 2019, 11:36 Uhr

Link zu offiziellen alten Prüfungsangaben

Nach Themen[Bearbeiten]

Aussagenlogik[Bearbeiten]

Prädikatenlogik[Bearbeiten]

Kontextfreie Grammatik[Bearbeiten]

Petri-Netze[Bearbeiten]

Automaten und Regex[Bearbeiten]

Sonstiges[Bearbeiten]

oder (Bsp5): (2016W UE1 Aufgabe 12)

Nach Tests[Bearbeiten]

191[Bearbeiten]

  1. Aussagenlogik (2019S UE1 Aufgabe 10)
  2. Prädikatenlogik
  3. Mealy-Automat (Knobelspiel) (2019S UE2 Aufgabe 3)
  4. EBNF für LaTeX (2019S UE3 Aufgabe 3)
  5. Endlicher Automat zu Regex

182[Bearbeiten]

  1. Aussagenlogik (2018S UE1 Aufgabe 10)
  2. Prädikatenlogik
  3. Petri-Netz angeben (Restaurant) (2018S UE3 Aufgabe 10)
  4. Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
  5. EBNF für Datalog (2018S UE3 Aufgabe 3)

181[Bearbeiten]

  1. Aussagenlogik
  2. Prädikatenlogik
  3. endlichen Automat angeben (Pacman)
  4. Boolschen Algebra
  5. Petri-Netz (Ampeln)

173[Bearbeiten]

  1. Petri-Netz angeben (Fertigungsstraßen) (2017W UE3 Aufgabe 8)
  2. Aussagenlogik (2017W UE1 Aufgabe 10)
  3. Prädikatenlogik
  4. EBNF für LaTeX \frac (2017W UE3 Aufgabe 3)
  5. Beispiel für Aussagenlogik: Resolutionsregel

172[Bearbeiten]

  1. endlichen Automat angeben (Pacman) (2017W UE2 Aufgabe 4)
  2. Aussagenlogik
  3. Prädikatenlogik (2017W UE3 Aufgabe 6)
  4. EBNF für Dot
  5. Beispiel zu formalen Sprachen: monotone Grammatik (2017W UE3 Aufgabe 4)

171[Bearbeiten]

  1. Petri-Netz angeben
  2. Aussagenlogik
  3. Prädikatenlogik
  4. EBNF zu C++ if-Abfragen (2018S UE3 Aufgabe 4)
  5. Boolschen Algebra

164[Bearbeiten]

  1. endlichen Automaten angeben (B-Sprache) (2017S UE1 Aufgabe 14)
  2. Aussagenlogik
  3. Prädikatenlogik
  4. EBNF für TikZ-Baumdiagramme
  5. Spezialfall kontextfreie Grammatik "Automatengrammatik"

163[Bearbeiten]

  1. Petri-Netz angeben (2016W UE2 Aufgabe 13)
  2. Aussagenlogik (2016W UE1 Aufgabe 11)
  3. Prädikatenlogik (2016W UE2 Aufgabe 11)
  4. kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge (2016W UE2 Aufgabe 10)
  5. SAT-Solver (2015W UE1 Aufgabe 12)

162[Bearbeiten]

  1. Petri-Netz angeben (Ampeln) (2016W UE2 Aufgabe 14)
  2. EBNF für Datalog (2012W UE2 Aufgabe 12)
  3. Aussagenlogik (2016W UE1 Aufgabe 10)
  4. Prädikatenlogik
  5. reguläre Grammatik (2014W UE2 Aufgabe 7)

161[Bearbeiten]

  1. Moore/Mealy-Automat (Knobelspiel) (2016S UE2 Aufgabe 3)
  2. Petri-Netz angeben (2013W UE2 Aufgabe 16)
  3. kontextfreie Grammatik für Prädikatenlogik (2014S UE2 Aufgabe 11)
  4. Aussagenlogik (2016S UE1 Aufgabe 11)
  5. Prädikatenlogik (2013W UE2 Aufgabe 14)

154[Bearbeiten]

  1. Mealy-Automat (Roboter) (2016S UE1 Aufgabe 15)
  2. EBNF für Modula (2013S UE2 Aufgabe 13)
  3. Aussagenlogik (2013S UE1 Aufgabe 12)
  4. Prädikatenlogik
  5. Boolschen Algebra

153[Bearbeiten]

  1. Mealy-Automaten und Transducer angeben (Ternärnumerale) (2015W UE2 Aufgabe 3)
  2. Petri-Netz (2015W UE2 Aufgabe 15)
  3. Aussagenlogik
  4. Prädikatenlogik (2015W UE2 Aufgabe 13)
  5. Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge

152[Bearbeiten]

  1. Endlichen Automaten modellieren (Tresorschloss) (2015W UE1 Aufgabe 14)
  2. EBNF für Lambdakalkül (2015W UE2 Aufgabe 11)
  3. Aussagenlogik
  4. Prädikatenlogik
  5. Automaten für den Durchschnitt der Sprachen zweier Automaten

151[Bearbeiten]

  1. Mealy-Automat modellieren (Fahrkartenautomat)
  2. Petri-Netz modellieren (2015S UE2 Aufgabe 14)
  3. Aussagenlogik (2015S UE1 Aufgabe 11)
  4. Prädikatenlogik
  5. Spiegelsprache von Automaten (2012W UE2 Aufgabe 7)

145[Bearbeiten]

  1. Mealy-Automat modellieren (Token-Automat) (2015S UE1 Aufgabe 15)
  2. EBNF für lineare Programme (2015S UE2 Aufgabe 9)
  3. Aussagenlogik (2015S UE1 Aufgabe 10)
  4. Prädikatenlogik (2015S UE2 Aufgabe 12)
  5. SAT-Solver (2015S UE1 Aufgabe 12)

144[Bearbeiten]

  1. Endlichen Automaten modellieren (Linienhalma) (WS2014- Übung 1 - Aufgabe 14)
  2. Boolsche Ausdrücke
  3. Aussagenlogik (2015W UE1 Aufgabe 10)
  4. Prädikatenlogik
  5. Petri-Netz

143[Bearbeiten]

  1. Moore-Automat modellieren (Roboter) (2014W UE1 Aufgabe 15)
  2. EBNF für PDDL (2014W UE2 Aufgabe 9)
  3. Aussagenlogik (2014W UE1 Aufgabe 11)
  4. Prädikatenlogik (2014W UE2 Aufgabe 12)
  5. Formale Sprachen: reguläre Grammatik (2014W UE2 Aufgabe 7)

142[Bearbeiten]

  1. Endlichen Automat modellieren (Aufzugssteuerung) (2014S UE1 Aufgabe 15)
  2. kontextfreie Grammatik für Prädikatenlogik (2014S UE2 Aufgabe 11)
  3. Aussagenlogik (2014S UE1 Aufgabe 11)
  4. Prädikatenlogik
  5. SAT-Solver (2013W UE1 Aufgabe 11)

141[Bearbeiten]

  1. Endlichen Automat modellieren (Getränkeautomat) (2014S UE1 Aufgabe 14)
  2. EBNF für Prädikatenlogik
  3. Aussagenlogik
  4. Prädikatenlogik (2014S UE2 Aufgabe 13)
  5. Beispiel "pure Grammatik" (2015S UE2 Aufgabe 10)

135[Bearbeiten]

  1. SAT-Solver (2013W UE1 Aufgabe 11)
  2. Endlichen Automat modellieren (2013W UE1 Aufgabe 14)
  3. EBNF für Variablendeklaration in Java
  4. Aussagenlogik (2016S UE1 Aufgabe 11)
  5. Prädikatenlogik

134[Bearbeiten]

  1. Automaten (Mystery-Automat)
  2. Deterministischen endlichen Automat modellieren (2015S UE2 Aufgabe 3)
  3. EBNF für Scheme
  4. Aussagenlogik (2013W UE1 Aufgabe 10)
  5. Prädikatenlogik (2013W UE2 Aufgabe 14)

133[Bearbeiten]

  1. SAT-Solver (2013W UE1 Aufgabe 11)
  2. Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
  3. EBNF für Regex
  4. Aussagenlogik
  5. Prädikatenlogik

132[Bearbeiten]

  1. Petri-Netz
  2. Endlichen Automat modellieren (Tresorschloss) (2015W UE1 Aufgabe 14)
  3. EBNF
  4. Aussagenlogik (2013S UE1 Aufgabe 12)
  5. Prädikatenlogik

131[Bearbeiten]

  1. Automaten (2015W UE2 Aufgabe 9)
  2. Endlichen Automat modellieren (Türme von Hanoi mit zwei Scheiben) (2013S UE1 Aufgabe 14)
  3. EBNF
  4. Aussagenlogik
  5. Prädikatenlogik

126[Bearbeiten]

  1. Petri-Netz
  2. Moore/Mealy-Automat modellieren (Radiowecker) (2015W UE1 Aufgabe 15)
  3. EBNF für Prolog
  4. Aussagenlogik
  5. Prädikatenlogik

125[Bearbeiten]

  1. Gültigkeit von Gleichungen für formale Sprachen
  2. Moore/Mealy-Automat modellieren (Knobelspiel)
  3. EBNF für LaTeX
  4. Aussagenlogik
  5. Prädikatenlogik

124[Bearbeiten]

  1. Spiegelsprache von Automaten
  2. Moore/Mealy-Automat modellieren (Mikrowelle)
  3. EBNF für Modula
  4. Aussagenlogik (2015W UE1 Aufgabe 11)
  5. Prädikatenlogik

123[Bearbeiten]

  1. Regex [bc]*(ba)+? zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen
  2. Endlichen Automat modellieren (Aufzugssteuerung)
  3. EBNF für Regex
  4. Aussagenlogik
  5. Prädikatenlogik

122[Bearbeiten]

  1. Petri-Netz
  2. Endlicher Automat (Tresorschloss)
  3. EBNF für Datalog (2012W UE2 Aufgabe 12)
  4. Aussagenlogik
  5. Prädikatenlogik

121[Bearbeiten]

  1. Endlicher Automat zu Regex
  2. Endlichen Automat (Flussüberquerung)
  3. EBNF für Modula
  4. Aussagenlogik
  5. Prädikatenlogik

111[Bearbeiten]

  1. Regex (ab)+?[ac]* zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen
  2. Mealy-Automat für eine Glättung von Bitfolgen
  3. EBNF für HTML
  4. Aussagenlogik
  5. Prädikatenlogik