Формализация
формализация
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. С. К. Соболев.
Математическая энциклопедия
СТРУКТУРАЛИЗМ
с использованием структурного метода, моделирования, элементов семиотики, формализации и математизации
Большой энциклопедический словарь
формализация
Формализация
פוֹרמָלִיזַציָה נ'
Русско-ивритский словарь
формализация
сущ. жен. рода, только ед. ч.
физ., хим.
формалізація
Русско-украинский словарь
формализация
Фармалізацыя
Русско-белорусский словарь
формализация
Formalization, formalizm formalization
Полный русско-английский словарь
полная формализация
Мат. complete formalization
Полный русско-английский словарь
частичная формализация
Мат. partial formalization
Полный русско-английский словарь
корректная формализация
Мат. correct formalization
Полный русско-английский словарь
логическая формализация
Мат. logical formalization
Полный русско-английский словарь
непротиворечивая формализация
Мат. consistent formalization
Полный русско-английский словарь
расширенная формализация
Мат. extended characterization
Полный русско-английский словарь
формализация языка
Мат. language formalization
Полный русско-английский словарь
formalization
Формализация AI formalization Формализация formalization вчт. формализация
Полный англо-русский словарь
formalizations
Формализация
Полный англо-русский словарь
formalizing
Формализация
Полный англо-русский словарь
language formalization
Мат. формализация языка
Полный англо-русский словарь
פוֹרמָלִיזַציָה נ'
פוֹרמָלִיזַציָה נ'
формализация
Иврит-русский словарь
complete formalization
Мат. полная формализация
Полный англо-русский словарь
partial formalization
Мат. частичная формализация
Полный англо-русский словарь
AI formalization
Формализация в терминах искусственного интеллекта
Полный англо-русский словарь
extended characterization
Мат. расширенная формализация
Полный англо-русский словарь
formal characterization
Мат. формализация, формальное определение
Полный англо-русский словарь
logical formalization
Мат. логическая формализация
Полный англо-русский словарь
consistent formalization
Мат. непротиворечивая формализация
Полный англо-русский словарь
correct formalization
Мат. корректная формализация
Полный англо-русский словарь
formalizm
Формализм, формализация network formalizm
Полный англо-русский словарь
network formalizm
Сетевой формализм; формализация с использованием сетевого представления (задачи)
Полный англо-русский словарь
social formalization
Социальная формализация; формирование стандартных образцов поведения.
Англо-русский социологический словарь
formalization
сущ.
формализация; представление содержания в виде формальной системы.
- social formalization[/m]
Англо-русский социологический словарь
формалізація
імен. жін. роду, тільки одн.
фіз., хім.
формализация
Украинско-русский словарь