Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Künstliche Intelligenz 1 & 2 » Allgemein (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | |||
pruefungen:hauptstudium:ls8_kwarc:krmt_2019 [10.09.2020 14:38] – Kruemel | pruefungen:hauptstudium:ls8_kwarc:krmt_2019 [10.09.2020 15:17] (aktuell) – Kruemel | ||
---|---|---|---|
Zeile 39: | Zeile 39: | ||
A: Ich habe dann die Brücke geschlagen von FOL über HOL zu ZF. Als ich dabei war, ZF zu erklären, meinte er, dass es reicht, wenn ich 3 Axiome aus ZF nennen und erklären würde. Und 2 davon solle ich formal aufschreiben. (nicht MMT, sondern in Higher Order Logik wie im Skript) | A: Ich habe dann die Brücke geschlagen von FOL über HOL zu ZF. Als ich dabei war, ZF zu erklären, meinte er, dass es reicht, wenn ich 3 Axiome aus ZF nennen und erklären würde. Und 2 davon solle ich formal aufschreiben. (nicht MMT, sondern in Higher Order Logik wie im Skript) | ||
- | **Q: " | + | **Q: " |
A: predicate -> type | A: predicate -> type |