FGI-1-Klausur: Gedächtnisprotokoll - Druckversion
+- FB18.de - Das Informatikforum ( /mybb ) +-- Forum: Bachelorstudieng ( /forumdisplay.php?fid=112 ) +--- Forum: PM Formale Informatik ( /forumdisplay.php?fid=99 ) +--- Thema: FGI-1-Klausur: Gedächtnisprotokoll ( /showthread.php?tid=10735 ) |
FGI-1-Klausur: Gedächtnisprotokoll - Ellie - 27.07.2009 14:39 Hallo, für alle, die beim 1. Termin nicht mitgeschrieben haben (da z.B. zu spät die komische Regelung mit Abgabe einer schriftlichen Anmeldung entdeckt): kann bitte jemand zusammenfassen, was inder Klausur so dran kam? Und: ist es üblich, die zweite Klausur etwas schwerer zu machen, als die erste? RE: FGI-1-Klausur: Gedächtnisprotokoll - Anonymer User - 27.07.2009 14:55 zur klausur lies dir am besten den Thread Reinfall! durch. Themen Teil1: Aufgabe1: man sollte 3 "Zeichen" erklären 1. implikation 2. folgerbarkeit 3. ableitung durch MP (keine ahnung wie es heißt :/ ) Aufgabe2: Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar) Aufgabe3: Es war ein NFA gegeben und man sollte mit Potenzautomat nen DFA dazu konstruieren. (zustände des potenzautomaten waren gegeben). Aufgabe4: Resolution folgerbarkeit einer Formel F von einer Formelmenge M zeigen/wiederlegen Formel ma in Implikationsschreibweise gegeben Aufgabe5: Unifikation 3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann waren insgesamt 7 aufgaben im ersten teil, an die andern beiden kann ich mich grad nicht erinnern. Teil 2 folgt ... pizza fertig :) RE: FGI-1-Klausur: Gedächtnisprotokoll - Ellie - 27.07.2009 14:59 Yeah, danke. Was doch alles gar nicht so schlimm. Die Aufgabe 3 war aber sicher aus dem zweiten Teil, oder? RE: FGI-1-Klausur: Gedächtnisprotokoll - Julian F. - 27.07.2009 15:00
Ellie schrieb:
(da z.B. zu spät die komische Regelung mit Abgabe einer schriftlichen Anmeldung entdeckt)
Was meinst du damit? Ich dachte die Klausuranmeldung ist (zum Glück haben wir STiNE
) inzwischen papierlos?
RE: FGI-1-Klausur: Gedächtnisprotokoll - Ellie - 27.07.2009 15:15 Hmm. Im Skript ( http://www.informatik.uni-hamburg.de/WSV/teaching/vorlesungen/FGI1SoSe09/07-DTM-NTM-2.pdf ) steht folgendes: Studierende, die diese Klausur zum ersten Mal mitschreiben möchte, MÜSSEN sich mit einem Formular vorher beim Prüfungsamt anmelden! http://www.informatik.uni-hamburg.de/pa/formulare/ Wer dies nicht tut, wird wieder nach Hause geschickt! Studierende, die diese Klausur als Wiederholungsklausur schreiben wollen, sind automatisch angemeldet, und können ohne weitere Handlungen mitschreiben! Allerdings hab ich gerade in Stine entdeckt, dass ich trotzdem für die heiutige Klausur angemeldet bin, obwohl ich das nicht getan habe (auch über Stine nicht) Hrrr. RE: FGI-1-Klausur: Gedächtnisprotokoll - rothose86 - 27.07.2009 15:18
Ellie schrieb:
Allerdings hab ich gerade in Stine entdeckt, dass ich trotzdem für die heiutige Klausur angemeldet bin, obwohl ich das nicht getan habe (auch über Stine nicht) Hrrr.
RE: FGI-1-Klausur: Gedächtnisprotokoll - Anonymer User - 27.07.2009 15:27 Es war noch was in der art: Seien F und G Formeln. F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar? und das für mehrere verschiedene formeln/Bedingungen! Glaube warn 3 oder 4! RE: FGI-1-Klausur: Gedächtnisprotokoll - Anonymer User - 27.07.2009 15:45 Noch eine aus dem ersten Teil zum Markierungsalgorithmus: Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er? Dann den Ablauf des Algorithmus aufschreiben. Ich denke hier wäre Pseudocode und ein Diagramm wie es auch im Skript war gefragt gewesen. Dann noch zwei Fragen dazu: Begründen Sie, warum der Algorithmus immer terminiert. Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert. habe mal ne Wikiseite aufgemacht, bitte tragt doch alle da ein und formatiert das um, ich habe jetzt keine Zeit und nur schnell copy/paste gemacht: http://www.informatik.uni-hamburg.de/Fachschaft/wiki/index.php/Ged%C3%A4chtnisprotokoll_FGI1-2009-1 RE: FGI-1-Klausur: Gedächtnisprotokoll - Anonymer User - 28.07.2009 21:35 @OP: u failed RE: FGI-1-Klausur: Gedächtnisprotokoll - s4ms3milia - 28.07.2009 23:32
Anonymer User schrieb:
Noch eine aus dem ersten Teil zum Markierungsalgorithmus: Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er? Dann den Ablauf des Algorithmus aufschreiben. Ich denke hier wäre Pseudocode und ein Diagramm wie es auch im Skript war gefragt gewesen.
Dann noch zwei Fragen dazu: Begründen Sie, warum der Algorithmus immer terminiert. Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert. habe mal ne Wikiseite aufgemacht, bitte tragt doch alle da ein und formatiert das um, ich habe jetzt keine Zeit und nur schnell copy/paste gemacht: http://www.informatik.uni-hamburg.de/Fachschaft/wiki/index.php/Ged%C3%A4chtnisprotokoll_FGI1-2009-1
RE: FGI-1-Klausur: Gedächtnisprotokoll - Ellie - 29.07.2009 02:23
Anonymer User schrieb:
@OP: u failed
RE: FGI-1-Klausur: Gedächtnisprotokoll - TieKei - 29.07.2009 13:12
Ellie schrieb:
Und: ist es üblich, die zweite Klausur etwas schwerer zu machen, als die erste?
Das ist eine schlechte Angewohnheit, die in Zukunft hoffentlich nicht mehr auftritt, sonst wendet Euch bitte an den FSR :)
RE: FGI-1-Klausur: Gedächtnisprotokoll - Anonymer User - 01.08.2009 11:32 Aufgabe 3 war,dass man Markiere Algorithmus erklären sollte.also Anfang,Ablauf und Ergebniss und dann war eine Tielrage dass man erklären sollte,wie es sicher gestellt ist,dass am Ende nur in Fall der Unerfuellbarkeit Unerfuellbarkeit raus kommt. RE: FGI-1-Klausur: Gedächtnisprotokoll - theorinix - 01.08.2009 12:26
Ellie schrieb:
Hallo,
für alle, die beim 1. Termin nicht mitgeschrieben haben (da z.B. zu spät die komische Regelung mit Abgabe einer schriftlichen Anmeldung entdeckt): kann bitte jemand zusammenfassen, was inder Klausur so dran kam? Und: ist es üblich, die zweite Klausur etwas schwerer zu machen, als die erste?
Mail von Ritter schrieb:
Liebe Kollegen,
ich unterstuetze den Appell der Studierenden. Alle Ordnungen sehen zweifelsfrei für jedes Modul zwei Pruefungsmoeglichkeiten auf gleichem Schwierigkeitsniveau vor. Beste Gruesse, Norbert Ritter.
Mithin:
RE: FGI-1-Klausur: Gedächtnisprotokoll - M. Jantzen - 09.08.2009 12:42
Ellie schrieb:
Hallo,
[...] Und: ist es üblich, die zweite Klausur etwas schwerer zu machen, als die erste?
RE: FGI-1-Klausur: Gedächtnisprotokoll - Anonymer User - 14.08.2009 21:05 könnte jemand die lösung von die Klausur mal geben? es wäre nett ;) |