→ Lpi → Start Learning / Download MP3 Flashcards

start learning

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

lpi

You must sign in to write a comment

More