nativelib.net logo NativeLib pl POLSKI ▼

Logika matematyczna / Matematická logika - Leksykon

propozycja
tvrzení
orzec
přísudek
kwantyfikator
kvantifikátor
tautologia
tautologie
sprzeczność
rozpor
wnioskowanie
odvození
modalność
modalita
aksjomat
axiom
twierdzenie
teorém
dowód
důkaz
model
model
konsystencja
konzistence
kompletność
úplnost
solidność
spolehlivost
negacja
negace
spójnik
spojení
dysjunkcja
disjunkce
implikacja
implikace
równorzędność
rovnocennost
składnia
syntax
semantyka
sémantika
zmienny
proměnná
funkcjonować
funkce
relacja
vztah
domena
doména
interpretacja
výklad
odliczenie
dedukce
majorat
zapojení
spójniki logiczne
logické spojky
logika predykatów
predikátová logika
logika zdań
výroková logika
pierwszego rzędu
prvního řádu
drugiego rzędu
druhého řádu
teoria modeli
teorie modelů
teoria dowodu
teorie důkazů
teoria mnogości
teorie množin
system formalny
formální systém
meta-teoria
metateorie
rozstrzygalność
rozhodnutelnost
rekursja
rekurze
punkt stały
pevný bod
kombinatoryka
kombinatorika
automat
automat
obliczalność
vyčíslitelnost
bramka logiczna
logická brána
Algebra Boole'a
Booleovská algebra
forma normalna
normální forma
konsekwencja
následek
konsystencja
konzistence
obalenie
vyvrácení