.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Turbo PROLOG - Einfuhrung in Die Anwendung
Konrad Justen
€ 70.82
FREE Delivery in Ireland
Description for Turbo PROLOG - Einfuhrung in Die Anwendung
Paperback / so. Series: Programmieren Von Mikrocomputern. Num Pages: 96 pages, black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 6. Weight in Grams: 205.
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 Beweisprogramm, als ein Inferenzmechanismus, das Prolog Programm selbst als eine Reihe vorgegebener Formeln, als Wissensbasis. Prolog ist ein dialogorientes System: Der Benutzer stellt ein ... Read more
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 Beweisprogramm, als ein Inferenzmechanismus, das Prolog Programm selbst als eine Reihe vorgegebener Formeln, als Wissensbasis. Prolog ist ein dialogorientes System: Der Benutzer stellt ein ... Read more
Product Details
Format
Paperback
Publication date
1988
Publisher
Springer Fachmedien Wiesbaden Germany
Language
German
Number of pages
96
Condition
New
Series
Programmieren Von Mikrocomputern
Number of Pages
96
Place of Publication
Weisbaden, Germany
ISBN
9783528045616
SKU
V9783528045616
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Turbo PROLOG - Einfuhrung in Die Anwendung