Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » OntoSWeb WS14/15
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | Letzte ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
pruefungen:hauptstudium:ls8:ontosweb2_ws14 [01.04.2015 17:43] – GreenBourne | pruefungen:hauptstudium:ls8:ontosweb2_ws14 [01.04.2015 17:44] – GreenBourne | ||
---|---|---|---|
Zeile 39: | Zeile 39: | ||
* Einfach anhand von Kripkerahmen erklären, dass Regel gilt. | * Einfach anhand von Kripkerahmen erklären, dass Regel gilt. | ||
* Wie groß kann Tableaux in Abhängigkeit von Formelgröße werden? | * Wie groß kann Tableaux in Abhängigkeit von Formelgröße werden? | ||
- | * Exponentiell groß. | + | * Exponentiell groß. |
* Was ist eine Simulation? | * Was ist eine Simulation? | ||
* Diagramm dazu anzeichnen. | * Diagramm dazu anzeichnen. |