Difference between revisions of "TU Wien:Formale Modellierung VU (Salzer)/Lösungen alte Tests"
Jump to navigation
Jump to search
Gittenburg (talk | contribs) m (→2012-10-29) |
Gittenburg (talk | contribs) |
||
(30 intermediate revisions by the same user not shown) | |||
Line 1: | Line 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 == |
− | |||
− | |||
− | |||
− | |||
− | |||
− | == | + | === Aussagenlogik === |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | * {{/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}} | |
− | * | + | * {{/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}} |
− | + | * {{/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}} | |
− | * | + | * {{/fmod|163}} {{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1 Aufgabe 11}} |
− | * | + | * {{/fmod|162}} {{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1 Aufgabe 10}} |
− | |||
− | == | + | === 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}} | |
− | + | * {{/fmod|163}} {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 11}} | |
− | |||
− | |||
− | |||
− | |||
− | == | + | === Kontextfreie Grammatik === |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | * {{/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}} | |
− | * | + | * {{/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}} |
− | + | * {{/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}} | |
− | + | * {{/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}} | |
− | * | + | * {{/fmod|163}} kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 10}}) |
− | * | + | * {{/fmod|162}} {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2 Aufgabe 12}} |
− | == | + | === Petri-Netze === |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | * {{/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}} | |
− | + | * {{/fmod|181}} Ampeln | |
− | + | * {{/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}} | |
− | * | + | * {{/fmod|163}} Tankstelle {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 13}} |
− | * | + | * {{/fmod|162}} Ampeln {{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 14}} |
− | * | ||
− | == | + | === Automaten und Regex === |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | * {{/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}} | |
− | * | + | * {{/fmod|191}} Endlicher Automat zu Regex |
− | * | + | * {{/fmod|182}} Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat |
− | * | + | * {{/fmod|181}} endlichen Automat angeben (Pacman) |
− | + | * {{/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}} | |
− | * | + | * {{/fmod|164}} endlichen Automaten angeben (B-Sprache) {{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2017S).pdf|2017S UE1 Aufgabe 14}} |
− | == | + | === Sonstiges === |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | * {{/fmod|181}} Boolschen Algebra | |
− | *''' | + | * {{/fmod|173}} Beispiel für Aussagenlogik: ''Resolutionsregel'' |
− | * | + | * {{/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}}) |
− | * | + | * {{/fmod|171}} Boolschen Algebra |
− | * | + | * {{/fmod|164}} Spezialfall kontextfreie Grammatik "Automatengrammatik" |
− | * | + | * {{/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}} | ||
− | == | + | == Nach Tests == |
− | |||
− | |||
− | |||
− | |||
− | |||
− | == | + | === {{/fmod|191}} === |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | # Aussagenlogik ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2019S).pdf|2019S UE1 Aufgabe 10|#=page=13&zoom=100,0,500}}) | |
− | + | # Prädikatenlogik | |
− | + | # 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}}) | |
− | + | # 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}}) | |
− | + | # Endlicher Automat zu Regex | |
− | |||
− | == | + | === {{/fmod|182}} === |
− | + | # Aussagenlogik ({{Media|TU_Wien-Formale_Modellierung_VU_(Salzer)_-_Übung_1_-_Musterlösung_(2018S).pdf|2018S UE1 Aufgabe 10|#=page=12&zoom=100,0,500}}) | |
− | + | # Prädikatenlogik | |
− | + | # 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}}) | |
− | + | # Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat | |
− | + | # 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}}) | |
− | == | + | === {{/fmod|181}} === |
− | + | # Aussagenlogik | |
− | + | # Prädikatenlogik | |
− | + | # endlichen Automat angeben (Pacman) | |
− | + | # Boolschen Algebra | |
− | + | # Petri-Netz (Ampeln) | |
− | == | + | ==={{/fmod|173}}=== |
− | + | # 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}}) | |
− | + | # 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}}) | |
− | + | # Prädikatenlogik | |
− | + | # 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}}) | |
− | + | # Beispiel für Aussagenlogik: ''Resolutionsregel'' | |
− | == | + | ==={{/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}}) | |
− | + | # Aussagenlogik | |
− | + | # 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}}) | |
− | + | # EBNF für Dot | |
− | + | # 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}}) | |
− | == | + | ==={{/fmod|171}}=== |
− | + | # Petri-Netz angeben | |
− | + | # Aussagenlogik | |
− | + | # Prädikatenlogik | |
− | + | # 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}}) | |
− | + | # 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}}) | |
− | + | # Aussagenlogik | |
− | + | # Prädikatenlogik | |
− | + | # EBNF für TikZ-Baumdiagramme | |
− | + | # Spezialfall kontextfreie Grammatik "Automatengrammatik" | |
− | == | + | ==={{/fmod|163}}=== |
− | + | # Petri-Netz angeben ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 13}}) | |
− | + | # Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1 Aufgabe 11}}) | |
− | + | # Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 11}}) | |
− | *''' | + | # kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 10}}) |
− | + | # 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}}=== |
− | + | # Petri-Netz angeben (Ampeln) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016W).pdf|2016W UE2 Aufgabe 14}}) | |
− | + | # EBNF für Datalog ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2 Aufgabe 12}}) | |
− | + | # Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016W).pdf|2016W UE1 Aufgabe 10}}) | |
− | + | # Prädikatenlogik | |
− | + | # reguläre Grammatik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2014W).pdf|2014W UE2 Aufgabe 7}}) | |
− | |||
− | == | + | ==={{/fmod|161}}=== |
− | + | # Moore/Mealy-Automat (Knobelspiel) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2016S).pdf|2016S UE2 Aufgabe 3}}) | |
− | + | # Petri-Netz angeben ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2 Aufgabe 16}}) | |
− | + | # 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 (2016S).pdf|2016S UE1 Aufgabe 11}}) | |
− | + | # Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013W) (LaTeX).pdf|2013W UE2 Aufgabe 14}}) | |
− | == | + | ==={{/fmod|154}}=== |
− | + | # Mealy-Automat (Roboter) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2016S).pdf|2016S UE1 Aufgabe 15}}) | |
− | + | # EBNF für Modula ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2013S).pdf|2013S UE2 Aufgabe 13}}) | |
− | + | # Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2013S).pdf|2013S UE1 Aufgabe 12}}) | |
− | + | # Prädikatenlogik | |
− | + | # Boolschen Algebra | |
− | == | + | ==={{/fmod|153}}=== |
− | + | # Mealy-Automaten und Transducer angeben (Ternärnumerale) ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2 Aufgabe 3}}) | |
− | + | # Petri-Netz ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2 Aufgabe 15}}) | |
− | + | # Aussagenlogik | |
− | + | # Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2 Aufgabe 13}}) | |
− | + | # Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge | |
− | == | + | ==={{/fmod|152}}=== |
− | + | # Endlichen Automaten modellieren (Tresorschloss) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015W).pdf|2015W UE1 Aufgabe 14}}) | |
− | + | # EBNF für Lambdakalkül ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015W).pdf|2015W UE2 Aufgabe 11}}) | |
− | + | # Aussagenlogik | |
− | + | # Prädikatenlogik | |
− | + | # Automaten für den Durchschnitt der Sprachen zweier Automaten | |
− | == | + | ==={{/fmod|151}}=== |
− | + | # Mealy-Automat modellieren (Fahrkartenautomat) | |
− | + | # Petri-Netz modellieren ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2 Aufgabe 14}}) | |
− | + | # Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1 Aufgabe 11}}) | |
− | + | # Prädikatenlogik | |
− | + | # Spiegelsprache von Automaten ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2012W).pdf|2012W UE2 Aufgabe 7}}) | |
− | == | + | ==={{/fmod|145}}=== |
− | + | # Mealy-Automat modellieren (Token-Automat) ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1 Aufgabe 15}}) | |
− | + | # EBNF für lineare Programme ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2 Aufgabe 9}}) | |
− | + | # Aussagenlogik ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1 Aufgabe 10}}) | |
− | + | # Prädikatenlogik ({{Media|{{FILEPREFIX:..}}Übung 2 - Musterlösung (2015S).pdf|2015S UE2 Aufgabe 12}}) | |
− | + | # SAT-Solver ({{Media|{{FILEPREFIX:..}}Übung 1 - Musterlösung (2015S).pdf|2015S UE1 Aufgabe 12}}) | |
+ | |||
+ | ==={{/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 ε-Ü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 ε-Übergängen | ||
+ | # Mealy-Automat für eine Glättung von Bitfolgen | ||
+ | # EBNF für HTML | ||
+ | # Aussagenlogik | ||
+ | # Prädikatenlogik |
Latest revision as of 10:36, 18 June 2019
Link zu offiziellen alten Prüfungsangaben
Nach Themen[edit]
Aussagenlogik[edit]
- 191 2019S UE1 Aufgabe 10
- 182 2018S UE1 Aufgabe 10
- 173 2017W UE1 Aufgabe 10
- 163 2016W UE1 Aufgabe 11
- 162 2016W UE1 Aufgabe 10
Prädikatenlogik[edit]
Kontextfreie Grammatik[edit]
- 191 2019S UE3 Aufgabe 3
- 182 2018S UE3 Aufgabe 3
- 173 2017W UE3 Aufgabe 3
- 171 2018S UE3 Aufgabe 4
- 163 kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge (2016W UE2 Aufgabe 10)
- 162 2012W UE2 Aufgabe 12
Petri-Netze[edit]
- 182 Restaurant 2018S UE3 Aufgabe 10
- 181 Ampeln
- 173 Fertigungsstraßen 2017W UE3 Aufgabe 8
- 163 Tankstelle 2016W UE2 Aufgabe 13
- 162 Ampeln 2016W UE2 Aufgabe 14
Automaten und Regex[edit]
- 191 Mealy-Automat (Knobelspiel) 2019S UE2 Aufgabe 3
- 191 Endlicher Automat zu Regex
- 182 Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
- 181 endlichen Automat angeben (Pacman)
- 172 endlichen Automat angeben (Pacman) 2017W UE2 Aufgabe 4
- 164 endlichen Automaten angeben (B-Sprache) 2017S UE1 Aufgabe 14
Sonstiges[edit]
- 181 Boolschen Algebra
- 173 Beispiel für Aussagenlogik: Resolutionsregel
- 172 Beispiel zu formalen Sprachen: monotone Grammatik (2017W UE3 Aufgabe 4)
- 171 Boolschen Algebra
- 164 Spezialfall kontextfreie Grammatik "Automatengrammatik"
- 163 SAT-Solver (2015W UE1 Aufgabe 12)
- oder (Bsp5): (2016W UE1 Aufgabe 12)
- 162 reguläre Grammatik 2014W UE2 Aufgabe 7
Nach Tests[edit]
191[edit]
- Aussagenlogik (2019S UE1 Aufgabe 10)
- Prädikatenlogik
- Mealy-Automat (Knobelspiel) (2019S UE2 Aufgabe 3)
- EBNF für LaTeX (2019S UE3 Aufgabe 3)
- Endlicher Automat zu Regex
182[edit]
- Aussagenlogik (2018S UE1 Aufgabe 10)
- Prädikatenlogik
- Petri-Netz angeben (Restaurant) (2018S UE3 Aufgabe 10)
- Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
- EBNF für Datalog (2018S UE3 Aufgabe 3)
181[edit]
- Aussagenlogik
- Prädikatenlogik
- endlichen Automat angeben (Pacman)
- Boolschen Algebra
- Petri-Netz (Ampeln)
173[edit]
- Petri-Netz angeben (Fertigungsstraßen) (2017W UE3 Aufgabe 8)
- Aussagenlogik (2017W UE1 Aufgabe 10)
- Prädikatenlogik
- EBNF für LaTeX
\frac
(2017W UE3 Aufgabe 3) - Beispiel für Aussagenlogik: Resolutionsregel
172[edit]
- endlichen Automat angeben (Pacman) (2017W UE2 Aufgabe 4)
- Aussagenlogik
- Prädikatenlogik (2017W UE3 Aufgabe 6)
- EBNF für Dot
- Beispiel zu formalen Sprachen: monotone Grammatik (2017W UE3 Aufgabe 4)
171[edit]
- Petri-Netz angeben
- Aussagenlogik
- Prädikatenlogik
- EBNF zu C++ if-Abfragen (2018S UE3 Aufgabe 4)
- Boolschen Algebra
164[edit]
- endlichen Automaten angeben (B-Sprache) (2017S UE1 Aufgabe 14)
- Aussagenlogik
- Prädikatenlogik
- EBNF für TikZ-Baumdiagramme
- Spezialfall kontextfreie Grammatik "Automatengrammatik"
163[edit]
- Petri-Netz angeben (2016W UE2 Aufgabe 13)
- Aussagenlogik (2016W UE1 Aufgabe 11)
- Prädikatenlogik (2016W UE2 Aufgabe 11)
- kontextfreie Grammatik für prädikatenlogische Formeln über gegebener Symbolmenge (2016W UE2 Aufgabe 10)
- SAT-Solver (2015W UE1 Aufgabe 12)
- oder (Bsp5): (2016W UE1 Aufgabe 12)
162[edit]
- Petri-Netz angeben (Ampeln) (2016W UE2 Aufgabe 14)
- EBNF für Datalog (2012W UE2 Aufgabe 12)
- Aussagenlogik (2016W UE1 Aufgabe 10)
- Prädikatenlogik
- reguläre Grammatik (2014W UE2 Aufgabe 7)
161[edit]
- Moore/Mealy-Automat (Knobelspiel) (2016S UE2 Aufgabe 3)
- Petri-Netz angeben (2013W UE2 Aufgabe 16)
- kontextfreie Grammatik für Prädikatenlogik (2014S UE2 Aufgabe 11)
- Aussagenlogik (2016S UE1 Aufgabe 11)
- Prädikatenlogik (2013W UE2 Aufgabe 14)
154[edit]
- Mealy-Automat (Roboter) (2016S UE1 Aufgabe 15)
- EBNF für Modula (2013S UE2 Aufgabe 13)
- Aussagenlogik (2013S UE1 Aufgabe 12)
- Prädikatenlogik
- Boolschen Algebra
153[edit]
- Mealy-Automaten und Transducer angeben (Ternärnumerale) (2015W UE2 Aufgabe 3)
- Petri-Netz (2015W UE2 Aufgabe 15)
- Aussagenlogik
- Prädikatenlogik (2015W UE2 Aufgabe 13)
- Beispiel zu Automaten: geänderte Übergangsrelation und geänderte Endzustandsmenge
152[edit]
- Endlichen Automaten modellieren (Tresorschloss) (2015W UE1 Aufgabe 14)
- EBNF für Lambdakalkül (2015W UE2 Aufgabe 11)
- Aussagenlogik
- Prädikatenlogik
- Automaten für den Durchschnitt der Sprachen zweier Automaten
151[edit]
- Mealy-Automat modellieren (Fahrkartenautomat)
- Petri-Netz modellieren (2015S UE2 Aufgabe 14)
- Aussagenlogik (2015S UE1 Aufgabe 11)
- Prädikatenlogik
- Spiegelsprache von Automaten (2012W UE2 Aufgabe 7)
145[edit]
- Mealy-Automat modellieren (Token-Automat) (2015S UE1 Aufgabe 15)
- EBNF für lineare Programme (2015S UE2 Aufgabe 9)
- Aussagenlogik (2015S UE1 Aufgabe 10)
- Prädikatenlogik (2015S UE2 Aufgabe 12)
- SAT-Solver (2015S UE1 Aufgabe 12)
144[edit]
- Endlichen Automaten modellieren (Linienhalma) (WS2014- Übung 1 - Aufgabe 14)
- Boolsche Ausdrücke
- Aussagenlogik (2015W UE1 Aufgabe 10)
- Prädikatenlogik
- Petri-Netz
143[edit]
- Moore-Automat modellieren (Roboter) (2014W UE1 Aufgabe 15)
- EBNF für PDDL (2014W UE2 Aufgabe 9)
- Aussagenlogik (2014W UE1 Aufgabe 11)
- Prädikatenlogik (2014W UE2 Aufgabe 12)
- Formale Sprachen: reguläre Grammatik (2014W UE2 Aufgabe 7)
142[edit]
- Endlichen Automat modellieren (Aufzugssteuerung) (2014S UE1 Aufgabe 15)
- kontextfreie Grammatik für Prädikatenlogik (2014S UE2 Aufgabe 11)
- Aussagenlogik (2014S UE1 Aufgabe 11)
- Prädikatenlogik
- SAT-Solver (2013W UE1 Aufgabe 11)
141[edit]
- Endlichen Automat modellieren (Getränkeautomat) (2014S UE1 Aufgabe 14)
- EBNF für Prädikatenlogik
- Aussagenlogik
- Prädikatenlogik (2014S UE2 Aufgabe 13)
- Beispiel "pure Grammatik" (2015S UE2 Aufgabe 10)
135[edit]
- SAT-Solver (2013W UE1 Aufgabe 11)
- Endlichen Automat modellieren (2013W UE1 Aufgabe 14)
- EBNF für Variablendeklaration in Java
- Aussagenlogik (2016S UE1 Aufgabe 11)
- Prädikatenlogik
134[edit]
- Automaten (Mystery-Automat)
- Deterministischen endlichen Automat modellieren (2015S UE2 Aufgabe 3)
- EBNF für Scheme
- Aussagenlogik (2013W UE1 Aufgabe 10)
- Prädikatenlogik (2013W UE2 Aufgabe 14)
133[edit]
- SAT-Solver (2013W UE1 Aufgabe 11)
- Formale Sprache zu Regex, nichtdeterministischen und deterministischen Automat
- EBNF für Regex
- Aussagenlogik
- Prädikatenlogik
132[edit]
- Petri-Netz
- Endlichen Automat modellieren (Tresorschloss) (2015W UE1 Aufgabe 14)
- EBNF
- Aussagenlogik (2013S UE1 Aufgabe 12)
- Prädikatenlogik
131[edit]
- Automaten (2015W UE2 Aufgabe 9)
- Endlichen Automat modellieren (Türme von Hanoi mit zwei Scheiben) (2013S UE1 Aufgabe 14)
- EBNF
- Aussagenlogik
- Prädikatenlogik
126[edit]
- Petri-Netz
- Moore/Mealy-Automat modellieren (Radiowecker) (2015W UE1 Aufgabe 15)
- EBNF für Prolog
- Aussagenlogik
- Prädikatenlogik
125[edit]
- Gültigkeit von Gleichungen für formale Sprachen
- Moore/Mealy-Automat modellieren (Knobelspiel)
- EBNF für LaTeX
- Aussagenlogik
- Prädikatenlogik
124[edit]
- Spiegelsprache von Automaten
- Moore/Mealy-Automat modellieren (Mikrowelle)
- EBNF für Modula
- Aussagenlogik (2015W UE1 Aufgabe 11)
- Prädikatenlogik
123[edit]
- Regex
[bc]*(ba)+?
zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen - Endlichen Automat modellieren (Aufzugssteuerung)
- EBNF für Regex
- Aussagenlogik
- Prädikatenlogik
122[edit]
- Petri-Netz
- Endlicher Automat (Tresorschloss)
- EBNF für Datalog (2012W UE2 Aufgabe 12)
- Aussagenlogik
- Prädikatenlogik
121[edit]
- Endlicher Automat zu Regex
- Endlichen Automat (Flussüberquerung)
- EBNF für Modula
- Aussagenlogik
- Prädikatenlogik
111[edit]
- Regex
(ab)+?[ac]*
zu algebraischer Notation und endlichem Automaten mit max. drei ε-Übergängen - Mealy-Automat für eine Glättung von Bitfolgen
- EBNF für HTML
- Aussagenlogik
- Prädikatenlogik