nativelib.net logo NativeLib hu MAGYAR ▼

Matematikai logika / Математична логіка - Lexikon

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
спростування