Примеры в контексте "Satisfiability - Выполнимость"
брит.[satɪsfʌɪəˈbɪlɪti]
Перевод
Satisfiability
Английский → русский, вариантов перевода: 1
Примеры
Примеры: Satisfiability — Выполнимость
-
Satisfiability of the formula is detected either when all variables are assigned without generating the empty clause, or, in modern implementations, if all clauses are satisfied.
Выполнимость формулы констатируется или когда всем переменным заданы значения так, что не возникает «пустых» дизъюнкт, или, в современных реализациях, если все дизъюнкты равны истине.
-
However, satisfiability of MSO2 formulas is decidable for the graphs of bounded treewidth, and satisfiability of MSO1 formulas is decidable for graphs of bounded clique-width.
Выполнимость формул MSO2, однако, разрешима для графов с ограниченной древесной шириной, а выполнимость формул MSO1 разрешима для графов с ограниченной кликовой шириной.
Бесплатно и Premium
Весь сайт бесплатный: переводы, примеры, мнемокартинки. Тренажёр тоже — карточки, повторения по расписанию и 10 новых слов в день. Регистрироваться не обязательно.
Premium добавляет две вещи: свой темп — от 1 до 100 новых слов в день вместо 10, и «Свой словарь» — вставляете английский текст, и слова из него уходят в тренажёр.
Начать заниматьсяПотренируемся?
Чем больше практики, тем лучше запоминается слово