формальная процедура
Смотреть что такое "формальная процедура" в других словарях:
Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… … Словарь терминов логики
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
ИДЕАЛЬНЫЙ ТИП — упрощенная схематич. концептуализация социальных феноменов (социальных связей, процессов, институтов, групп и т.д.), применяемая в качестве инструмента научного исследования в социальных науках. Термин “И.т.” впервые был использован нем.… … Энциклопедия культурологии
подчинение — ПОДЧИНЕНИЕ (с. 455) Более 30 лет прошло с тех пор, как в стенах Стэнфордского университета несколько молодых людей под наблюдением психологов имитировали экстремальную ситуацию тюремное заключение одних под надзором других. «Невинная»… … Большая психологическая энциклопедия
коронации императоров и королей — Термином «К.я» по традиции обозначают совокупность взаимосвязанных церемоний, лля которой как в латыни, так и в ряде новых европейских языков могут употребляться и иные синонимичные наименования, прежде всего «помазание». Так, в латыни… … Словарь средневековой культуры
ИМПЕРАТОР — [лат. imperator, от impero повелевать; в Византии со 2 го десятилетия VII в. в связи с отказом от латыни как офиц. языка имп. титул imperator заменяется греч. βασιλεύς; слав. «царь» от καῖσαρ], монарх, титул главы гос ва (империи). В Зап. Европе… … Православная энциклопедия
Оценка деятельности — формальная процедура оценки работы сотрудника в основном путем сбора информации о выполнении поставленных задач … Словарь терминов антикризисного управления
СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… … Математическая энциклопедия
Маркетинговое планирование — формальная процедура, направленная на рост сбыта и прибылей фирмы. См. также: Управление маркетингом Финансовый словарь Финам … Финансовый словарь