Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung...
12 KB (1,328 words) - 11:37, 3 June 2023
Coq ist eine freie Software zum maschinengestützten Beweisen mathematischer Aussagen. In Coq formuliert man Datentypdefinitionen und ausführbare Programmteile...
5 KB (527 words) - 09:47, 22 September 2024
Resolution (Logik) (section Beweis)
werden. Die Resolution ist eine der bekanntesten Techniken des Maschinengestützten Beweisens. Seien C 1 {\displaystyle C_{1}} , C 2 {\displaystyle C_{2}}...
18 KB (2,478 words) - 17:37, 9 April 2024
Automated theorem proving (Automatische Theorembeweiser), Form des maschinengestützten Beweisens Automotive Testing Papenburg, Auto-Teststrecke und deren Betreibergesellschaft...
3 KB (304 words) - 08:54, 27 May 2024
Terminologie den Versuch, mithilfe der Vernunft die Existenz Gottes zu beweisen. Der Begriff wurde rückwirkend auf verschiedenste philosophische Konzepte...
67 KB (7,922 words) - 13:29, 1 October 2024
Universität Nowosibirsk. Er entwickelte den Theoremlöser Vampire zum maschinengestütztem Beweisen, das Konferenzverwaltungsprogramm EasyChair und organisierte...
2 KB (97 words) - 01:19, 12 December 2020
geeigneten Beweis nicht gründlich genug gewesen sein. Praktische Anwendung finden logische Kalküle in der Informatik auf dem Gebiet des maschinengestützten Beweisens...
13 KB (1,500 words) - 16:54, 24 April 2023
Beweistheorie (category Beweis (Mathematik))
Überprüfen von Beweisen ist üblicherweise trivial, im Gegensatz zum Finden von Beweisen, das typischerweise sehr schwierig ist. Informale Beweise in der mathematischen...
10 KB (1,101 words) - 19:40, 27 October 2023
Programmiersprachen und Compiler hatte und neue Anstöße für maschinengestütztes Beweisen und Programmvalidierung lieferte 2002: Ramakrishnan Srikant –...
10 KB (1,125 words) - 19:46, 20 June 2024
Mizar-System (category Beweis (Mathematik))
für alle Mitglieder der Association of Mizar Users verfügbar. Maschinengestütztes Beweisen Coq (Software) Offizielle Website Writing a Mizar article in...
12 KB (1,146 words) - 22:38, 14 April 2024
Curry-Howard-Isomorphismus, der sich speziell im Bereich des maschinengestützten Beweisens auch praktisch als tragfähig erwiesen hat. Ob innerhalb eines...
10 KB (1,358 words) - 08:01, 15 May 2024
O(max(Größe(Term1), Größe(Term2))) Unifikation (Logik) Prädikatenlogik Maschinengestütztes Beweisen Franz Baader, Wayne Snyder: Ch.8 - Unification theory In: Handbook...
2 KB (226 words) - 14:40, 19 August 2023
entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen. Christine Paulin-Mohring promovierte 1989 an der Universität...
5 KB (474 words) - 15:55, 30 April 2024
Schütte. Die Möglichkeit, Beweise durchzuführen, die auf Resolution beruhen, ist sehr mächtig (Maschinengestütztes Beweisen). Die Ausführung eines Prolog-Programms...
9 KB (1,100 words) - 09:46, 24 May 2024
ein britischer Informatiker und Logiker. Er befasst sich mit Maschinengestütztem Beweisen. Bundy wurde 1971 an der University of Leicester bei Reuben Goodstein...
3 KB (262 words) - 11:55, 31 August 2023
beispielsweise bei der Verarbeitung natürlicher Sprache, im maschinengestützten Beweisen, in der Analyse von Programmen und in der Molekularbiologie Anwendung...
18 KB (2,035 words) - 15:44, 14 May 2024
das Fehlschlagen des sogenannten Hilbertprogramms. Siehe auch: Maschinengestütztes Beweisen, Eintrag in Edward N. Zalta (Hrsg.): Stanford Encyclopedia of...
3 KB (386 words) - 09:58, 16 May 2021
Mizar, ein Flugauto Mizar-System, ein maschinengestütztes Beweissystem, um mathematische Definitionen und Beweise zu erfassen und zu prüfen USNS Mizar...
701 bytes (85 words) - 11:57, 2 January 2023
im Bereich der Software- und Hardware-Verifizierung und des maschinengestützten Beweisens. In seiner Dissertation bewies er, dass die Korrektheit bestimmter...
8 KB (829 words) - 07:03, 29 April 2022
dem Online Worldwide Seminar on Logic and Semantics oder maschinengestützten formalen Beweisen als mögliche Zukunft der Mathematik bei Microsoft Research...
7 KB (642 words) - 21:36, 10 July 2024