DSpace Repository

Browsing Выпуск 3 by Issue Date

Browsing Выпуск 3 by Issue Date

Sort by: Order: Results:

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

Search DSpace


Advanced Search

Browse

My Account