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.• abdomen (21/0)
• babbelaar (5/3)
• retentie (21/21)
• Consommatie (1/0)
• status qualitatis (1/0)
• doorkruisen (3/0)
• resorberen (8/0)
• pi systeem (8/0)
• Arie Vergunst (1/0)
• Minimal brain dysfunction (2/0)
• KREDIETWAARDIGHEID (1/0)
• conjunctuur (17/15)
• Corporate Ministry (1/0)
• babbelaar (5/3)
• homogeniseren (4/0)
• economische integratie (7/0)
• resorberen (8/0)
• Agalaris (1/0)
• Concrete (7/7)
• inadequaat (8/0)
• Keeps Gettin Better (1/0)
• porrie (1/0)
• alignment (5/1)
• vakgebied (4/1)