Примеры в контексте "Decidability - Разрешимость"
брит.[dɪˌsaɪdəˈbɪlɪti] амер.
Перевод
Decidability
Английский → русский, вариантов перевода: 1
Примеры
Примеры: Decidability — Разрешимость
-
Results in metalogic consist of such things as formal proofs demonstrating the consistency, completeness, and decidability of particular formal systems.
Результаты металогики в значительной степени состоят из формальных доказательств, демонстрирующих непротиворечивость, полноту и разрешимость конкретных формальных систем.
-
Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement.
Алгоритмическая разрешимость: существует алгоритм для определения истинности или ложности любого математического утверждения.
Бесплатно и Premium
Весь сайт бесплатный: переводы, примеры, мнемокартинки. Тренажёр тоже — карточки, повторения по расписанию и 10 новых слов в день. Регистрироваться не обязательно.
Premium добавляет две вещи: свой темп — от 1 до 100 новых слов в день вместо 10, и «Свой словарь» — вставляете английский текст, и слова из него уходят в тренажёр.
Начать заниматьсяПотренируемся?
Чем больше практики, тем лучше запоминается слово