существование и единственность решения рассматриваемой задачи
Разрешимость начально-краевых нестационарных задач доказана для всех моментов времени только в случае...
В общем трехмерном случае разрешимость доказана для гладких начальных данных на малом временном интервале...
Вопрос об однозначности разрешимости трехмерной задачи в «целом» для любого времени, любых гладких данных
Каждый язык обязан удовлетворять свойствам разрешимости и однозначности....
Язык считается разрешимым, если за определённое время возможно определить, что фраза или предложение...
Язык является однозначным, если каждая из фраз может быть понята одним единственным образом.
Получены условия на операторные коэффициенты, на отклонения аргумента и на резольвенту, обеспечивающие однозначную разрешимость функционально-дифференциального уравнения с неограниченными операторными коэффициентами в гильбертовом пространстве.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.
способ определения множества, при котором задаются некоторые элементы определяемого множества и некоторые правила, позволяющие из имеющихся получать другие элементы этого множества; в частном случае определение понятия P (n), зависящего от натурального параметра n, протекает по следующей схеме: задаются P (0) и правило получения P (n + 1) от n и P (n); напр., факториал n! определяется так: 0! = 1, (n + 1)! = (n + 1) · n!
множество, в котором не существует связного подмножества, содержащего более одной точки
кривая, имеющая конечную длину
