first-order logic
| tuple
| first order logic abbr. | |
| comp. | логика первого порядка |
| first-order logic abbr. | |
| comp. | исчисление предикатов первого порядка |
| el. | логика предикатов первого порядка |
| -tuple abbr. | |
| math. | -строка; репер |
| math. geom. | n-строка |
| math. logic | n-ка |
| tuple abbr. | |
| math. | n-кратный; n-мерное пространство; n-мерный; набор из n элементов; последовательность из n членов |
| math. heavy.eq. | набор из n чисел |
| |||
| исчисление предикатов первого порядка | |||
| логика предикатов первого порядка | |||
| логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn) | |||
| |||
| логика первого порядка | |||
| English thesaurus | |||
| |||
| first-order predicate logic (ssn) | |||
|
first-order logic : 8 phrases in 4 subjects |
| Artificial intelligence | 2 |
| Logic | 4 |
| Mathematics | 1 |
| Programming | 1 |