Lösung zu Test exam 2

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Lösung zu Test exam 2

Beitrag von himbaer »

Hier könnte jeder der Lust hat seine Lösungen zu dem Test Exam 2 posten und mit anderen Studenten vergleichen.
meine Testsignatur :!:

radio_controlled
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 107
Registriert: 8. Okt 2010 20:31

Re: Lösung zu Test exam 2

Beitrag von radio_controlled »

Hi
Es gibt bereits einen Lösungsvorschlag. Siehe PDF im Anhang
Gruß
Dateianhänge
testExam2solutions.pdf
(265.21 KiB) 150-mal heruntergeladen

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Re: Lösung zu Test exam 2

Beitrag von himbaer »

Gibts das auch zu TestExam1???
meine Testsignatur :!:

radio_controlled
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 107
Registriert: 8. Okt 2010 20:31

Re: Lösung zu Test exam 2

Beitrag von radio_controlled »

Das habe ich noch nicht gefunden. Vielleicht dafür jemand von euch

Es gibt aber noch eine 3. Probleklausur: http://www.cse.chalmers.se/edu/year/201 ... /exam.html

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Re: Lösung zu Test exam 2

Beitrag von himbaer »

Bei diesem Test exam stehe ich gerade bei Assignment 4b) auf dem Schlauch. Kann mir eventuell mal jemand erklären, warum genau die Eigenschaften valid/invalid sind? Irgendwie habe ich das wohl nicht ganz verstanden.
meine Testsignatur :!:

Benutzeravatar
JannikV
Nerd
Nerd
Beiträge: 609
Registriert: 24. Apr 2011 12:42

Re: Lösung zu Test exam 2

Beitrag von JannikV »

Sprichst du jetzt vom Test Exam 2 das uns bereitgestellt wurde oder von dem aus dem vorherigen Post?

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Re: Lösung zu Test exam 2

Beitrag von himbaer »

Das, welches uns bereit gestellt worden ist.
meine Testsignatur :!:

Benutzeravatar
JannikV
Nerd
Nerd
Beiträge: 609
Registriert: 24. Apr 2011 12:42

Re: Lösung zu Test exam 2

Beitrag von JannikV »

1) invalid, da immer der zweite do Fall genommen werden könnte
2) invalid, allein am Anfang schon nicht
3) valid, muss so sein, versuch mal ein Gegenbeispiel zu erzeugen
4) invalid, immer den oberen von if nehmen bis 10, dann den ersten von do, dann wieder den oberen von if bis x=30, dann den unteren von if, dann wieder den oberen do usw..
5) valid, guck dir den Code an, einmal so groß geworden wird es nie wieder kleiner.
6) invalid, haben ja schon gezeigt dass es nichtmal einmal 11 werden muss
7) valid, weil wir dann den oberen nie nehmen dürfen und so zwangsläufig auf x==11 kommen, immer wieder

VG

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Re: Lösung zu Test exam 2

Beitrag von himbaer »

Du hast mir zwar jetzt die Lösung von Test exam 1 geschrieben, aber allein das hat mir geholfen, von meinem Schlauch auf dem ich stand zu springen. Vielen dank
meine Testsignatur :!:

Benutzeravatar
JannikV
Nerd
Nerd
Beiträge: 609
Registriert: 24. Apr 2011 12:42

Re: Lösung zu Test exam 2

Beitrag von JannikV »

Ups, in der Tat. Freut mich dass es trotzdem klar geworden ist ^^

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Re: Lösung zu Test exam 2

Beitrag von himbaer »

radio_controlled hat geschrieben:Hi
Es gibt bereits einen Lösungsvorschlag. Siehe PDF im Anhang
Gruß
In diesem pdf gibt es sogar 2 Aufgaben mehr, als in der eigentlichen Aufgabenstellung. Können in der Klausur auch ähnliche Aufgabe zu den Buechi-Automaten drannkommen, wie bei dieser Lösung in Aufgabe 7?
Ich verstehe hier nämlich die Lösung zu der Aufgabe 7d) nicht so ganz. Kann mir eventuell jemand erklären, wie ich von der LTL Formel zu dem Buechi-Automaten komme?
Wäre echt super nett.
meine Testsignatur :!:

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Lösung zu Test exam 2

Beitrag von Nathan Wasser »

himbaer hat geschrieben:In diesem pdf gibt es sogar 2 Aufgaben mehr, als in der eigentlichen Aufgabenstellung.
Hmmmm... ob sich die Veranstalter dabei was gedacht haben? Neee, bestimmt nicht.

himbaer
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 28. Apr 2010 19:29
Kontaktdaten:

Re: Lösung zu Test exam 2

Beitrag von himbaer »

Nathan Wasser hat geschrieben:
himbaer hat geschrieben:In diesem pdf gibt es sogar 2 Aufgaben mehr, als in der eigentlichen Aufgabenstellung.
Hmmmm... ob sich die Veranstalter dabei was gedacht haben? Neee, bestimmt nicht.
Da ich aus diesem Post eine sehr starke Ironie herauslese, würde mich nun nochmehr eine Erklärung zu Lösung der Aufgabe 7d) interessieren.
meine Testsignatur :!:

Nathan Wasser
Kernelcompilierer
Kernelcompilierer
Beiträge: 430
Registriert: 16. Okt 2009 09:48

Re: Lösung zu Test exam 2

Beitrag von Nathan Wasser »

Kann mir eventuell jemand erklären, wie ich von der LTL Formel zu dem Buechi-Automaten komme?
Ja, das könnte ich. Mach ich auch gerne. Aber da das nicht Bestandteil der Vorlesung war und die Klausur in wenigen Tagen geschrieben wird, dient es eventuell nicht dem allgemeinen Nutzen jetzt darüber zu reden. Können wir das am Dienstag machen?

Antworten

Zurück zu „Archiv“