ru

Контрмодель

en

Übersetzung von "контрмодель" ins Englisch

контрмодель
Substantiv
raiting
Основная форма
/kəntrmɐˈdʲelʲ/
Основная форма
/kəntrmɐˈdʲelʲ/
контрмодель
контрмодели / Pl.
контрмоделью
контрмоделей Pl.
контрмоделям Pl.
контрмоделями Pl.
контрмоделях Pl.
Абстрактное существительное женского рода, 3-е склонение.
В логике контрмодель используется для опровержения гипотезы.
In logic, a countermodel is used to refute a hypothesis.

Definitionen

контрмодель
Substantiv
raiting
Основная форма
/kəntrmɐˈdʲelʲ/
Основная форма
/kəntrmɐˈdʲelʲ/
Математическая или логическая модель, в которой рассматриваемое утверждение, формула либо теория не выполняется, тем самым демонстрируя их необщезначимость.
Чтобы показать, что формула не является логически общезначимой, достаточно привести контрмодель, где она ложна.

Redewendungen und Phrasen

поиск контрмодели
Поиск контрмодели является важной частью исследования.
search for a countermodel
The search for a countermodel is an important part of the research.
анализ контрмодели
Анализ контрмодели помогает понять ограничение гипотезы.
analysis of the countermodel
Analysis of the countermodel helps to understand the limitation of the hypothesis.
использование контрмодели
Использование контрмодели позволяет проверить теорию на прочность.
use of a countermodel
The use of a countermodel allows testing the theory for robustness.
построение контрмодели
Построение контрмодели требует тщательного подхода.
construction of a countermodel
Construction of a countermodel requires a careful approach.
создание контрмодели
Создание контрмодели может раскрыть неожиданные аспекты теории.
creation of a countermodel
The creation of a countermodel can reveal unexpected aspects of the theory.