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

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

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

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

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

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

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

Существуют различные способы формализации понятия стабильности.

В 1948 году Шостаковича, как и многих других композиторов, вновь осудили за формализм в Ждановском декрете.

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

Совсем недавно формализация Крипке возможной мировой семантики в модальной логике привела к новому подходу к эссенциализму.

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

Многие области математики могут быть формализованы теорией категорий как категории.

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

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

В этом формализме угловой момент является 2-образным Нетер-зарядом, связанным с вращательной инвариантностью.

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

Примером такого подхода является формализм Берда–Мертенса, и этот подход можно рассматривать как еще одну форму корректности по конструкции.

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

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

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

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

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

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

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

Логика по умолчанию-это немонотонная логика, предложенная Раймондом Рейтером для формализации рассуждений с допущениями по умолчанию.

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

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

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

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

Бергман использовал ряд методов дезинфекции и стерилизации, которые Шиммельбуш документировал и формализовал.

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

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

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

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

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

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

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

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