Истинностное значение (логическое значение)
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
существование и единственность решения рассматриваемой задачи
Разрешимость начально-краевых нестационарных задач доказана для всех моментов времени только в случае...
В общем трехмерном случае разрешимость доказана для гладких начальных данных на малом временном интервале...
Вопрос об однозначности разрешимости трехмерной задачи в «целом» для любого времени, любых гладких данных
Каждый язык обязан удовлетворять свойствам разрешимости и однозначности....
Язык считается разрешимым, если за определённое время возможно определить, что фраза или предложение...
Язык является однозначным, если каждая из фраз может быть понята одним единственным образом.
Получены условия на операторные коэффициенты, на отклонения аргумента и на резольвенту, обеспечивающие однозначную разрешимость функционально-дифференциального уравнения с неограниченными операторными коэффициентами в гильбертовом пространстве.Conditions on operator coefficients, on the argument deviation and resolvent, unit defision of functionally-differential equation with unbounded operator coefficients in the Hilbert space are obtained.
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
раздел дифференциальной геометрии, изучающий свойства поверхностей и фигур на них
тензор, среди индексов которого имеются как ковариантные, так и контравариантные