→ Lpi → Start læring / Last ned MP3 Flashcards

begynn å lære

laste ned mp3 Skriv ut spille sjekk deg selv

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

lpi

Du må logge inn for å legge inn en kommentar.

mer