бірінші тәртіп логикасы

Сала: 2021 Бекітілген термин

Ағылшыншасы : first-order logic

бірінші

бірінші бір+ін+ші
корпустан іздеу

логика

логика лог+ик+а
корпустан іздеу

тәртіп

тәртіп тәртіп
корпустан іздеу

Анықтама

[өзгерту]
Бірінші тәртіп логикасы – предикаттар мен кванторларды қолданатын формальды логика түрі.

Басқа нәтижелер

вечный двигатель первого порядка Бородки первого порядка Реакция первого порядка Хищник первого порядка Звено первого (второго) порядка Исчисление предикатов первого порядка Дифференциальное уравнение первого порядка Рефлексы условные первого порядка Логика