(формальные)

См. также в других словарях:

• Формальные системы — (ФС) – это совокупность чисто абстрактных объектов, не связанных с внешним миром, в котором представлены правила оперирования множеством символов в строго синтаксической трактовке без учета смыслового содержания, т.е. семантики. Строго описанные… …   Википедия

• Формальные вексельные возражения — возражения, в основе которых лежит сам вексель и закон, и потому они могут быть заявлены всяким должником и поразят права всякого держателя векселя. Синонимы: Абсолютные вексельные возражения См. также: Вексельное право Финансовый словарь Финам …   Финансовый словарь

• Формальные компоненты высказывания — звуковые или графические формы слов, грамматические формы и структуры. См. также: Высказывания Финансовый словарь Финам …   Финансовый словарь

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

• формальные операции — Категория. Стадия интеллектуального развития, описанная в концепции Ж.Пиаже. Специфика. Характерны для ребенка в возрасте от 11 12 до 14 15 лет и представляют собой систему операций второго порядка, надстроенных над конкретными операциями.… …   Большая психологическая энциклопедия

• ФОРМАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА — в XVI XIX вв. система оценки доказательств в уголовном процессе, при которой значение каждого вида доказательств и их форма были заранее определены в законе. Суд вместо непосредственной оценки доказательств по делу выносил решение с учетом места… …   Юридический словарь

• ФОРМАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА — в 16 19 вв. система оценки доказательств в уголовном процессе, при которой значение каждого вида доказательств и их форма были заранее определены в законе. Суд вместо непосредственной оценки доказательств по делу выносил решение в зависимости от… …   Большой Энциклопедический словарь

• Формальные Операции — стадия интеллектуального развития, описанная в концепции Ж. Пиаже , которая характерна для ребенка в возрасте от 11 12 до 14 15 лет и представляет собой систему операций второго порядка, надстроенных над конкретными операциями . Овладев… …   Психологический словарь

• Формальные модели эмоций — в исследованиях по искусственному интеллекту ставят целью определение эмоций в форме применимой для конструирования роботов. Основными подходами в настоящее время являются KARO[1] [2] [3], EMA[4], CogAff [5], Affective Computing [6] и модель… …   Википедия

• ФОРМАЛЬНЫЕ ДОКАЗАТЕЛЬСТВА — существовавшая в уголовном процессе XVI XIX вв. система оценки доказательств, при которой значение каждого вида доказательств и их форма были заранее определены в законе. Суд вместо непосредственной оценки доказательств по делу выносил решение в… …   Юридическая энциклопедия

• Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия