Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
существование и единственность решения рассматриваемой задачи
Разрешимость начально-краевых нестационарных задач доказана для всех моментов времени только в случае...
В общем трехмерном случае разрешимость доказана для гладких начальных данных на малом временном интервале...
Вопрос об однозначности разрешимости трехмерной задачи в «целом» для любого времени, любых гладких данных
Каждый язык обязан удовлетворять свойствам разрешимости и однозначности....
Язык считается разрешимым, если за определённое время возможно определить, что фраза или предложение...
Язык является однозначным, если каждая из фраз может быть понята одним единственным образом.
Получены условия на операторные коэффициенты, на отклонения аргумента и на резольвенту, обеспечивающие однозначную разрешимость функционально-дифференциального уравнения с неограниченными операторными коэффициентами в гильбертовом пространстве.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.
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
максимальный связный подграф данного графа
функция ex, часто обозначаемая как exp x