Suchen
 
 

Ergebnisse in:
 


Rechercher Fortgeschrittene Suche

Neueste Themen
» Fischotter und Kormorane im Jagdfieber
Heute um 12:37 am von Andy

» Das Jahr der Auerochsen
Fr Jan 19, 2018 12:50 pm von checker

» ** Antimon **
So Jan 14, 2018 11:50 pm von Andy

» George Chapman
So Jan 14, 2018 11:36 pm von Andy

» Brechweinstein
So Jan 14, 2018 11:30 pm von Andy

» Das Erbschaftspulver
So Jan 14, 2018 10:57 pm von Andy

» Aqua Tofana
So Jan 14, 2018 10:53 pm von Andy

» Tufania (oder Tofana oder Teofania)
So Jan 14, 2018 10:50 pm von Andy

» Liselotte von der Pfalz
So Jan 14, 2018 10:42 pm von Andy

Navigation
 Portal
 Index
 Mitglieder
 Profil
 FAQ
 Suchen
Partner
free forum
Januar 2018
MoDiMiDoFrSaSo
1234567
891011121314
15161718192021
22232425262728
293031    

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 : 32619
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