recursively enumerable
| predicate
| recursively enumerable | |
| math. | рекурсивно перечислимый; счётно перечислимый; рекурсивно перечислимый, счётно перечислимый |
| predicate | |
| gen. | сказуемое |
| automat. | логическое условие; функция возврата логического условия; функция возврата логического значения |
| math. | предикат; допущение; ограничение; предположение; условие; пропозициональная функция |
| |||
| рекурсивно перечислимый; счётно перечислимый; рекурсивно перечислимый, счётно перечислимый | |||
| |||
| рекурсивно-перечислимый | |||
|
recursively enumerable : 21 phrases in 3 subjects |
| Logic | 1 |
| Mathematics | 16 |
| Programming | 4 |