→ Lpi → Začněte se učit / Stáhněte si MP3 karty

stáhnout mp3 Vytisknout hrát zkontrolovat se

otázka		odpověď
Definicja formuly rachunku zdan Krp začněte se učit		podaj definicje
Pojęcie wartościowania začněte se učit		pojecie
Spełnialność formuły rachunku zdan začněte se učit		spelnialnosc
Logiczne wynikanie začněte se učit		logiczne
Twierdzenie o zawartosci w rachunku zdan začněte se učit		adhh
literal začněte se učit		Literał
Klauzula začněte se učit		sfg
Logiczna równowaznosc formul začněte se učit		dggg
Koniunkcyjna postac Normalna začněte se učit		kpn
Alternatywna postac normalna začněte se učit		apn
Regula rezolucji zdaniowej začněte se učit		rzz
dowod rezolucyjny začněte se učit		css
wyprowadzalność formuly ze zbioru klauzul začněte se učit		ffd
Twierdzenie o pełności rezolucji zdaniowej začněte se učit		adff
definicja termu začněte se učit		sf
Definicja zlozonosci formuly rachunku krp začněte se učit		krp
Spełnialność zbioru formuł začněte se učit		ad
Zadanie uniwersalne zbior gr a grb začněte se učit		ad
Twierdzenie Herbranda začněte se učit		aff
Skolemizacja začněte se učit		skolemowska postac normalna
zastosowanie skolemizacji začněte se učit		ad
klauzula horna začněte se učit		dokladnie jeden literal pozytywny
program horna začněte se učit		skonczony zbior klauzul horna
pojecie zadania začněte se učit		aff
odpowiedź poprawna začněte se učit		sdf
unifikator začněte se učit		podstawienie uzGadniajace
najogolniejszy unifokator začněte se učit		ad
zbior unifikowalny začněte se učit		af
Twierdzenie o unifikacji začněte se učit		ad
Regula Rezolucji Zdaniowej začněte se učit		as
Refutacja liniowa začněte se učit		ad
Odpowiedź obliczona začněte se učit		o
Twierdzenie o poprawnosci rezolucji liniowej začněte se učit		Afg
Twierdzenie o pelnosci rezolucji liniowej začněte se učit		add

lpi

Chcete-li přidat komentář, musíte se přihlásit.

více