Hallo
Ich lerne für die FGI3 Prüfung und bereite mich auch gerne mit GProts aus unserem wunderbaren GProtsystem auf die Prüfungen vor, jedoch existieren leider nur von Eschenbach, Valk und Janzen Protokolle zur FGI3-Prüfung.
Könnte mir vielleicht jemand, der bei ihm schon Prüfung hatte, grob zusammen fassen, was er so drangenommen hat und auf welche Themen er besonders Wert gelegt hat?
Ich werde nach meiner Prüfung auf jedenfall auch ein Protokoll dazu schreiben!
Gruß
Ick glob dit liegt daran, dass der Köhler dit dieset jahr zu ersten mal abfragt wa!
Jepp, das weiß ick. Aber es gab bereits mindestens einen Prüfungstermin bei Köhler.
Es ging um
* Logikarten
* Tableaubeweis, was ist das, was kann es, was ist beweisbar, beweise !P + P, geht das auch mit Prädikatenlogik, Kompaktheitstheorem
* Denotationelle Semantik, was ist das, was passiert da, zwei einfache Gleichungen aufgeschrieben.
* Fixpunktzeugs. Wofür, was braucht man dafür, (Prä)-Domänen, Stetigkeit, etc
* Lambda-Kalkül: wie funktioniert das, Alpha/Beta-Reduktion, Normalform, gibt es immer ein eindeutiges Reduktionsergebnis (Irgendwas-Ross-Theorem?)
Atmosphäre war super, er war nett, hat Sachen, die ich nicht wusste gut erklärt und auch immer Hilfestellungen gegeben.
Gibts vielleicht Leute, die in dieser vorlesungsfreien Zeit Prüfung bei Köhler hatten und ein bischen was erzählen könnten? Danke schonmal!
Hallo Leute!
Ich habe meine (LOS)Prüfung mit Unterlagen der FGI3-VL bei Herrn Köhler-Bußmeier am letzten Montag hinter mich gebracht. Ich finde es entsätzlich, dass es keine Gedächtnissprotokolle zu seinen Prüfungen gibt. Ich werde auf jeden Fall einen schreiben, das kann aber etwas dauern. Also daher eine recht kurze Zusammenfassung.
Beim Lernen habe ich die empfohlene Bücher (Logik - "First-Order-Logik" von Fitting, Semantik - "Theories of Programming Languages" von John. C. Reynolds) und die Gedächtnissprotokolle benutz. Wobei bei den Gedächtnisprotokollen legte ich meinen Augenschein überwiegen auf die von Herr Valk. Die Fragen spiegeln nicht alles was erzählt und was dran kam, da ich versucht habe die Fragen, die gestellt wurden als Stichpunkte anzusehen, zu denen ich soviel Information von mir geben konnte wie möglich.
Hier der Überblick:
- Was wurde in der VL durchgenommen? In dem Logikteil, Semantikteil?
- (P ∨ ¬P) ist das eine Tautologie?
- Wie beweist man eine Tautologie mit Tableau?
- Wann ist ein Tableau abgeschlossen?
- Geben Sie den Tableau-Beweis für (P ∨ ¬P).
- Korrektheit,Vollständigkeit des Tableau-Verfahrens?
- Entscheidbarkeit für Tableau-Verfahrens? (AL,PL)
Denotationale Semantik:
- Zuweisung, klein-Sigma-Abbildung, groß-Sigma-Abbilbung,
- Was ist eine Domäne, eine Prädomäne, eine Kette?
- While-Schleife der Übergang und die jeweiligen Gründe von der Darstellung als If-Schleife und dann die Darstellung mit einer Funktionen, die den kleinsten Fixpunkt der while-Schleife liefert.
-Wann ist eine Funktion stetig?
Viel Erfolg beim Lernen und gutes Gelingen in der Prüfung!
Es gibt ab FGI3 also wirklich eine if-Schleife?
aus dem Modulhandbuch:
>>Modulverantwortliche(r)
>>Habel
>>Lehrende
>>Eschenbach, Habel
Ist das aktuell? Hier wird ja von Köhler gesprochen..
Präziser: Steht schon fest, wer die Vorlesung im kommenden Semester halten wird?
Also Stand Lehreplanung Mai 2012 machen es wieder Köhler und Eschenbach. Ob es seit dem irgendwelche Umplanungen gegeben hat, weiß ich nicht.
Du zitierst glaube ich aus dem Modulhandbuch mit Stand 2011.
Also Stand Lehreplanung Mai 2012 machen es wieder Köhler und Eschenbach. Ob es seit dem irgendwelche Umplanungen gegeben hat, weiß ich nicht.
Du zitierst glaube ich aus dem Modulhandbuch mit Stand 2011.
Weiß jemand mehr? Im Modulhandbuch steht noch kein Name.
Also Stand Lehreplanung Mai 2012 machen es wieder Köhler und Eschenbach. Ob es seit dem irgendwelche Umplanungen gegeben hat, weiß ich nicht.
Du zitierst glaube ich aus dem Modulhandbuch mit Stand 2011.
Weiß jemand mehr? Im Modulhandbuch steht noch kein Name.
Im Vorlesungsverzeichnis steht Logik: Eschenbach, Semantik: Koehler, Seminar: Eschenbach, Koehler, Valk.
https://www.stine.uni-hamburg.de/scripts/mgrqispi.dll?APPNAME=CampusNet&PRGNAME=ACTION&ARGUMENTS=-Ay5UAPrsM9A5Dlcfoy6TkK8tKGgUNR8qmoNQPOGO94kIVUZz2DGATOWC04J2u-I8Q.1CN9I2f6GieK8yRKb2N9KQrSRD9gKujDfAKalLdHspWYixEKDwV43.xW9.j3Ih0ShDOyGqJS.gre4Uw
Danke, auf die Idee in Stine zu schauen kam ich natürlich nicht.
Aber…………. es gibt ein Seminar?
Danke, auf die Idee in Stine zu schauen kam ich natürlich nicht.
Aber…………. es gibt ein Seminar?
Ja. Es gibt keinen Übungsbetrieb, stattdessen gibt es ein integriertes Seminar. Voraussetzung für den Schein ist also eine Präsentation+Hausarbeit.
Warum war die Frage, ob das bei Köhler/Eschenbach stattfindet, denn überhaupt so wichtig? Schlechte Erfahrungen? :D
Biete FGI-3 Nachhilfe an. Bei Interesse, bitte pm an mich oder email an patuscheck@gmx.de .