Главная
Добавить
Новые
Исправленные
Примеры
Добавить
Новые
Исправленные
Из слов
В слова
Правки
Все
С комментариями
Направление
Удалённые
Меню
▼
Форум
Поиск
Объявления
Помощь
▶
Принципы
Правила
Документация 大БКРС
Участники
Пословный
Фразы
Скороговорки
Частотность
Собственные
Аддон
Скачать словарь
Тёмная тема
Контакты
Войти
递归可公理化的
_
recursively axiomatizable
пословный:
递归
可
公理化
的
dìguī
мат.
рекурсия; рекурсивный
kě
1) можно
2) однако; в самом деле; в конце концов
3) да вот ...; только вот не знаю...
4) разве [не], неужели [не]; откуда бы, где уж тут
gōnglǐ huà
аксиоматизация
de
притяж.
близкие:
递归可列举集
递归可实现性
递归可数的
递归可数集合
递归可枚举
递归可枚举的
递归可枚举语言
递归可枚举集
递归可枚举集合
递归可计算的