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

Logică matematică / Μαθηματική Λογική - Λεξικό

propunere
πρόταση
predicat
κατηγορούμενο
cuantificator
ποσοδείκτης
tautologie
ταυτολογία
contradicţie
αντίφαση
inferență
συμπέρασμα
modalitate
τυπικότης
axiomă
αξίωμα
teoremă
θεώρημα
dovadă
απόδειξη
model
μοντέλο
consistență
συνοχή
completitudine
πληρότητα
soliditate
ορθότητα
negare
άρνηση
conjuncție
σύνδεση
disjuncție
διαχώριση
implicare
υπαινιγμός
echivalenţă
ισοροππία
sintaxă
σύνταξη
semantică
σημασιολογία
variabilă
μεταβλητός
funcţie
λειτουργία
raport
σχέση
domeniu
πεδίο ορισμού
interpretare
ερμηνεία
deducere
αφαίρεση
implicare
συνεπαγωγή
conectori logici
λογικοί σύνδεσμοι
logica predicatelor
κατηγορηματική λογική
logica propozițională
προτασιακή λογική
de ordinul întâi
πρώτης τάξης
de ordinul doi
δεύτερης τάξης
teoria modelului
θεωρία μοντέλων
teoria dovezii
θεωρία απόδειξης
teoria mulțimilor
θεωρία συνόλων
sistem formal
επίσημο σύστημα
meta-teorie
μεταθεωρία
decidabilitate
αποφασιστικότητα
recursiune
αναδρομή
punct fix
σταθερό σημείο
combinatorică
συνδυαστική
automat
αυτόματο
calculabilitate
υπολογίσιμο
poartă logică
λογική πύλη
Algebră booleană
Μπουλιανή άλγεβρα
formă normală
κανονική μορφή
consecinţă
συνέπεια
consistență
συνοχή
respingere
αναίρεση