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

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

пропозиція
предикат
квантифікатор
тавтологія
суперечність
висновок
модальність
аксіома
теорема
доказ
модель
послідовність
повнота
обґрунтованість
заперечення
кон'юнкція
диз'юнкція
наслідок
еквівалентність
синтаксис
семантика
змінна
функція
відношення
домен
інтерпретація
відрахування
втягнення
логічні зв'язки
логіка предикатів
логіка висловлювань
першого порядку
другого порядку
теорія моделей
теорія доказів
теорія множин
формальна система
метатеорія
розв'язність
рекурсія
фіксована точка
комбінаторика
автомат
обчислюваність
логічний вентиль
Булева алгебра
нормальна форма
наслідок
послідовність
спростування