lpi

 0    34 schede    wolek4004
inizia ad imparare

Scarica mp3 Stampa Gioca Testa il tuo livello
 
Domanda język polski Risposta język polski
Definicja formuly rachunku zdan Krp
inizia ad imparare
podaj definicje
Pojęcie wartościowania
inizia ad imparare
pojecie
Spełnialność formuły rachunku zdan
inizia ad imparare
spelnialnosc
Logiczne wynikanie
inizia ad imparare
logiczne
Twierdzenie o zawartosci w rachunku zdan
inizia ad imparare
adhh
literal
inizia ad imparare
Literał
Klauzula
inizia ad imparare
sfg
Logiczna równowaznosc formul
inizia ad imparare
dggg
Koniunkcyjna postac Normalna
inizia ad imparare
kpn
Alternatywna postac normalna
inizia ad imparare
apn
Regula rezolucji zdaniowej
inizia ad imparare
rzz
dowod rezolucyjny
inizia ad imparare
css
wyprowadzalność formuly ze zbioru klauzul
inizia ad imparare
ffd
Twierdzenie o pełności rezolucji zdaniowej
inizia ad imparare
adff
definicja termu
inizia ad imparare
sf
Definicja zlozonosci formuly rachunku krp
inizia ad imparare
krp
Spełnialność zbioru formuł
inizia ad imparare
ad
Zadanie uniwersalne zbior gr a grb
inizia ad imparare
ad
Twierdzenie Herbranda
inizia ad imparare
aff
Skolemizacja
inizia ad imparare
skolemowska postac normalna
zastosowanie skolemizacji
inizia ad imparare
ad
klauzula horna
inizia ad imparare
dokladnie jeden literal pozytywny
program horna
inizia ad imparare
skonczony zbior klauzul horna
pojecie zadania
inizia ad imparare
aff
odpowiedź poprawna
inizia ad imparare
sdf
unifikator
inizia ad imparare
podstawienie uzGadniajace
najogolniejszy unifokator
inizia ad imparare
ad
zbior unifikowalny
inizia ad imparare
af
Twierdzenie o unifikacji
inizia ad imparare
ad
Regula Rezolucji Zdaniowej
inizia ad imparare
as
Refutacja liniowa
inizia ad imparare
ad
Odpowiedź obliczona
inizia ad imparare
o
Twierdzenie o poprawnosci rezolucji liniowej
inizia ad imparare
Afg
Twierdzenie o pelnosci rezolucji liniowej
inizia ad imparare
add
Crea delle schede

Devi essere accedere per pubblicare un commento.