NativeLib
Szótár
Fordító
Tesztek
Kifejezésfüzet
Szókincs
A projektről
Névjegyek
Felhasználási feltételek
Titoktartás
Szótár
Fordító
Tesztek
Kifejezésfüzet
Szókincs
MAGYAR
▼
Matematična logika / Matematikai logika - Lexikon
predlog
javaslat
predikat
állítmány
kvantifikator
kvantor
tavtologija
tautológia
protislovje
ellentmondás
sklepanje
következtetés
modalnost
modalitás
aksiom
alapigazság
izrek
tétel
dokaz
bizonyíték
model
modell
doslednost
következetesség
popolnost
teljesség
trdnost
szilárdság
negacija
tagadás
konjunkcija
kötőszó
disjunkcija
diszjunkció
implikacija
implikáció
enakovrednost
egyenértékűség
sintaksa
szintaxis
semantika
szemantika
spremenljivka
változó
funkcija
funkció
odnos
kapcsolat
domena
domain
interpretacija
értelmezés
odbitek
levonás
uveljavljanje
következmény
logične veznike
logikai kötőszavak
predikatna logika
predikátumlogika
propozicijska logika
propozíciós logika
prvega reda
elsőrendű
drugega reda
másodrendű
teorija modelov
modellelmélet
teorija dokazov
bizonyítási elmélet
teorija množic
halmazelmélet
formalni sistem
formális rendszer
metateorija
metaelmélet
odločljivost
dönthetőség
rekurzija
rekurzió
fiksna točka
fix pont
kombinatorika
kombinatorika
avtomat
automata
izračunljivost
kiszámíthatóság
logična vrata
logikai kapu
Boolova algebra
Boole-algebra
normalna oblika
normálforma
posledica
következmény
doslednost
következetesség
ovržba
cáfolat