Opzoeken: Tseitin-transformatie
- Tseitin-transformatie
In de logica is de Tseitin-transformatie (ook Tseitin-afgeleide genoemd) een manier om een propositie om te zetten naar een vervulbaarheidsequivalente propositie in conjunctieve normaalvorm. De Tseitin-transformatie kan bijvoorbeeld worden gebruikt bij het DPLL-algoritme en resolutie, bewijstechnie...
Gevonden op http://nl.wikipedia.org/wiki/Tseitin-transformatie
Geen exacte overeenkomst gevonden.
Zoek
Typ een term en klik op `Zoek`. | Handig |
| Woordenboek | |
| Vertalen | |
| Synoniemen | |
Recent gezocht
De laatste zoekopdrachten. Tussen haakjes staan resp. de resultaten en verwante resultaten.• Dyade (5/0)
• Schuchter (4/1)
• Acquisitie (16/4)
• Conjunctuurindicator (4/1)
• steeksla (1/0)
• PEDALEN (3/0)
• Claude Goudimel (1/0)
• aanpassing (22/16)
• nagekeken (1/0)
• twisten (4/2)
• Goeleke (1/1)
• obliteren (1/0)
• voorkeur (7/19)
• Kempen (4/22)
• NIBUD (8/0)
• beminnen (4/1)
• Column (7/25)
• fanaal (6/0)
• paragone (1/0)
• Conjunctuurindicator (4/1)
• dramaturg (6/3)
• inductief (5/4)
• twisten (4/2)
• Spreidingsbreedte (5/0)