Формализация: определение, значение, синонимы, предложения

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

Я не думаю, что это нужно еще больше формализовать.

Microsoft формализовала патч во вторник в октябре 2003 года.

По Лиссабонскому договору эта система была формализована, и Юнкер был утвержден на другой срок.

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

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

У Родерика Сазерленда из Университета Сиднея есть Лагранжевый формализм для пилотной волны и ее beables.

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

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

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

Договор семантически эквивалентен тройке Хоара, которая формализует обязательства.

Отчет, опубликованный Unisearch с данными, формализованными в сотрудничестве ученых из Университета Нового Южного Уэльса.

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

Эквивалентные тегам формализмы можно охарактеризовать также как вложенные LCFRS / MCFG из fan-out 2.

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

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

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

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

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

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

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

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

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

Формализованное христианское учение о первородном грехе было впервые разработано во II веке Иринеем, епископом Лионским, в его борьбе с гностицизмом.

Полученная в результате калибровочная теория гравитации, Хиггса и калибровочных бозонов является расширением формализма Макдауэлла-Мансури на более высокие измерения.

Намеренно упрощенная в своем послании, эта песня формализовала его пацифистскую позицию и стала гимном лета любви.

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

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

В частности, обычный формализм операторов как наблюдаемых является для теории де Бройля–Бома теоремой.

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

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

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

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

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

Подходы SDT и LBT пытаются формализовать альтернативные условия, которые могут быть доказаны.

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

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

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