1. Сведение сущности вещи, явления к их форме, формальным признакам.

2. Возможность быть представленным в виде формальной системы.

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

сущ., кол-во синонимов: 1 официализация 3

ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей.

ФОРМАЛИЗАЦИЯ — представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.

ФОРМАЛИЗАЦИЯ см. Формализовать.

Представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление).

ФОРМАЛИЗАЦИЯ (от лат. formalis — предпочтение формы) — англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления.

(< форма наружность, вид)

В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования;

способы исследования...

формализация

I ж.

1. Процесс действия по гл. формализовать I

2. Результат такого действия.

II ж.

1. Процесс действия по гл. формализовать II

2. Результат такого действия.

III ж.

1. Процесс действия по гл. формализировать...

орф.

формализация, -и

Форм/ал/из/а́ци/я [й/а].

ФОРМАЛИЗАЦИЯ – отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений.

ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму — знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм.

ФОРМАЛИЗАЦИЯ и, ж. formalisation f. Представление в виде формальной системы.

ФОРМАЛИЗАЦИЯ СОЦИАЛЬНАЯ — англ. formalization, social; нем. Formalisierung, soziale

См. «структурная формализация».

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

Подразумевает замену отдельных лексических единиц (ЛЕ), а также целых предложений и понятий различными, заранее обусловленными цифровыми, буквенными или смешанными индексами.

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

Способ получения формальной системы из содержательной математич. теории; один из основных методов в доказателъств теории. Применение Ф. м. подразумевает выполнение следующих этапов. 1) Символизация исходной математич. теории.

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

Выражается в широком исользовании в тексте различных сокращений.

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

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

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

См. «рубрикация», «заголовок» {подзаголовки), «пунктуация».

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

Выражается в широком использовании в тексте всех способов аббревиации.

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

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

Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003

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

до внешнего оформления композиционной структуры текста. Одним из средств структурной формализации текста

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

формализации, но несет определенное семантико-синтаксическое и функционально-коммуникативное значение

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

раз-личних типов: номинативными, адьективными, адвербиальными, глагольными.

2. Это формализация самой

сущ., кол-во синонимов: 3 зарегистрирование 4 оформление 18 формализация 1

ФОРМАЛИЗОВАТЬСЯ -зуется; св. и нсв. Книжн. Поддаться — поддаваться формализации, возможности быть представленным в виде формальной системы.

моделирование, элементы семиотики, формализации, математизации и т.п.

моделирования, элементов семиотики, формализации и математизации (в лингвистике, литературоведении, этнографии, истории и т. д.).

ИНСТИТУЦИОНАЛИЗАЦИЯ – процесс формализации социальных отношений, переход от неформальных отношений

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

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

упрощенная с целью удобства исследования; рассматриваемая как единое целое; формализация нек-рой реально существующей или проектируемой системы.

Название формальной аксиоматич. теории, специально предназначенной для формализации (точного

для формализации всего традиционного материала математич. анализа. Наиболее распространенный вариант Ф

систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (так называемая бесскобочная символика Лукасевича).

Важнейшее средство рубрикации и элемент структурной формализации, отражающий тематику и основную

Элемент формализации документа; предусматривает единую для каждого вида и типа документа

более специализированных) и большей степенью формализации соц. организации.

и изучения их моделей. М. включает: предварит, анализ исследуемого объекта (формализация объекта); построение

Элемент произвольной формализации; условное обозначение радиостанции, по которому производится

Элемент рубрикации и структурной формализации; несет определенное семантико-син-таксическое

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

специализированных языковых средств или их символов с точными правилами сочетаемости; спец.).

| сущ. формализация, и, ж. Ф. описания.

процедуру защиты диссертации.

◁ Формализоваться, -зуется; страд. Формализация, -и; ж.

Одно из средств структурной формализации текста, являющееся внешним выражением его композиционной

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

еще в древней Греции, а формализацию его осуществил в начале XX в. Давид ГИЛЬБЕРТ. В аксиоматической

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

произвольной и семантической форм анализа (формализации), выявления лексико-грамматических

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

и изображающими их фазовыми точками. Математич. формализация понятия лсистемы

характеристиками; сравнительно легко поддается формализации, а следовательно, обеспечивает такое сокращенное

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

анализа. Тормозят процесс применения К.м. в э. трудности формализации знаний при изучении, анализе

начальная возможность формализации.

П. формализации предполагает возможность создания из элементов

сложен переход от «эпистемологизации» к «научности» и тем более — от «научности» к «формализации

формализации в гуманитарных науках" (1979). Обл. науч. интересов: проблема преодоления неопределенности

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

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

алфавиту языка рассматриваемой формализации арифметики и интерпретируются, соответственно

как произвольная формула и произвольная переменная этой формализации. Применение А. с. обычно позволяет

и на основе их синтеза разработать новый (системно-феноменологич.) подход к проблеме формализации

формализации знания: системно-феноменологический подход. М., 1993; Проблема непосредственного

знания в истории философии и принципы формализации научных теорий // ВФ. 1995. № 9; Схоластическая

Понятие о С. я. возникло в математич. логике в связи с вопросами формализации и исследования

содержательных математич. теорий. Результатом формализации какой-либо содержательной теории является

формальные системы могут служить формализациями своего собственного элементарного С. я. На этом факте

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

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

и характера формализации. Развитый им информац. подход к оценке количества знания в теории позволяет

аксиоматич. метода характеризуется все возрастающей степенью формализации. Н. а. м. -определенная

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

фигурирует понятие подгруппы. Формализацией Н. а. м. в теории групп служит переход к языку системы Цермело

] Гильберт Д., Бернайс П., Основания математики. Логические исчисления и формализация арифметики, пер. с нем., [т. 1], М., 1979. В. Н. Гришин.

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

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

МНОГОЗНАЧНАЯ]. В работах по искусственному интеллекту широко распространена следующая формализация

Задача получения абдуктивного объяснения сводится к нахождению Е. Указанная выше формализация

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

формализации; в частности, программы, написанные на любом языке программирования из применяемых

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

А., описанными в одной (любой) из указанных формализации. Поскольку А., заданный в фиксированной формализации

язык для формализации логических и математических выражений (так называемая бесскобочная символика Л

формализация объекта (генеральной совокупности) и единицы анализа системы. Например, в социологии

и формализация арифметики, пер. с нем., 2 изд., М., 1982. С. Н. Артемов.

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

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

математики. Логические исчисления и формализация арифметики, пер. с нем., 2 изд., М., 1982. С. К. Соболев.

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