Выпуск 3

 

Недавние добавления

  • Краевая задача для одного класса вырождающихся систем соболевского типа 
    Пинигина, Нюргуяна Романовна (Новосибирский государственный университет, 2012)
    Работа посвящена исследованию разрешимости первой краевой задачи для одного класса вырождающихся систем составного (соболевского) типа. Для рассматриваемой задачи доказываются теоремы существования регулярных решений.
  • Диаграммное описание комплексирования программных систем 
    Ковалёв, Сергей Протасович (Новосибирский государственный университет, 2012)
    В работе представлен теоретико-категорный подход к формализации процессов разработки программных систем, позволяющий единообразно описать многие известные технологии программирования. В качестве отправной точки для выработки ...
  • Восстановление пути в дереве Барнинга - Холла 
    Емельянов, Павел Геннадьевич (Новосибирский государственный университет, 2012)
    В 1963 г. Ф. Дж. М. Барнинг и в 1970 г. А. Холл описали систематическую процедуру порождения всех примитивных пифагоровых троек с помощью умножения минимальной пифагоровой тройки [3, 4, 5], рассматриваемой как вектор, на ...
  • Решение задачи интегральной геометрии 2-тензорных полей методом сингулярного разложения 
    Деревцов, Евгений Юрьевич; Полякова, Анна Петровна (Новосибирский государственный университет, 2012)
    Рассматривается задача интегральной геометрии, состоящая в определении заданного в единичном круге симметричного 2-тензорного поля по его известным лучевым преобразованиям. Построены сингулярные разложения операторов ...
  • Аксиоматики А. Д. Александрова для квантовой механики и теории относительности 
    Гуц, Александр Константинович (Новосибирский государственный университет, 2012)
    В статье представлены в аксиоматической форме результаты А.Д. Александрова по квантовой механике и специальной теории относительности.
  • Об одном классе задач интегральной геометрии с неполными данными 
    Батенков, Дмитрий Владимирович; Голубятников, Владимир Петрович; Иомдин, Иосиф Ноахович (Новосибирский государственный университет, 2012)
    Рассматриваются нелинейные задачи реконструкции многомерных объектов по неполным наборам дистанционных измерений, представленных в виде интегральных преобразований. С помощью системы уравнений Прони для D-финитных объектов ...
  • О категоричности булевых алгебр типа B(ωα × η) в гиперарифметической иерархии 
    Баженов, Николай Алексеевич (Новосибирский государственный университет, 2012)
    Работа посвящена исследованию категоричности булевых алгебр относительно классов гиперарифметической иерархии. Доказано, что булева алгебра B(ω^(δ+n) ×η) (где δ — предельный ординал или ноль, n принадлежит ω, δ+n>=1) ...
  • Элементарные теории пространств непрерывных функций 
    Амстиславский, Владислав Сергеевич (Новосибирский государственный университет, 2012)
    Исследован обобщенный метод интерпретаций и его применимость к доказательству разрешимости теорий. С помощью этого метода доказана разрешимость теории решетки непрерывных функций из R в R. Доказана неразрешимость теории ...
  • Классификация узлов малой сложности в утолщенном торе 
    Акимова, Алена Андреевна; Матвеев, Сергей Владимирович (Новосибирский государственный университет, 2012)
    В статье построена таблица узлов в утолщенном торе T × I, минимальные диаграммы которых имеют <= 4 перекрестков. Узлы строятся с помощью трехступенчатого перебора (сначала — регулярных графов степени 4, потом — отвечающих ...
  • К столетию академика А. Д. Александрова 
    Решетняк, Юрий Григорьевич (Новосибирский государственный университет, 2012)

Поиск в DSpace


Расширенный поиск

Просмотр

Моя учетная запись

Обзор

Потоки RSS