Suchen
 
 

Ergebnisse in:
 


Rechercher Fortgeschrittene Suche

Neueste Themen
» Hexe Kebekus auf dem Scheiterhaufen
Gestern um 6:53 am von Andy

» ** Green Day **
Gestern um 6:44 am von Andy

» Depeche Mode
Gestern um 6:40 am von Andy

» Weltbilder - die ganze Sendung
Di Apr 17, 2018 11:01 pm von checker

» ** And One **
Di Apr 17, 2018 9:21 pm von checker

» Panzermensch
Di Apr 17, 2018 9:01 pm von checker

» Stammtisch vom 09.04.2018 Markus Krebs
Mo Apr 16, 2018 9:50 am von Andy

» Chris Lake - Operator (Ring Ring)
Mo Apr 16, 2018 4:59 am von Andy

» Die Liste deutscher Jägerbataillone vor 1918
Mo Apr 16, 2018 2:53 am von Andy

Navigation
 Portal
 Index
 Mitglieder
 Profil
 FAQ
 Suchen
Partner
free forum
April 2018
MoDiMiDoFrSaSo
      1
2345678
9101112131415
16171819202122
23242526272829
30      

Kalender Kalender


Die Resolution

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 : 32877
Anmeldedatum : 03.04.11
Ort : Braunschweig

Benutzerprofil anzeigen

Nach oben Nach unten

Nach oben

- Ähnliche Themen

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