3 kontakty: Alternatywa, Q.e.d., Rezolucja (matematyka).
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Rezolwenta i Alternatywa · Zobacz więcej »
Q.e.d.
q.e.d. – skrót od łacińskiego zwrotu quod erat demonstrandum („co było do udowodnienia”).
Nowy!!: Rezolwenta i Q.e.d. · Zobacz więcej »
Rezolucja (matematyka)
Rezolucja – metoda automatycznego dowodzenia twierdzeń oparta na generowaniu nowych klauzul, aż dojdzie się do sprzeczności.
Nowy!!: Rezolwenta i Rezolucja (matematyka) · Zobacz więcej »