www.fernstudenten.de

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

Hallo,

danke für die Auflistung der Fragen.

War das eine Online Klausur?

VG
Robert

Nein, war eine Präsenzklausur