Примеры в контексте "Predicate - Предикатные"
брит.[ˈpredɪkət] амер.[ˈpredəˌkeɪt]
Перевод
Predicate
Английский → русский, вариантов перевода: 8
Предикатные
Все варианты переводов:
Примеры
Примеры: Predicate — Предикатные
-
A variety of formalisms have been used, including propositional and predicate calculi; deontic, temporal and non-monotonic logics; and state transition diagrams.
Использовались различные формализмы, в том числе пропозициональные и предикатные исчисления; деонтические, темпоральные (временные) и немонотонные логики; и диаграммы перехода состояний.
-
Formally speaking, an SMT instance is a formula in first-order logic, where some function and predicate symbols have additional interpretations, and SMT is the problem of determining whether such a formula is satisfiable.
Формально SMT-формула - это формула в логике первого порядка, в которой некоторые функции и предикатные символы имеют дополнительную интерпретацию.
Другие варианты перевода слова predicate
Все переводы слова predicateБесплатно и Premium
Весь сайт бесплатный: переводы, примеры, мнемокартинки. Тренажёр тоже — карточки, повторения по расписанию и 10 новых слов в день. Регистрироваться не обязательно.
Premium добавляет две вещи: свой темп — от 1 до 100 новых слов в день вместо 10, и «Свой словарь» — вставляете английский текст, и слова из него уходят в тренажёр.
Начать заниматьсяПотренируемся?
Чем больше практики, тем лучше запоминается слово