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

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

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

Правильное написание и ударение в слове ФОРМАЛИЗОВАННЫЙ

Формализо́ванный; кр. ф. -ан, -ана.
Орфографический словарь. — 2004

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

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

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

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

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

Абсурд

АБСУРД понятие, показывающее, что мир выходит за пределы нашего представления о нем; этимологически восходит к латинскому слову absurdus — неблагозвучный, несообразный, нелепый, от surdus — глухой, тайный, неявный…Переходя эту границу, формализованный разум может достигать качественно нового уровня (напр., алгебра Буля, геометрия Лобачевского, физика Эйнштейна и Бора).
Энциклопедия культурологии

Абсурд — понятие, показывающее, что мир выходит за пределы нашего представления о нем; этимологически восходит к латинскому слову absurdus — неблагозвучный, несообразный, нелепый, от surdus — глухой, тайный, неявный…Переходя эту границу, формализованный разум может достигать качественно нового уровня (напр., алгебра Буля, геометрия Лобачевского, физика Эйнштейна и Бора).
Энциклопедия культурологии

Логика

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

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

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

Метатеория

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

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

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

Система

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

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

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

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

Формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде…
Словарь по логике. - 1997

ФОРМА́ЛЬНАЯ СИСТЕ́МА — неинтерпретированное исчисление, класс выражений (формул) к-рого задается обычно индуктивно – посредством задания исходных ("элементарных", или "атомарных") формул и правил образования (построения) формул…См. Исчисление, Логика высказываний, Математическая логика, Натуральное исчисление, Предикатов исчисление, Формализованный язык.
Философская энциклопедия

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

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

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