Значение слова ФОРМАЛИЗОВАННЫЙ в Орфографическом словаре

ФОРМАЛИЗОВАННЫЙ: формализ`ованный; кр. ф. -ан, -ана

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

ФОРМАЛИЗОВАННЫЙ в Словаре экономических терминов:
МЕТОД РАСЧЕТА -способ действий, основанный на строгом соблюдении заранее заданных правил, алгоритмов, расчет по формулам, математическим …
ФОРМАЛИЗОВАННЫЙ в словаре Синонимов русского языка.
ФОРМАЛИЗОВАННЫЙ ЯЗЫК в Большой советской энциклопедии, БСЭ:
язык, 1) в широком смысле v любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами …
ХАЙДЕГГЕР в Новейшем философском словаре:
(Heidegger) Мартин (1889-1976) - немецкий философ, один из крупнейших мыслителей 20 в. Учился в гимназии иезуитов в Констанце, в университете …
ХАЙДЕГГЕР в Словаре постмодернизма:
(Heidegger) Мартин (1889-1976) - немецкий философ, один из крупнейших мыслителей 20 в. Родился и воспитывался в небогатой трудовой католической семье. …
МЕТОД в Словаре экономических терминов:
РАСЧЕТА ФОРМАЛИЗОВАННЫЙ см ФОРМАЛИЗОВАННЫЙ МЕТОД РАСЧЕТА …
ИССЛЕДОВАНИЕ СОБРИОЛОГИЧЕСКОЕ в Энциклопедии трезвого образа жизни:
— один из основных способов развития собриологического знания, заключающийся в сознательной концентрации усилий отдельного исследователя (или исследовательского коллектива) на ограниченных, …
ВСЕСТОРОННЕЕ РАЗВИТИЕ ЛИЧНОСТИ в Педагогическом энциклопедическом словаре:
, идеал воспитания, присущий гуманистическим педагогическим концепциям. Идея В.р.л. возникла в эпоху Возрождения и получила различные интерпретации во мн. философских …
ЛОГИКА ПРЕДИКАТОВ в Большом энциклопедическом словаре:
раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит …
ИСЧИСЛЕНИЕ в Большом энциклопедическом словаре:
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. …
АЛГОРИТМИЧЕСКИЙ ЯЗЫК в Большом энциклопедическом словаре:
формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит), синтаксических правил и семантических определений. Является основой языков …
ФОРМАЛЬНЫЙ ЯЗЫК в Большой советской энциклопедии, БСЭ:
язык, то же, что формализованный язык . Иногда под термином 'Ф. я.' понимают также формальную систему …
ФОРМАЛЬНАЯ СИСТЕМА в Большой советской энциклопедии, БСЭ:
система, неинтерпретированное исчисление , класс выражений (формул) которого задаётся обычно индуктивно v посредством задания исходных ('элементарных', или 'атомарных') формул и …
ПОР-РОЯЛЯ ЛОГИКА в Большой советской энциклопедии, БСЭ:
логика, логическое учение, изложенное в книге последователей Р. Декарта - аббатов монастыря Пор-Руаяль А. Арно и П. Николя 'Логика, или …
ОМОНИМИЯ в Большой советской энциклопедии, БСЭ:
понятие, играющее важную роль в логике , логической семантике и семиотике и являющееся естественным обобщением соответствующего лингвистического понятия (см. Омонимы …
МЕТАТЕОРИЯ в Большой советской энциклопедии, БСЭ:
(от мета... ), теория, анализирующая структуру, методы и свойства какой-либо другой теории - т. н. предметной теории, или объектной. Термин …
ЛОГИКА в Большой советской энциклопедии, БСЭ:
(греч. logik), наука о приемлемых способах рассуждения. Слово 'Л.' в его современном употреблении многозначно, хотя и не столь богато смысловыми …
ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, …
БУРБАКИ НИКОЛА в Большой советской энциклопедии, БСЭ:
Никола (Bourbaki Nicolas), собирательный псевдоним, под которым группа математиков во Франции выступает с попыткой осуществить идею, исходящую от Д. Гильберта …
АЛГОРИТМИЧЕСКИЙ ЯЗЫК в Современном энциклопедическом словаре:
формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит алгоритмического языка), синтаксических правил и семантических определений теоретическая основа …
АЛГОРИТМИЧЕСКИЙ ЯЗЫК в Энциклопедическом словарике:
формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит алгоритмического языка), синтаксических правил и семантических определений теоретическая основа …
ФОРМАЛИЗОВАТЬ в Энциклопедическом словаре:
, -зую, -зуешь; -бванный; сое. и несов. (книжн.). Представить (-влягь) содержательную сторону явления в виде формальной системы или исчисления. Формализованный …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА ПРЕДИКАТОВ, раздел логич. теорий, в к-ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л.п. …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы - языка И., т.е. …
АЛГОРИТМИЧЕСКИЙ в Большом российском энциклопедическом словаре:
АЛГОРИТМ́ИЧЕСКИЙ ЯЗЫК, формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит), синтаксич. правил и семантич. определений. Является основой …
ЧЖОУ И в Словаре Кольера:
Наиболее авторитетное и оригинальное произведение китайской канонической и философской литературы, стоящее во главе как Тринадцатиканония (Ши сань цзин), так и …
ПОКАЯНИЕ в Словаре Кольера:
в христианстве, выражение раскаяния в совершенных грехах, позволяющее грешнику надеяться на прощение, даруемое ему в акте отпущения грехов. В католическом …
МОИЗМ в Словаре Кольера:
"школа Мо" (мо цзя), древнекитайское философско-религиозное учение, сформировавшееся в 5-4 вв. до н.э. и получившее широкое распространение в 4-3 вв. …
КИТАЙСКАЯ ФИЛОСОФИЯ в Словаре Кольера.
КАНОНИЗАЦИЯ в Словаре Кольера:
(от греч. kanonizo, "включать в канон", "узаконивать"), законодательный акт высшей церковной власти, которым христианский подвижник, прославившийся своими подвигами, посмертно причисляется …
БУРБАКИ, НИКОЛ в Словаре Кольера:
(Bourbaki, Nicolas), псевдоним группы математиков, в основном французских. Группа сложилась в середине 1930; состав ее с годами менялся, при этом …

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

← ФОРМАЛИЗМ ФОРМАЛИЗОВАТЬ→