Turbo Prolog - Einführung in die Anwendung (eBook, PDF)
Konrad Justen
eBook, PDF

Turbo Prolog - Einführung in die Anwendung (eBook, PDF)

Versandkostenfrei!
Sofort per Download lieferbar
Statt: 54,99 €**
42,99 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Alle Infos zum eBook verschenken
PAYBACK Punkte
21 °P sammeln!
Die Künstliche Intelligenz befaßt sich mit der Nachbildung von intelligentem mensch lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprogramm, ableitbar ist. Ein Prolog-Interpreter oder -Compiler (ein Prolog-System) kann aufgefaßt werden als ein solches Ableitungs- oder Beweisprogr...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.