Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… … Философская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
СИСТЕМА, ИНФОРМАЦИОННО-УПРАВЛЯЮЩАЯ (ИУС) — формальная система, снабжающая руководящих работников информацией, необходимой им для принятия решений. Эффективная ИУС принимает во внимание различия между уровнями управления, сферами действия, а также внешними обстоятельствами и дает каждому… … Большой экономический словарь
Формальная логика — Формальная логика конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной,… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Формальная школа — см. Методы домарксистского литературоведения Литературная энциклопедия. В 11 т.; М.: издательство Коммунистической академии, Советская энциклопедия, Художественная литература. Под редакцией В. М. Фриче, А. В. Луначарского. 1929 1939 … Литературная энциклопедия
Система народного образования в СССР — система образования, начавшая складываться после Великой Октябрьской революции и подвергнутая реформированию в ходе либеральных реформ в России 1990 ых годов. Система образования в сталинскую эпоху Основная статья: Сталинская эпоха По указанию… … Википедия
ФОРМАЛЬНАЯ ШКОЛА — неофициальное название группы русских литературоведов и лингвистов, объединившихся в конце 1910 х гг. в Петербурге и Москве на общих методологических основаниях и, в сущности, сделавших из литературоведения науку мирового значения, подготовив… … Энциклопедия культурологии