Формализованную: определение, значение, предложения

В некоторых странах существуют формализованные стандарты профессиональной подготовки и минимального образования, хотя они не обязательно являются единообразными внутри стран или между ними.

Хотя паттерны дизайна применялись практически уже давно, формализация концепции паттернов дизайна затянулась на несколько лет.

Консенсус для бота, чтобы сделать какое-либо конкретное косметическое изменение, должен быть формализован в одобренном запросе на утверждение.

Явка избирателей была зафиксирована на уровне 95,6%, и это подтверждение послужило толчком к формализации новой системы-президентской.

В 2005 году Бенджамин Вернер и Жорж Гонтье формализовали доказательство теоремы внутри помощника по доказательству Coq.

Я думаю, что это прекрасно, чтобы формализовать отношения между экспертами и неэкспертными редакторами,и что вы делаете хорошее начало на этом.

Он подробно показывает, как подход в синтаксических структурах восходит непосредственно к работе математического логика Эмиля поста по формализации доказательства.

По мере того, как язык методов начинает приближаться к зрелости, используются методы математической формализации, поэтому формирующийся язык имеет четкий синтаксис и семантику.

Эти лежащие в основе уравнения обеспечивают, как правило, комплекснозначные отношения этих полей ЭМ и могут принимать несколько различных форм, в зависимости от используемых формализмов.

Нечеткая логика предлагает вычислительно-ориентированные системы понятий и методов для формализации типов рассуждений, которые обычно являются только приближенными, а не точными.

Этот набор критериев был формализован в ходе ряда судебных разбирательств в течение 1980-х годов.

К версии 4 он широко использовался в лаборатории, и была сформирована группа поддержки Unix, помогающая операционной системе выжить путем формализации ее дистрибутива.

Были некоторые споры по поводу того, основал ли сам Сен-Мартен формализованный Орден Мартинистов.

Устойчивость к идее формализации ее интересов в письменной форме.

Определение языка схем формализует интуитивное понятие положения хвоста точно, указывая, какие синтаксические формы позволяют иметь результаты в контексте хвоста.

Двустороннее соглашение, которое мы сегодня подписываем, формализует наше партнерство с временным президентом Гуайдо и его администрацией, – объявил Грин.

Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами.

Понятие доказательства формализовано в области математической логики.

Язык теории категорий использовался для формализации понятий других абстракций высокого уровня, таких как множества, кольца и группы.

В этой революции исследования стали центральными, они также стали более формализованными, сложными и дорогостоящими.

Его основными функциями являются поддержка и внесение поправок в Конституцию, инаугурация и импичмент президента, а также формализация общих контуров государственной политики.

Я это знаю, но я не готова сидеть в одной комнате с кардассианцем и обсуждать формализмы и дипломатические тонкости.

Следует провести некоторое обсуждение, чтобы формализовать процесс восстановления категорий.

Они превращаются в поэтов, перенося эту поэзию в чистую форму, голос несгибаемого формализма!

Гурвич ввел и формализовал концепцию совместимости стимулов.

Это просто создает механизм для того, чтобы это было формализовано.

Для тех, кто знаком с общей теорией относительности, она очень напоминает тетрадный формализм, хотя и имеет существенные концептуальные различия.

Хотя шижан и был похож на японское искусство тамешигири, он никогда не был формализован до такой степени, как последнее искусство.

Как культурная деятельность, технология предшествует науке и технике, каждая из которых формализует некоторые аспекты технологического процесса.

Бушидо расширил и формализовал более ранний кодекс самураев, подчеркнув искренность, бережливость, верность, владение боевыми искусствами и честь до самой смерти.

Широкогоров, например, считал Цин-шаманизм XVIII века слишком формализованным, чтобы быть подлинным.

Его сельские пейзажи повлияли на некоторых молодых художников того времени, заставив их отказаться от формализма и черпать вдохновение непосредственно из природы.

Но если специальная интервенция работает, то почему бы не формализовать ее?

В 1950-х годах эта теория была дополнительно формализована Кеннетом Эрроу и Жераром Дебре.

Логика в стиле Гильберта и естественная дедукция - это всего лишь два вида систем доказательств среди большого семейства формализмов.

Большинство формализмов предоставляют следующие операции для построения регулярных выражений.

В 1977 году Амир Пнуэли предложил использовать темпоральную логику для формализации поведения постоянно работающих параллельных программ.

Кросс родился в Претории, Южная Африка, до эпохи апартеида, когда расовая сегрегация была менее формализована.