Значения слова Формализуются. Что такое Формализуются?

Слово состоит из 13 букв: первая ф, вторая о, третья р, четвёртая м, пятая а, шестая л, седьмая и, восьмая з, девятая у, десятая ю, одиннадцатая т, двенадцатая с, последняя я,

Слово формализуются английскими буквами (транслитом) - formalizuytsya

Вероятность

Вероя́тность — степень (количественная оценка) возможности наступления некоторого события. Термин "вероятность" употребляется также как синоним "возможности". Когда основания для того, чтобы какой-нибудь возможный факт произошел в действительности...В теории вероятностей и математической статистике понятие вероятности формализуется как числовая характеристика события - вероятностная мера (или ее значение) - мера на множестве событий...

ru.wikipedia.org

Логика

ЛОГИКА — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. Так как работа интеллекта всегда осуществляется в языковой форме…В последнее время делаются попытки построения дедуктивных систем, в которых формализуются отдельные особенности диалектической логики.. На протяжении тысячелетий логика была обязательной...

Новая философская энциклопедия. - 2003

ЛОГИКА — формальная, наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли…...суждений анализируется с большей глубиной, чем в силлогистике: помимо свойств («одноместных» предикатов), в них формализуются и отношения («многоместные» предикаты; см. Предикат)..

Советский философский словарь. - 1974

Метатеория

МЕТАТЕОРИЯ (от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией.Иногда метатеоретич. результаты в свою очередь формализуются и становятся предметом изучения м е т а м е т а т е о р и и и т.д. M. формулируется в метаязыке, тогда как изучаемая ею...

Философская энциклопедия

МЕТАТЕО́РИЯ (от греч. μετά – за, после) – теория, анализирующая структуру и методы к.-л. другой теории. Термин "М." имеет смысл и употребляется лишь по отношению к нек-рой данной, конкретной теории…Иногда метатеоретич. результаты в свою очередь формализуются и становятся предметом изучения м е т а м е т а т е о р и и и т.д. M. формулируется в метаязыке, тогда как изучаемая ею...

Философская энциклопедия

МЕТАТЕОРИЯ - совокупность математич. средств и методов, предназначенных для описания и определения нек-рой формальной аксиоматич. теории, а также для исследования ее свойств....в теории для получения новых фактов, формализуются в виде аксиом и чисто формальных правил вывода, позволяющих выводить новые формулы языка Qиз аксиом и уже выведенных формул.

Математическая энциклопедия. - 1977-1985

Модель

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

Психология труда. - 2005

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

Философская энциклопедия

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

Философская энциклопедия

Мышление

МЫШЛЕНИЕ — опосредованное отражение внешнего мира, которое опирается на впечатления от реальности и даёт возможность человеку в зависимости от усвоенных им знаний, умений и навыков правильно оперировать информацией…В процессе их решения мыслительные операции обобщаются, формализуются, благодаря чему расширяется диапазон их переноса и применения в новых ситуациях.

Педагогический словарь бибилотекаря. - Спб: РНБ, 2005-2007.

МЫШЛЕНИЕ процесс познавательной деятельности человека характеризующийся обобщенным и опосредованным отражением предметов и явлений дей ствительности в их существенных свойствах…...мыслит операции обобщаются, формализуются, благодаря чему расширяется диапазон их переноса и применения в разл. новых ситуациях Формируется система взаимно связанных, обобщенных и...

Российская педагогическая энциклопедия / Под ред. В.Г. Панова. - 1993

Протестантизм

Протестантизм (от лат. protestans, род. п. protestantis — публично заявляющий, несогласный)) ☼ одно из основных направлений в христианстве, возникшее в ходе Реформации XVI в. как протест против римско-католической церкви…...протестантская теология прошла период поверхностной рационалистической систематизации, формализуясь по образу и подобию католической схоластики (Меланхтон, Хуттер, Герхард, Калов и др.).

Энциклопедия культурологии

ПРОТЕСТАНТИЗМ (от лат. protestans, род. п. protestantis – публично заявляющий) – общее обозначение вероисповеданий и сект, генетически связанных с Реформацией и образующих в совокупности третью важнейшую разновидность христианства – наряду с…Лютера, протестантская теология прошла период поверхностной рационалистич. систематизации, формализуясь, по образу и подобию католич. схоластики (Меланхтон, Хуттер, Герхард, Калов и др.).

Философская энциклопедия