Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Pobieranie
Szybszy dostęp niż przeglądarce!
 

Rezolwenta

Indeks Rezolwenta

Rezolwenta to wynik przeprowadzenia wnioskowania metodąrezolucji na pewnych przesłankach.

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 »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »