Разрешимость

Предмет Логика

👍 Проверено Автор24

свойство формализованной системы, указывающей на существование эффективного метода, с помощью которого для любого выражения этой системы можно за конечное число шагов решить, истинно оно или нет,

Научные статьи на тему «Разрешимость»

Существование и гладкость решений уравнений Навье — Стокса

Разрешимость начально-краевых нестационарных задач доказана для всех моментов времени только в случае...
В общем трехмерном случае разрешимость доказана для гладких начальных данных на малом временном интервале...
Вопрос об однозначности разрешимости трехмерной задачи в «целом» для любого времени, любых гладких данных

Статья от экспертов

Все ли противоречия разрешимы?

Creative Commons

Научный журнал

Проблема разрешимости в модальной логике

Сущность проблемы разрешимости Определение 1 Проблема разрешимости в модальной логике – это логическая...
Разрешимая теория – это теория, для которой существует разрешающая процедура....
Возникновение проблемы разрешимости связано с тем, что в логике и математике невозможно дозволенными...
Проблема разрешимости в модальной логике возникает, когда мы пытаемся определить, разрешима ли конкретная...
является ли конкретная формула разрешимой в данной системе или модели.

Статья от экспертов

О разрешимости нелинейного уравнения

Для случая некомпактного оператора доказывается утверждение о существовании ненулевых решений нелинейного уравнения, относящегося к классу уравнений u = A(u; λ), где λ - скалярный параметр.

Creative Commons

Научный журнал

Еще термины по предмету «Логика»

Понятие «Логический треугольник»

мнемоническая фигура, с помощью которой изображаются основные аспекты языка (синтаксический, семантический и др.).

Понятие «Юма принцип»

принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.

Адекватный

одинаковый, вполне соответствующий чему-либо, равный, тождественный.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Попробовать тренажер