→ Lpi → Rozpocznij Naukę / Ściągnij Fiszki MP3

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

lpi

Musisz się zalogować, by móc napisać komentarz.