Wikidata facts
Show 3 more facts
- different from
- Resolution
- maintained by WikiProject
- WikiProject Mathematics
- described by source
- Encyclopædia Britannica 11th edition
Sources (3)
via Wikidata · CC0
Article · Polski
Rezolucja – metoda automatycznego dowodzenia twierdzeń oparta na generowaniu nowych klauzul, aż dojdzie się do sprzeczności. W ten sposób można udowodnić, że dane twierdzenie nie jest spełnialne, lub też, co jest równoważne, że jego zaprzeczenie jest tautologią. Rezolucja jest podstawą wielu praktycznych systemów dowodzenia twierdzeń rachunku predykatów pierwszego rzędu.
Abstract from DBpedia / Wikipedia · CC BY-SA