Die ersten Prüfungen sind heute gelaufen. Da FGI3 der Horror schlechthin ist hoffe ich, dass sich dieses Jahr einige zu einem GProt "herablassen" :), da soetwas der Nachwelt ja ungemein hilft. Werde nach meiner Prüfung auf alle Fälle eines hier reinstellen. Hoffe dass einige (nach dem Bestehen erleichterte :D) Studis hier was niederschreiben, wo die Fragen jetzt noch frisch im Kopf sein dürften.

Das ist aufjedenfall sehr nett! Hoffe es schreiben noch mehr hier rein :-)

Lernen kann man zusätzlich auch anhand der vorhandenen LOS GProts…

Wow, na das ist ja richtig voll geworden hier :D. Die GProt-Kultur entwickelt sich nicht ganz so gut in letzter Zeit.
Naja, zumindest mein versprochenes GProt:

Erste Frage: Wollen Sie mit dem Logik oder Semantikteil anfangen?
Logik.
Wir haben Logiken ja bereits in FGI1 behandelt, welche sind denn neu in FGI3?
Was ist sonst neu in FGI3 bzgl. der Logiken?
Wofür brauchen wir denn die Mehrwertige Logik?
Funktioniert Tableau auch bei der Mehrwertigen Logik?
Wie sieht das markierte Tableau aus?
Was muss man dabei beachten?
Ist es wie das AL Tableau Korrekt und Vollständig? Terminiert es?
Wie beweisen wir die Termination beim AL Tableau?
Was genau besagt das Königslemma, wie genau wird es zum Beweis der Termination für AL Tableau herangezogen?
Was ist der Rang? Wie ist er definiert? Wozu dient er?
Kann man das auch beim markierten Tableau genauso machen(Beweis von Termination)?
Wo müsste man beim markierten Tableau denn genauer hinschauen um zu sehen, ob es Terminiert ?(Expansionsregeln)

Schwenk zu Semantik
Wie und wo haben wir denn hier Termination/Nichttermination behandelt?
Schreiben Sie die Hoare Regel der while Schleife auf (partielle Korrektheit).
Wo genau sieht man hier Termination/Nichttermination bzw sieht man das? Erklären Sie das aufgeschriebene mal genauer.
Was ist totale und vollständige Korrektheit?
Wie behandeln wir in der D. Semantik denn Nichttermination?
Was ist groß Sigma? Was ist Bottom?
Was für ein Problem haben wir denn bei der while Schleife in der D. Sem?
Abwickelgleichung aufschreiben, erklären wieso das so ist. Wo ist bei dieser Anfangsdefinition das Problem?
Woran sieht man denn, dass wir mehrere/nicht eindeutige Lösungen haben?
Wie Lösen wir das Dilemma der Abwickelgleichung/wie bekommen wir eindeutige Lösungen?


Das müsste es im Groben gewesen sein. Wie aus anderen GProt herauszulesen ist ist Frau Eschenbach eine angenehme Prüferin, also kein Stress.