lpi

 0    34 adatlap    wolek4004
kezdjen tanulni

letöltés mp3 Nyomtatás játszik ellenőrizze magát
 
kérdés język polski válasz język polski
Definicja formuly rachunku zdan Krp
kezdjen tanulni
podaj definicje
Pojęcie wartościowania
kezdjen tanulni
pojecie
Spełnialność formuły rachunku zdan
kezdjen tanulni
spelnialnosc
Logiczne wynikanie
kezdjen tanulni
logiczne
Twierdzenie o zawartosci w rachunku zdan
kezdjen tanulni
adhh
literal
kezdjen tanulni
Literał
Klauzula
kezdjen tanulni
sfg
Logiczna równowaznosc formul
kezdjen tanulni
dggg
Koniunkcyjna postac Normalna
kezdjen tanulni
kpn
Alternatywna postac normalna
kezdjen tanulni
apn
Regula rezolucji zdaniowej
kezdjen tanulni
rzz
dowod rezolucyjny
kezdjen tanulni
css
wyprowadzalność formuly ze zbioru klauzul
kezdjen tanulni
ffd
Twierdzenie o pełności rezolucji zdaniowej
kezdjen tanulni
adff
definicja termu
kezdjen tanulni
sf
Definicja zlozonosci formuly rachunku krp
kezdjen tanulni
krp
Spełnialność zbioru formuł
kezdjen tanulni
ad
Zadanie uniwersalne zbior gr a grb
kezdjen tanulni
ad
Twierdzenie Herbranda
kezdjen tanulni
aff
Skolemizacja
kezdjen tanulni
skolemowska postac normalna
zastosowanie skolemizacji
kezdjen tanulni
ad
klauzula horna
kezdjen tanulni
dokladnie jeden literal pozytywny
program horna
kezdjen tanulni
skonczony zbior klauzul horna
pojecie zadania
kezdjen tanulni
aff
odpowiedź poprawna
kezdjen tanulni
sdf
unifikator
kezdjen tanulni
podstawienie uzGadniajace
najogolniejszy unifokator
kezdjen tanulni
ad
zbior unifikowalny
kezdjen tanulni
af
Twierdzenie o unifikacji
kezdjen tanulni
ad
Regula Rezolucji Zdaniowej
kezdjen tanulni
as
Refutacja liniowa
kezdjen tanulni
ad
Odpowiedź obliczona
kezdjen tanulni
o
Twierdzenie o poprawnosci rezolucji liniowej
kezdjen tanulni
Afg
Twierdzenie o pelnosci rezolucji liniowej
kezdjen tanulni
add
Hozzon létre kártyákat

Kommentár közzétételéhez be kell jelentkeznie.