Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Künstliche Intelligenz 1 & 2 » Allgemein
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_kwarc:krmt_2019 [25.10.2019 11:45] – Kruemel | pruefungen:hauptstudium:ls8_kwarc:krmt_2019 [10.09.2020 14:38] – Kruemel | ||
---|---|---|---|
Zeile 7: | Zeile 7: | ||
====== Fragen ====== | ====== Fragen ====== | ||
- | **Q: " | + | **Q: " |
A: Ich habe die Idee hinter Prädikatenlogik erklärt, dabei Natural Deduction kurz angerissen, bevor ich angefangen habe, sie in MMT zu implementieren. Nach 2-3 Operatoren hat Prof. Kohlhase gemeint, dass es reicht, da er sieht, dass ich das Prinzip verstanden habe. | A: Ich habe die Idee hinter Prädikatenlogik erklärt, dabei Natural Deduction kurz angerissen, bevor ich angefangen habe, sie in MMT zu implementieren. Nach 2-3 Operatoren hat Prof. Kohlhase gemeint, dass es reicht, da er sieht, dass ich das Prinzip verstanden habe. |