→ Lpi → Start Learning / Flashcards Téléchargement MP3

Télécharger mP3 Imprimer jouer consultez

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

lpi

Vous devez vous connecter pour poster un commentaire.

plus