→ Lpi → Start Lernen / Flashcards Herunterladen MP3

Lernen beginnen

mp3 downloaden Drucken spielen überprüfen

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

lpi

Sie müssen eingeloggt sein, um einen Kommentar zu schreiben.

Mehr