Значение слова ФОРМАЛИЗАЦИЯ в Орфографическом словаре

Что такое ФОРМАЛИЗАЦИЯ

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

Орфографический словарь. 2012

ФОРМАЛИЗАЦИЯ в Новейшем философском словаре:
способ выражения содержания совокупности знаний через опреленную форму - знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая …
ФОРМАЛИЗАЦИЯ в Большом энциклопедическом словаре:
представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или …
ФОРМАЛИЗАЦИЯ в Большой советской энциклопедии, БСЭ:
представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы , или исчисления . …
ФОРМАЛИЗАЦИЯ в Большом российском энциклопедическом словаре:
ФОРМАЛИЗ́АЦИЯ, представление и изучение к.-л. содержат. области знания (науч. теории, рассуждения, процедур поиска и т.п.) в виде формальной системы или …
ФОРМАЛИЗАЦИЯ в словаре Синонимов русского языка.
ФОРМАЛИЗАЦИЯ в Новом толково-словообразовательном словаре русского языка Ефремовой:
1. ж. Процесс действия по знач. несов. глаг.: формализовать (1*). 2. ж. Процесс действия по знач. несов. глаг.: формализовать …
ФОРМАЛИЗАЦИЯ в Полном орфографическом словаре русского языка:
формализация, …
ФОРМАЛИЗАЦИЯ в Современном толковом словаре, БСЭ:
представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или …
ФОРМАЛИЗАЦИЯ в Толковом словаре Ефремовой:
формализация 1. ж. Процесс действия по знач. несов. глаг.: формализовать (1*). 2. ж. Процесс действия по знач. несов. глаг.: формализовать …
ФОРМАЛИЗАЦИЯ в Новом словаре русского языка Ефремовой:
I ж. процесс действия по несов. гл. формализовать I II ж. процесс действия по несов. гл. формализовать …
ФОРМАЛИЗАЦИЯ в Большом современном толковом словаре русского языка:
I ж. 1. процесс действия по несов. гл. формализовать I 2. Результат такого действия. II ж. 1. процесс действия по …
СОЦИАЛЬНАЯ ОРГАНИЗАЦИЯ в Новейшем философском словаре:
понятие социальной философии и социологии; применительно к социальным объектам употребляется в трех смыслах: 1) как элемент социальной структуры - искусственное …
МАТЕМАТИЧЕСКАЯ ЛОГИКА в Новейшем философском словаре:
один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные …
ГЕНЕРАЛИЗАЦИЯ в Новейшем философском словаре:
(лат. generalis - общий, главный) - 1) логический прием, предусматривающий обобщение, переход от частного к общему, подчинение частных явлений общему …
ВЕРОЯТНОСТЬ в Новейшем философском словаре:
количественная мера возможности осуществления события при наличии неопределенности, т.е. в ситуации, когда это событие характеризуется как возможное. Вкладывание того или …
ФИЛОСОФСКИЕ ИССЛЕДОВАНИЯ в Словаре постмодернизма:
("Philosophische Untersuchungen") - главное произведение позднего периода творчества Витгенштейна. Несмотря на то, что книга была издана лишь в 1953, через …
ТЕОРИЯ ИНТУИЦИИ В ФЕНОМЕНОЛОГИИ ГУССЕРЛЯ в Словаре постмодернизма:
("Thйorie de l'intuition dans la phйnomйnologie de Husserl", 1930) - первая работа Левинаса и первая фундаментальная интерпретация феноменологии Гуссерля во …
ПОСТФРЕЙДИЗМ в Лексиконе нонклассики, художественно-эстетической культуры XX века, Бычкова:
Влиятельное течение неклассической эстетики, являющееся теоретической основой постмодернизма. Возник во Франции в 60-х гг. XX в. Его философско-эстетическая специфика связана …
МОДАЛЬНАЯ ЛОГИКА в Большой советской энциклопедии, БСЭ:
логика, область логики, посвящённая изучению модальностей , построению исчислений , в которых модальности применяются к высказываниям, наряду с логическими операциями …
МЕТАМАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических …
МАШИН И МЕХАНИЗМОВ ТЕОРИЯ в Большой советской энциклопедии, БСЭ:
и механизмов теория , наука об общих методах исследования и проектирования машин и механизмов . Наиболее развита часть науки, называемая …
ДОКАЗАТЕЛЬСТВО в Большой советской энциклопедии, БСЭ:
в логике, процесс (метод) установления истины , обоснование истинности суждения . В соответствии с различными возможными аспектами и уровнями рассмотрения …
ДЕСКРИПТИВНАЯ ЛИНГВИСТИКА в Большой советской энциклопедии, БСЭ:
лингвистика (от позднелат. descriptivus - описательный), одно из направлений лингвистического структурализма, господствовавшее в американском языкознании в 30-50-е гг. 20 в. …
АНАЛИЗ в Большой советской энциклопедии, БСЭ:
(от греч. analysis - разложение, расчленение), процедура мысленного, а часто также и реального расчленения предмета (явления, процесса), свойства предмета (предметов) …
АКСИОМАТИЧЕСКИЙ МЕТОД в Большой советской энциклопедии, БСЭ:
метод, способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) - аксиомы , или постулаты …
ФОРМАЛИЗОВАТЬ в Энциклопедическом словарике:
зую, зует, несов. и сов., что мат., лингв. Представлять (представить) какое-н. явление, процесс, отношение и т.п. в формальном4 виде. ф. …
ФОРМАЛИЗОВАТЬ в Энциклопедическом словаре:
, -зую, -зуешь; -бванный; сое. и несов. (книжн.). Представить (-влягь) содержательную сторону явления в виде формальной системы или исчисления. Формализованный …
ИНСТИТУТЫ ЯЗЫКОЗНАНИЯ. в Лингвистическом энциклопедическом словаре:
В системе АН СССР проблемы языкознания разрабатываются в специализированных языковедч. ин-тах (Ин-те яз-знания и Ин-те рус. языка), в ин-тах комплексной …
ОФИЦИАЛИЗАЦИЯ в словаре Синонимов русского языка.

Орфографический словарь

← ФОРМА ФОРМАЛИЗМ→