FMI22 vom 07.12.2019

[konvyru]

Hallo,

die Klausur war insgesamt fair und ähnlich der MK

Detailaufgaben
Belegung erklären (wie MK)
Formeln vereinfachen
Struktur der Prädikatenlogik erklären
Kalkül der Aussagenlogik mit 2 Formeln einmal -A^B, A->B und A->B, B->C

Komplex
1. Aussagenlogik
KNF bilden und als Klauselmenge angeben
Formeln vereinfachen
Ableitungen
Resolution

2. Prädikatenlogik
Resolution
mehr weiß ich nicht da nicht genommen

3. Graphen
Binärbaum erstellen
Knoten löschen und neuen Binärbaum aufzeigen
Pseudocode für minimalen Wert in einem Baum schreiben
Prim Algorithmus
- Algorithmus erklären
- Datenstrukturen und Attribute erklären
- für einen gegebenen Graphen durchführen

Viel Erfolg euch

[RobBe]

Hallo,

danke für die Auflistung der Fragen.

War das eine Online Klausur?

VG
Robert

[konvyru]

Nein, war eine Präsenzklausur

[Tom03]

Detailaufgaben:
1. Erläuterung Syntax und Semantik für aussagenlogische Formeln + Beispiele angeben

2. Bestimmung von Tautologien (undzwar ohne Wahrheitstabelle)

3. Graph gegeben -> Formale Angabe und Adjazenzliste und Matrix aufstellen

4. Tiefensuche -> Angabe der 4 Kategorien von Kanten + Beispiele angeben

Komplex 1 (AUSSAGENLOGIK)
1. Formeln vereinfachen
2. Konsequenz durch Ableitungsregeln
3. Beweise mit Kalkül der Aussagenlogik
4. Umwandlung in KNF und Angabe Klauselmenge
5. Erfüllbarkeit von Klauselmengen bestimmen mit Resolution

Komplex 2 (Prädikatenlogik)
1. Äquivalenz bestimmen
2. Sätze in Symbolischer Form aufstellen
3. Skolemische Standardformen + Klauselmenge bestimmen
4.Beweis mit Resolutionsalgorithmus

Komplex 3 (Graphentheorie)
Nicht genommen
Graph gegeben und Dijkstra erklären und anwenden