nativelib.net logo NativeLib el ΕΛΛΗΝΙΚΆ ▼

Matematikai logika / Μαθηματική Λογική - Λεξικό

javaslat
πρόταση
állítmány
κατηγορούμενο
kvantor
ποσοδείκτης
tautológia
ταυτολογία
ellentmondás
αντίφαση
következtetés
συμπέρασμα
modalitás
τυπικότης
alapigazság
αξίωμα
tétel
θεώρημα
bizonyíték
απόδειξη
modell
μοντέλο
következetesség
συνοχή
teljesség
πληρότητα
szilárdság
ορθότητα
tagadás
άρνηση
kötőszó
σύνδεση
diszjunkció
διαχώριση
implikáció
υπαινιγμός
egyenértékűség
ισοροππία
szintaxis
σύνταξη
szemantika
σημασιολογία
változó
μεταβλητός
funkció
λειτουργία
kapcsolat
σχέση
domain
πεδίο ορισμού
értelmezés
ερμηνεία
levonás
αφαίρεση
következmény
συνεπαγωγή
logikai kötőszavak
λογικοί σύνδεσμοι
predikátumlogika
κατηγορηματική λογική
propozíciós logika
προτασιακή λογική
elsőrendű
πρώτης τάξης
másodrendű
δεύτερης τάξης
modellelmélet
θεωρία μοντέλων
bizonyítási elmélet
θεωρία απόδειξης
halmazelmélet
θεωρία συνόλων
formális rendszer
επίσημο σύστημα
metaelmélet
μεταθεωρία
dönthetőség
αποφασιστικότητα
rekurzió
αναδρομή
fix pont
σταθερό σημείο
kombinatorika
συνδυαστική
automata
αυτόματο
kiszámíthatóság
υπολογίσιμο
logikai kapu
λογική πύλη
Boole-algebra
Μπουλιανή άλγεβρα
normálforma
κανονική μορφή
következmény
συνέπεια
következetesség
συνοχή
cáfolat
αναίρεση