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

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

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

Логика

ЛОГИКА(греч. λογική, от λογικός – построенный на рассуждении, от λόγος – слово, понятие, рассуждение, разум) – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка.Затем формулируются правила образования (синтаксис) из исходных символов различных типов выражений формализованного языка (в частности, класс формул).
Энциклопедия Кругосвет

Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности...Металогика Метатеоретические проблемы логики Непротиворечивость формализованных теорий Полнота формализованных теорий Разрешимость формализованных теорий Независимость аксиом...
ru.wikipedia.org

Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Л." в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит.Но в отличие от традиционной, для современной Л. характерно построение различного рода формализованных теорий логического рассуждения — т. н. логических "формализмов", или логических...
Большая советская энциклопедия (БСЭ). — 1969—1978

Метаязык

МЕТАЯЗЫК — понятие совр. логики, используемое при исследовании языков различных логико-математич. исчислений и естеств.-науч. языков, при описании взаимоотношений языков различного "уровня" и при характеристике отношения между рассматриваемыми…Соответственно М., предназначенный для изучения структуры формализованного предметного языка, наз. синтаксич. языком, или языком синтаксиса.
Философская энциклопедия

Метаязык (от мета…), одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, естественных языков…При этом М. сам может быть формализован и (независимо от этого) оказаться предметом исследования, проводимого средствами метаметаязыка, причём такой ряд можно "мыслить" растущим бесконечно.
Большая советская энциклопедия (БСЭ). — 1969—1978

МЕТАЯЗЫК — одно из важнейших понятий современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики. В самом общем смысле метаязык — любой естественный или искусственный язык (язык «второго уровня»)…Так, в логике и математике метаязык обычно понимается как средство изучения формализованных языков — логических и математических исчислений, или (в несколько иной формулировке) как...
Новая философская энциклопедия. - 2003

Модель

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

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

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

Правовой обычай

ОБЫЧАЙ исходный, наиболее простой тип культурной регуляции на основе целостных, привычных образцов поведения, совершаемого по установленному поводу в опр. время и в опр. месте.Обряд и ритуал — формализованное поведение или действие, имеющее прежде всего символич. значение, лишенное непосредств. целесообразности, но способствующее упрочению связей либо между...
Энциклопедия культурологии

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

ОБЫЧАЙ — исходный, наиболее простой тип культурной регуляции на основе целостных, привычных образцов поведения, совершаемого по установленному поводу в опр. время и в опр. месте.Обряд и ритуал — формализованное поведение или действие, имеющее прежде всего символич. значение, лишенное непосредств. целесообразности, но способствующее упрочению связей либо между...
Энциклопедия культурологии

Система

СИСТЕ́МА (от греч. σύστημα – целое, составленное из частей; соединение) – множество элементов с отношениями и связями между ними, образующее определ. целостность.В понимании содержания понятия С. важную роль играют определения отд. классов С. Один из наиболее изученных классов – формальные С., формализованные языки, исследуемые в логике...
Философская энциклопедия

СИСТЕМА (от греч. — целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство.Задачи обоснования математики и логики вызвали интенсивную разработку принципов построения и природы формализованных систем (металогика, математика).
Философская энциклопедия

СИСТЕМА (от греч. целое, составленное из частей, соединение) — совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определенную целостность, единство.Задачи обоснования математики и логики вызвали интенсивную разработку принципов построения и природы формализованных систем (металогика, математика).
Новая философская энциклопедия. - 2003

ФОРМАЛИЗО́ВАННЫЙ ЯЗЫК

ФОРМАЛИЗО́ВАННЫЙ ЯЗЫК. 1) В широком смысле – любая совокупность нек-рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования "выражений" (с и н т а к с и с Ф. я.
Философская энциклопедия

Формализованный язык

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственная знаковая система, предназначенная для представления некоторой теории. Формализованный язык отличается от естественных (национальных) языков человеческого общения и мышления, от искусственных языков типа Эсперанто…
Философская энциклопедия

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях…
Прохоров Б.Б. Экология человека. - 2005

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык, для к-рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих выражений.
Математическая энциклопедия. - 1977-1985

Формальная система

АКСИОМАТИЧЕСКИЙ МЕТОД - способ построения научной теории, при к-ром в основу теории кладутся нек-рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом.проблема непротиворечивости математич. теорий, решать в форме доказательств соответствующих утверждений о формализующих эти теории формальных системах.
Математическая энциклопедия. - 1977-1985

АКСИОМАТИЧЕСКИЙ МЕТОД — один из способов дедуктивного построения научных теорий, при к-ром: 1) выбирается нек-рое множество принимаемых без доказательства предложений определенной теории (аксиом)…(а с 20—30-х гг. 20 в — как формализованную) систему, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, к-рые ей удовлетворяют.
Философский энциклопедический словарь. - М., 1989

АКСИОМАТИЧЕСКИЙ МЕТОД (греч. axioma — значимое, принятое положение) — способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом)…На третьем этапе A.M. становится формализованным. Соответственно, изменилось и понятие "аксиома". Если на первом этапе развития A.M. она понималась не только как отправной пункт...
Новейший философский словарь / Сост. А.А. Грицанов

Буква ф встречается 1 раз. Слова с 1 буквой ф
Буква о встречается 1 раз. Слова с 1 буквой о
Буква р встречается 1 раз. Слова с 1 буквой р
Буква м встречается 1 раз. Слова с 1 буквой м
Буква а встречается 1 раз. Слова с 1 буквой а
Буква л встречается 1 раз. Слова с 1 буквой л
Буква и встречается 2 раза. Слова с 2 буквами и
Буква з встречается 1 раз. Слова с 1 буквой з
Буква у встречается 1 раз. Слова с 1 буквой у
Буква ю встречается 1 раз. Слова с 1 буквой ю
Буква щ встречается 1 раз. Слова с 1 буквой щ
Буква й встречается 1 раз. Слова с 1 буквой й

Похожие запросы: