https://wiki.mafiasi.de/api.php?action=feedcontributions&feedformat=atom&user=78.54.131.203 2026-10-16T12:55:35Z Benutzerbeiträge MediaWiki 1.43.11 https://wiki.mafiasi.de/index.php?title=Ged%C3%A4chtnisprotokoll_FGI109-1&diff=7809 2009-07-27T13:44:08Z

<p>78.54.131.203: Angelegt und copy/paste aus dem Forum gemacht sowie Aufgabe zum Markierungsalgorithmus eingefügt.</p> <hr /> <div><br /> == Teil 1: Logik ==<br /> <br /> <br /> Aufgabe1: man sollte 3 &quot;Zeichen&quot; erklären<br /> 1. implikation<br /> 2. folgerbarkeit<br /> 3. ableitung durch MP (keine ahnung wie es heißt :/ )<br /> <br /> Aufgabe2:<br /> Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)<br /> In der Art: Seien F und G Formeln.<br /> F ist Tautologie, G unerfüllbar, Ist dann F=&gt;G gültig, kontingent, unerfüllbar?<br /> und das für mehrere verschiedene formeln/Bedingungen! Glaube warn 3 oder 4! <br /> <br /> Aufgabe3:<br /> 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.<br /> Dann noch zwei Fragen dazu:<br /> Begründen Sie, warum der Algorithmus immer terminiert.<br /> Begründen Sie, dass der Algorithmus &quot;unerfüllbar&quot; nur für unerfüllbare Formeln liefert.<br /> <br /> Aufgabe4: Resolution<br /> folgerbarkeit einer Formel F von einer Formelmenge M zeigen/wiederlegen<br /> Formel ma in Implikationsschreibweise gegeben<br /> <br /> Aufgabe5: Unifikation<br /> 3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann<br /> <br /> waren insgesamt 7 aufgaben im ersten teil, an die andern beiden kann ich mich grad nicht erinnern.<br /> <br /> <br /> == Teil 2: Formale Sprachen, Automaten und Komplexität ==<br /> <br /> Aufgabe:<br /> Es war ein NFA gegeben und man sollte mit Potenzautomat nen DFA dazu konstruieren.<br /> (zustände des potenzautomaten waren gegeben).<br /> <br /> [[Kategorie:Gedaechtnisprotokoll|FGI1]]</div>

78.54.131.203