формализованный прил., кол-во синонимов: 1 • формализированный (1) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: формализированный
Ливан Лиановый Лианный Лиана Лиаза Лафа Ларион Ларин Ларв Лара Ланина Ланий Лана Ламинарный Лама Лайм Лай Лазный Лаз Лаврин Лавр Лавинный Лавина Лава Ирон Ирма Иран Ионон Ионол Ионный Ионафан Ион Иол Иов Иоанн Инна Инвар Илона Иловый Изоморфный Изол Измор Измайлов Изм Изломанный Излом Изаномал Ивонна Иванна Иван Зримый Зримо Зорный Зорин Зоофил Зооним Зоновый Зонный Зона Зоман Зола Зоил Зовомый Зов Знойно Зной Змий Злонравный Злой Зловонный Зло Зина Зимой Зимовалый Зима Зил Звонный Звонарный Звон Званый Зарина Заран Зао Заново Замор Замин Замай Зам Залом Зало Заливный Залив Зал Заир Завр Заварной Завал Зав Заамвонный Вымол Вымоина Вылом Вылаз Вызол Врио Враз Воронин Вороний Ворона Ворон Вор Вона Вон Волоф Волна Волин Воланный Волан Вол Война Вой Воин Воз Вниз Внаймы Вмф Вмал Вира Виола Винол Вино Винный Виналон Вилы Вилор Вийон Виза Виан Взор Взлом Взаймы Взаимый Взаимный Взаимно Варна Варлам Вариофон Варин Варизонный Варан Вар Вано Ванный Валом Валин Вализа Вал Вайм Вазонный Вазон Ваза Афоризм Афон Афина Афар Арфовый Арфа Арон Арно Арма Арифм Арион Ариозо Ариозный Арин Ариман Аризон Ариан Арам Аон Анри Аноновый Аноним Анон Аноа Анналы Анна Анион Анин Аним Анизол Ананий Анани Анаморфоз Анамний Аналой Анализ Анаволий Амфорный Амфора Аморфный Аморфно Амон Амнион Амин Амилоза Амиловый Амилан Амил Амвонный Амвон Аман Амазоний Амавроз Алый Алмазный Алмаз Алма Алин Алий Аларм Аларий Аланин Алан Айрол Айран Айован Айова Аймар Айван Айва Аир Ливны Ливный Ливр Аил Азол Ливый Лиза Азов Лизаный Лизоформ Лима Лиман Лиманный Лимон Лимонный Лимоновый Линзовый Линный Азан Линон Авран Лиф Лифо Аврам Аврал Авил Авизо Авизный Авиа Авар Лов Лирный Лира Лион Линый Линза Азарин Азаров Лина Азин Лимфозный Лимфа... смотреть
1) Орфографическая запись слова: формализованный2) Ударение в слове: формализ`ованный3) Деление слова на слоги (перенос слова): формализованный4) Фонет... смотреть
корень - ФОРМ; корень - АЛ; суффикс - ИЗ; суффикс - ОВА; суффикс - НН; окончание - ЫЙ; Основа слова: ФОРМАЛИЗОВАННВычисленный способ образования слова:... смотреть
Ударение в слове: формализ`ованныйУдарение падает на букву: оБезударные гласные в слове: формализ`ованный
страд. прич., прош. вр.Краткая форма: формализованот глагола: формализоватьформалізований
прич.; кр.ф. формализо/ван, формализо/вана, -вано, -ваны Синонимы: формализированный
формализ'ованный; кратк. форма -ан, -анаСинонимы: формализированный
adj.formalizedСинонимы: формализированный
формализо́ванный, -ан, -ана, -ано, -аныСинонимы: формализированный
formalizedСинонимы: формализированный
Начальная форма - Формализованный, винительный падеж, единственное число, мужской род, неодушевленное
формализованный формализ`ованный; кр. ф. -ан, -ана
матем. формалізо́ваний Синонимы: формализированный
formalisiert
-способ действий, основанный на строгом соблюдении заранее заданных правил, алгоритмов, расчет по формулам, математическим зависимостям.
-способ действий, основанный на строгом соблюдении заранее заданных правил, алгоритмов, расчет по формулам, математическим зависимостям.
исчисление, к-рому приписана интерпретация (Интерпретация и модель). Синтаксическая часть Ф. я. (Логический синтаксис), или само исчисление, образуется чисто формально (Логистический метод). Исчисление становится Ф. я. при добавлении семантических правил, приписывающих значения (Значение и смысл) правильно построенным выражениям исчисления. Ф. я. может помимо чисто логических аксиом содержать также нек-рые утверждения нелогического характера (напр., нек-рые законы биологии, аксиомы арифметики и др.), тогда Ф. я. дедуктивно описывает соответствующую содержательную область. Ф. я. благодаря своим дедуктивным средствам дает возможность проводить строгое рассуждение и получать новые дедуктивно выводимые следствия, непосредственно не содержащиеся в принятых аксиомах. Т. обр., Ф. я. является аппаратом вывода и доказательства в формализуемых научных дисциплинах. Роль Ф. я. велика в связи с попытками осуществления автоматизации научного рассуждения посредством электронных машин (Кибернетика). ... смотреть
1) В широком смысле – любая совокупность нек-рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования "выражений" (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т и к а). В таком употреблении термин "Ф. я." не предполагает, вообще говоря, никаких спец. ограничений ни на синтаксич. структуру, ни на семантич. правила, ни на назначение такого языка. В частности, Ф. я. может как включать дедуктивные элементы (т.е. служить способом выражения умозаключений, предназначаемых для доказательства или вывода нек-рых утверждений), так и не включать таковых (т.е. быть именно и только "языком" как таковым). При таком широком словоупотреблении между "формализованными" и "неформализованными" языками нет четкой границы, они представляют собой не столько два "разных языка", сколько различные способы описания одной и той же "языковой субстанции". Напр., выражения "Н2О", "вода", "eau", "water", "Wasser", "vesi" и т.д. можно, в принципе, в равной мере считать элементами "Ф. я. химии", и обычный выбор в качестве стандартного именно первого из них определяется не какой-то его особой "формальностью", а тем удобным обстоятельством, что лишь оно (как, впрочем, и более громоздкие выражения вида "вещество, молекула к-рого состоит из двух молекул водорода и одной молекулы кислорода") имеет четкую структуру, "подсказывающую" способ его образования из нек-рых "элементарных" языковых символов (знаков химич. элементов, скобок, точек и цифр), что играет решающую роль при построении простой и обозримой семантики этого языка. Такого же рода соображения определяют, по существу, и выбор стандартных "Ф. я. математики" и т.п. Структурная организованность таких "математизированных" Ф. я. чрезвычайно важна для задач (математической) логики, где термин "Ф. я." употребляется в следующем, более узком смысле. 2) Под Ф. я. в логике понимают интерпретированное исчисление, т.е. нек-рую формальную систему вместе с ее интерпретацией. Именно ввиду наличия интерпретации как неотъемлемого элемента Ф. я. для обозначения этого понятия часто употребляют (синонимичный) термин "семантич. система" (в отличие от "синтаксич. систем" – неинтерпретированных исчислений). Использование Ф. я.– характерная особенность матем. логики, к-рую часто и определяют как "предмет формальной логики, изучаемый посредством построения формализованных языков". Следует, впрочем, заметить, что такого рода "определения" отнюдь не являются неотъемлемым атрибутом изложений математич. логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математич. языки, но не является, строго говоря, и элементом никакого конкретного метаязыка, будучи, скорее, удобным рабочим термином для предварительных эвристич. пояснений предмета этой науки. Напр., в таких классич. изложениях математич. логики, как "Введение в метаматематику" С. К. Клини (пер. с англ., М., 1957) или "Grundlagen der Mathematik" Д. Гильберта и П. Бернайса (В., 1934–39), этим понятием (по крайней мере в явном виде) вообще не пользуются (хотя и следуют, конечно, воплощенным в нем идеям и представлениям). Лит.: Черч ?., Введение в математическую логику, пер. с англ., т. 1, М., 1960, введение (§ 00–09); Tarski ?., Der Wahrheitsbegriff in den formalisierten Sprachen, "Studia Philos.", 1935, Bd 1, S. 261–405; Carnap R.. Introduction to semantics and formalization of logic, L., 1959. Ю. Гастев. Москва. ... смотреть
фармалізаваная мова
ФОРМАЛИЗОВАННЫЙ ЯЗЫК, 1) в широком смысле - любая совокупность нек-рым образом специализированных языковых средств с (более или менее) точно фиксиро... смотреть
Formalsprache
formalized language
formalized language
• formalizovaný jazyk
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также в... смотреть
ФОРМАЛИЗО́ВАННЫЙ ЯЗЫК 1) В широком смысле – любая совокупность нек-рым образом специализированных языковых средств с (более или менее) точно фиксиро... смотреть
искусственный язык, для к-рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих в... смотреть
1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правила... смотреть