Suchen
 
 

Ergebnisse in:
 


Rechercher Fortgeschrittene Suche

Die neuesten Themen
» Abflußreinigen,schnell & effektiv
Gestern um 2:53 am von checker

» R.I.P. Sigi
Do Aug 17, 2017 9:18 pm von Andy

» "Dunkirk", auch eine belgische Kriegsgesichte
So Jul 30, 2017 8:54 pm von checker

» Vor 100 Jahren: Die Schlacht von Passendale
So Jul 30, 2017 8:42 pm von checker

» Wars der Geyer oder war er es nicht?
Mi Jul 26, 2017 9:32 pm von Andy

» Unterstützte VW-Konzern Militärdiktatur in Brasilien?
Mi Jul 26, 2017 9:12 pm von Andy

» R.I.P. M. Rother
Mi Jul 26, 2017 8:08 pm von Andy

» "Asterix bei den Belgiern"
Mi Jul 26, 2017 7:17 pm von Andy

» Der "Mud Soldier"
Mi Jul 26, 2017 7:13 pm von Andy

Navigation
 Portal
 Index
 Mitglieder
 Profil
 FAQ
 Suchen
Partner
free forum
August 2017
MoDiMiDoFrSaSo
 123456
78910111213
14151617181920
21222324252627
28293031   

Kalender Kalender


Die Resolution

Vorheriges Thema anzeigen Nächstes Thema anzeigen Nach unten

Die Resolution

Beitrag  checker am So Sep 06, 2015 9:02 am

Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen.

Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein Widerlegungsverfahren: Statt direkt die Allgemeingültigkeit einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren Verneinung ab.

Diese Herleitung geschieht mittels eines Algorithmus auf rein formalem Weg und kann deshalb von einem Computerprogramm durchgeführt werden. Die Resolution ist eine der bekanntesten Techniken des Maschinengestützten Beweisens.

Weiteres dazu im Link:

https://de.wikipedia.org/wiki/Resolution_%28Logik%29
avatar
checker
Moderator
Moderator

Anzahl der Beiträge : 32436
Anmeldedatum : 03.04.11
Ort : Braunschweig

Benutzerprofil anzeigen

Nach oben Nach unten

Vorheriges Thema anzeigen Nächstes Thema anzeigen Nach oben

- Ähnliche Themen

 
Befugnisse in diesem Forum
Sie können in diesem Forum nicht antworten