Альтернативное решение
дно из возможных решений некоторой проблемы, столь же правдоподобное, как и другие решения.
Формальные методы
Предмет
Теория игр
👍 Проверено
Автор24
опираются на точные математические языки, модели и объекты.
Научные статьи на тему «Формальные методы»
Формальные и неформальные социальные институты
Институциализация может носить формальный или неформальный характер....
Следовательно, выделяют формальные и неформальные институты....
Формальные социальные институты
Определение 1
Формальный институт – это социальный институт, в...
котором объем средств и методов действия, функций регулируются правовыми актами, предписаниями законов...
правилами средства и методы деятельности, они не определены и не закреплены в нормативных документах
Статья от экспертов
Насколько формальны формальные методы?
В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Предлагаются модели жизненного цикла программного обеспечения при использовании формальных методов Event-B и Model Checking. Анализируются их особенности и ограничения. Формулируются направления дальнейших исследований в этой области
Creative Commons
Научный журнал
Формальный социальный контроль
Понятие формального контроля
Замечание 1
Формальный контроль базируется на официальном одобрении...
Методы формального контроля и их комбинации
Т....
Парсонс выделил следующие методы формального контроля:
Изоляция....
В зависимости от применяемых санкций выделяют следующие методы фронтального контроля:
мягкие;
жесткие...
Методы формального контроля могут комбинироваться между собой по форме и по характеру:
прямые мягкие
Статья от экспертов
Алгокритика как формальный метод
В статье выделяется ранее не исследовавшаяся семантическая категория художественных образов, отсылающих к физической боли, для их обозначения автор предлагает термин «алгообраз». Предлагается новый формальный литературно-критический метод, основанный на анализе и интерпретации алгообразов (алгокритика). Алгокритический метод рассматривается как состоящий из двух этапов: 1) выявление алгообразов и 2) гомосемантический перевод. Исследуется вопрос о формальных возможностях нового метода и воспроизводимости получаемых с его помощью результатов.
Creative Commons
Научный журнал
Еще термины по предмету «Теория игр»
Взаимозаменяемые игроки имеют равную ценность
если 2 игрока производят равное количество вещей для коалиции, их вклад считается равным.
Равновесие пустого разговора
в игре, в которой после коммуникации между игроками следует выбор ими фактических стратегий, равновесие пустого разговора представляет собой такое равновесие, при котором выбор стратегий осуществляется без учета этой коммуникации, а значит, на первом этапе коммуникация между игроками может быть произвольной.
- Формальный метод
- Метод формального разложения
- Формальный
- Формальность
- Формальные атрибуты
- Группа формальная
- Формальная власть
- Формальный лидер
- Коммуникация формальная
- Формальная группа
- Формальные организации
- Операции формальные
- Операция формальная
- Формальные операции
- Организация формальная
- Формальная организация
- Формальная социология
- Формальный аргумент
- Формальный параметр
- Формальный язык
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек