nativelib.net logo NativeLib pl POLSKI ▼

Matematická logika / Logika matematyczna - Leksykon

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