Выпуск 2

 

Recent Submissions

  • Пинус, Александр Георгиевич (Новосибирский государственный университет, 2009)
    Доказывается взаимная интерпретируемость друг в друге элементарной теории шкалы потенциалов вычислимости всех конечных алгебр и элементарной теории арифметики.
  • Папин, Александр Алексеевич (Новосибирский государственный университет, 2009)
    Установлена однозначная разрешимость «в малом» по начальным данным однородной начально-краевой задачи для одномерных уравнений фильтрации двух вязких несжимаемых жидкостей.
  • Медных, Илья Александрович (Новосибирский государственный университет, 2009)
    В работе получены структурные теоремы для множества Hol(S4, S2) голоморфных отображений римановой поверхности рода четыре на риманову поверхность рода два. Мы рассматриваем нерегулярный случай. Регулярный случай был ...
  • Мамонтов, Евгений Владимирович (Новосибирский государственный университет, 2009)
    Анализируется возможность построения инвариантных решений уравнений Клебша, описывающих вихревые движения.
  • Мардаев, Сергей Ильич (Новосибирский государственный университет, 2009)
    В статье изучается определимость неподвижных точек в модальных логиках. Доказана следующая теорема: наименьшая неподвижная точка оператора Fϕ в конечной транзитивной модели определяется некоторой итерацией позитивной формулы ...
  • Кузнецов, Александр Алексеевич; Тарасов, Сергей Александрович; Шлепкин, Анатолий Константинович (Новосибирский государственный университет, 2009)
    В статье предложен алгоритм для моделирования произвольных периодических групп, заданных порождающими элементами и определяющими соотношениями, основанный на вычислении элементов и соотношений в данных группах.
  • Данилов, Олег Александрович; Медных, Александр Дмитриевич (Новосибирский государственный университет, 2009)
    Цель настоящей работы — доказать, что любая целая дискретная аналитическая функция нескольких комплексных переменных разлагается в сходящийся ряд Тейлора. В отличие от непрерывного случая, указанное разложение не является ...
  • Гаврюшкин, Александр Николаевич (Новосибирский государственный университет, 2009)
    Судоплатовым была получена синтаксическая характеризация класса эренфойхтовых теорий. Было доказано, что в качестве параметров, задающих любую эренфойхтову теорию, можно взять конечный предпорядок (предпорядок Рудина–Кейслера) ...
  • Алексеев, Геннадий Валентинович; Хлуднев, Александр Михайлович (Новосибирский государственный университет, 2009)
    В работе исследуются вопросы разрешимости краевых задач о равновесии упругих тел, содержащих трещину. Предполагается, что трещина выходит на границу под нулевым углом, а упругое тело может содержать жесткое включение. При ...
  • Алдын-оол, Татьяна Андреевна; Ерзин, Адиль Ильясович (Новосибирский государственный университет, 2009)
    Рассматривается ориентированная прямоугольная решетка с одним источником и одним стоком, дуги которой направлены либо вправо, либо вверх и имеют одинаковую вероятность исправности. Под надежностью сети в работе понимается ...