Rezoluce (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
m -link SAT |
Bez shrnutí editace |
||
Řádek 14:
V logice s rovností se k rezoluci přidává odvozovací pravidlo [[paramodulace]].
Na principu rezoluce jsou založeny logické programovací jazyky, například [[Prolog (programovací jazyk)|Prolog]], který
[[Kategorie:Matematická logika]]
|