Свежие пополнения

  • Автоустойчивость автоматных представлений ординалов и линейных порядков низкого ранга 
    Ревенко, Александра Анатольевна (Новосибирский государственный университет, 2008)
    В [10] показано, что автоматные линейные порядки имеют конечный FC-ранг. В этой работе дан положительный ответ на вопрос о существовании вычислимого изоморфизма между автоматными представлениями ординалов и линейных порядков ...
  • Контактная задача для упругих тел разных размерностей 
    Неустроева, Наталья Валериановна (Новосибирский государственный университет, 2008)
    В работе исследуется вариационная задача, описывающая контакт упругой пластины с тонкой упругой балкой. Предполагается, что область контакта заранее неизвестна и подлежит определению. Данная модель описывается задачей ...
  • Об одном случае использования квадратурных формул Соболева в теории вейвлетов 
    Мищенко, Евгения Васильевна (Новосибирский государственный университет, 2008)
    В работе показано, что полиномы Жамалова, приведенные в монографии [4], приводят к вейвлетам Баттла – Лемарье любого порядка, причем система Франклина не является частным случаем кратномасштабного анализа Баттла – Лемарье ...
  • Экспоненциальная дихотомия линейных систем дифференциальных уравнений с периодическими коэффициентами 
    Демиденко, Геннадий Владимирович; Клевцова, Юлия Юрьевна (Новосибирский государственный университет, 2008)
    Получены условия экспоненциальной дихотомии линейных систем дифференциальных уравнений с периодическими коэффициентами. Результаты формулируются в терминах разрешимости специальной краевой задачи для дифференциального ...
  • Интерполяционная формула Лагранжа для дискретной аналитической функции 
    Данилов, Олег Александрович (Новосибирский государственный университет, 2008)
    Целью настоящей работы является доказательство теорем существования и единственности разложения Тейлора для дискретной аналитической функции, определенной на некоторой конечной части гауссовой плоскости. В частности, ...
  • О Σ01-классификации отношений на вычислимых структурах 
    Гончаров, Сергей Савостьянович; Когабаев, Нурлан Талгатович (Новосибирский государственный университет, 2008)
    В статье построен пример вычислимой структуры сигнатуры, состоящей из бесконечного числа бинарных предикатных символов, для которой не существует Σ01-классификации всех одноместных отношений, определимых в указанной структуре ...
  • Некоторые обратные задачи для квантового кинетического уравнения 
    Аниконов, Юрий Евгеньевич; Нещадим, Михаил Владимирович (Новосибирский государственный университет, 2008)
    В работе для квантового кинетического уравнения получено дифференциальное тождество, на основе которого доказана теорема единственности обратной задачи определения решения и правой части по краевой и начальной информации. ...
  • К столетию со дня рождения Сергея Львовича Соболева 
    Демиденко, Геннадий Владимирович (Новосибирский государственный университет, 2008)