Automatisches Beweisen

03/01/2016 - 02:16 von Zweistein | Report spam
Jetzt können alle Mathe Hausaufgaben automatisch gelöst werden.
 

Lesen sie die antworten

#1 Zweistein
03/01/2016 - 02:18 | Warnen spam
Automatische Theorembeweiser:

Es sind praktisch verwendbare Automatische Theorembeweiser (ATPs) implementiert worden, die viele schwierige Probleme in bestimmten Logiken lösen können.

Wàhrend Theorembeweiser Beweise für Theoreme aus Axiomen über Inferenzschritte ableiten und in irgendeiner Form mathematische Beweise nachbilden, werden bei der Modellprüfung (model checking) zumeist raffiniert implementierte Techniken benutzt, Beweiszustànde brute-force aufzuzàhlen und Suchràume von Beweiszustànden systematisch abzusuchen. Manche Systeme sind auch Hybride, die sowohl interaktive Beweisverfahren als auch Modellprüfung einsetzen.

Ähnliche fragen