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

Математическата логика / Μαθηματική Λογική - Λεξικό

предложение
πρόταση
предикат
κατηγορούμενο
квантификатор
ποσοδείκτης
тавтология
ταυτολογία
противоречие
αντίφαση
извод
συμπέρασμα
модалност
τυπικότης
аксиома
αξίωμα
теорема
θεώρημα
доказателство
απόδειξη
модел
μοντέλο
последователност
συνοχή
пълнота
πληρότητα
здравина
ορθότητα
отрицание
άρνηση
съвпад
σύνδεση
дизюнкция
διαχώριση
импликация
υπαινιγμός
еквивалентност
ισοροππία
синтаксис
σύνταξη
семантика
σημασιολογία
променлива
μεταβλητός
функция
λειτουργία
връзка
σχέση
домейн
πεδίο ορισμού
тълкуване
ερμηνεία
приспадане
αφαίρεση
участие
συνεπαγωγή
логически съюзи
λογικοί σύνδεσμοι
предикатна логика
κατηγορηματική λογική
пропозиционална логика
προτασιακή λογική
първи ред
πρώτης τάξης
втори ред
δεύτερης τάξης
теория на моделите
θεωρία μοντέλων
теория на доказателствата
θεωρία απόδειξης
теория на множествата
θεωρία συνόλων
формална система
επίσημο σύστημα
метатеория
μεταθεωρία
решимост
αποφασιστικότητα
рекурсия
αναδρομή
фиксирана точка
σταθερό σημείο
комбинаторика
συνδυαστική
автомат
αυτόματο
изчислимост
υπολογίσιμο
логически порт
λογική πύλη
Булева алгебра
Μπουλιανή άλγεβρα
нормална форма
κανονική μορφή
последствие
συνέπεια
последователност
συνοχή
опровержение
αναίρεση