Кафедра математической логики и теории алгоритмов

Диссертации (кандидатские и докторские)

имеющие отношение*) к кафедре математической логики и теории алгоритмов

ФИО

НАЗВАНИЕ ДИССЕРТАЦИИ

РУКОВОДИТЕЛИ
МЕСТО ЗАЩИТЫ (если не мехмат МГУ)
ОППОНЕНТЫ

Дата защиты

ВЕДУЩАЯ ОРГАНИЗАЦИЯ

2015

Ф.Н.Пахомов
Фёдор Николаевич
[•]
Некоторые алгоритмические вопросы для полимодальных логик доказуемости

д.ф.-м.н., чл.-корр. РАН, г.н.с. МИАН
Л.Д.Беклемишев
Математический институт им. В.А.Стеклова РАН
д.ф.-м.н.
В.Б.Шехтман
к.ф.-м.н., с.н.с., Вычислительный центр им. А.А.Дородницына
В.А.Варданян

22.10.2015

Диссертация |
Автореферат
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Д.В.Мусатов
Даниил Владимирович
[•]
Комбинаторные методы в теории колмогоровской сложности с ограничением на ресурсы

д.ф.-м.н., проф.
Н.К.Верещагин
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф.
Ф.М.Аблаев,
к.ф.-м.н., с.н.с.
В.В.Подольский

13.02.2015

Диссертация |
Автореферат
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН

2014

М.А.Раскин
Михаил Александрович
[•]
Сверхслова, меры на них и их полупрямые произведения

д.ф.-м.н., проф.
Н.К.Верещагин
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф.
В.Л.Селиванов,
к.ф.-м.н., доц.
М.Н.Вялый

17.10.2014

Диссертация
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
А.А.Сорокин
Алексей Андреевич
[•]
Об отношении совместимости в исчислении Ламбека и в его варианте с операциями замещения

д.ф.-м.н., проф.
М.Р.Пентус
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н., проф.
В.А.Любецкий,
к.ф.-м.н., доц.
Б.Н.Карлов

17.10.2014

Диссертация
Уральский федеральный университет имени первого Президента России Б.Н.Ельцина

2013

Т.А.Стариковская
Татьяна Андреевна
[•]
Эффективные алгоритмы для некоторых задач обработки слов

д.ф.-м.н., акад. РАН
А.Л.Семёнов
д.ф.-м.н.
М.А.Ройтберг,
к.ф.-м.н.
К.Ю.Горбунов

22.03.2013

ФГБОУ ВПО «Санкт-Петербургский государственный университет»

2012

Е.В.Дашков
Евгений Владимирович
[•]
О пропозициональных исчислениях, представляющих понятие доказуемости

д.ф.-м.н, чл.-корр. РАН
Л.Д.Беклемишев
д.ф.-м.н., проф.
С.Н.Артёмов,
к.ф.-м.н., с.н.с.
И.Б.Шапировский

28.09.2012

Институт математики им. С.Л.Соболева Сибирского отделения РАН
С.Л.Кузнецов
Степан Львович
[•]
Категориальные грамматики, основанные на вариантах исчисления Ламбека

д.ф.-м.н., проф.
М.Р.Пентус
д.ф.-м.н., вед.н.с.
И.Г.Лысёнок,
к.ф.-м.н., с.н.с. ИППИ РАН
А.В.Кудинов

08.06.2012

Тверской государственный университет
Д.С.Шамканов
Данияр Салкарбекович
[•]
Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики

д.ф.-м.н., чл.-корр. РАН
Л.Д.Беклемишев,
к.ф.-м.н., доц.
В.Н.Крупский
д.ф.-м.н.
В.П.Оревков,
к.ф.-м.н.
И.Б.Шапировский

27.04.2012

Институт математики им. С.Л.Соболева Сибирского отделения РАН

2011


А.Л.Таламбуца
Алексей Леонидович
[•]
Достижимость минимального показателя роста групп с периодическими соотношениями

акад. РАН, проф.
С.И.Адян
Математический институт им. В.А.Стеклова РАН
д.ф.-м.н.
Р.И.Григорчук,
д.ф.-м.н.
Р.В.Михайлов
Омский филиал Института математики СО РАН

2010


С.П.Кикоть
Станислав Павлович
[•]
О модальных логиках элементарных классов шкал Крипке

проф.
В.Б.Шехтман
д.ф.-м.н., проф.
Л.Л.Максимова,
к.ф.-м.н., доц.
М.Н.Рыбаков

01.10.2010

Математический институт им. В.А.Стеклова РАН

М.А.Ройтберг
Михаил Абрамович
[•]
Алгоритмы сравнительного анализа первичных структур биополимеров

Институт математических проблем биологии РАН, г. Пущино
д.ф.-м.н., проф.

д.ф.-м.н., проф.

д.ф.-м.н., проф.

2009

Н.А.Новак
Наталья Александровна
[•]
Computer-aided Reasoning about Knowledge and Justifications

Prof.
Sergei Artemov
Graduate Center of the CUNY (City University of New York), New York, USA
В.В.Подольский
Владимир Владимирович
[•]
Оценки весов персептронов (полиномиальных пороговых булевых функций)

д.ф.-м.н., проф.
Н.К.Верещагин
д.ф.-м.н., чл.-корр. РАН
А.А.Разборов,
к.ф.-м.н.
М.Н.Вялый
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН

Ю.Л.Притыкин
Юрий Львович
[•]
Алгоритмические свойства последовательностей, близких к периодическим

чл.-корр. РАН, проф.
А.Л.Семёнов
д.ф.-м.н., проф.
М.В.Волков,
к.ф.-м.н.
М.Н.Вялый
Институт математики им. С.Л.Соболева Сибирского отделения РАН
А.Ю.Румянцев
Андрей Юрьевич
[•]
О колмогоровской сложности конечных подпоследовательностей в последовательности нулей и единиц

д.ф.-м.н., проф.
Н.К.Верещагин
Ю.В.Саватеев
Юрий Вячеславович
[•]
Алгоритмическая сложность фрагментов исчисления Ламбека

д.ф.-м.н., проф.
М.Р.Пентус
д.ф.-м.н.
И.Г.Лысёнок,
к.ф.-м.н.
А.В.Кудинов

11.12.2009

Институт математики им. С.Л.Соболева Сибирского отделения РАН

2008


А.В.Кудинов
Андрей Валерьевич
[•]
Топологические модальные логики с модальностью неравенства

д.ф.-м.н., проф.
В.Б.Шехтман
д.ф.-м.н., проф.
А.В.Чагров,
к.ф.-м.н.
Р.Э.Яворский

05.12.2008

Институт математики им. С.Л.Соболева Сибирского отделения РАН
Р.М.Кузнец
Роман Михайлович
[•]
Complexity Issues in Justification Logic

Prof.
Sergei Artemov
Graduate Center of the CUNY (City University of New York), New York, USA
Melvin Fitting,

Robert Milnikel,

Rohit Parikh

2007

М.А.Бабенко
Максим Александрович
[•]
Сложность некоторых алгоритмических проблем для кососимметрических графов

д.ф.-м.н., проф.
Н.К.Верещагин
д.ф.-м.н., проф.
В.В.Вьюгин,
к.ф.-м.н.
Д.В.Карпов
Вычислительный центр им. А.А.Дородницына РАН
И.Б.Шапировский
Илья Борисович
[•]
Алгоритмические свойства модальных логик информационных систем

д.ф.-м.н., проф.
В.Б.Шехтман
Институт проблем передачи информации им. А.А.Харкевича РАН
д.ф.-м.н., проф.
М.Р.Пентус,
к.ф.-м.н., доц.
М.Н.Рыбаков
Математический институт им. В.А.Стеклова РАН

2006

Е.Н.Брюхов
Егор Николаевич
[•]
Integration of Decision Procedures into High-Order Interactive Provers

Prof.
Sergei Artemov
Graduate Center of the CUNY (City University of New York), New York, USA
Melvin Fitting,

Jason Hickey,

Rohit Parikh

Е.Л.Казаков
Евгений Леонидович
[•]
Saturation-Based Decision Procedures for Extensions of the Guarded Fragment

Dr.
Hans de Nivelle
Universität des Saarlandes, Germany
А.Г.Кравцов
Алексей Геннадиевич
[•]
О некоторых классах многомерных модальных логик

д.ф.-м.н., проф.
В.Б.Шехтман
д.ф.-м.н., проф.
А.В.Чагров,
к.ф.-м.н., доц.
Ан.А.Мучник
Математический институт им. В.А.Стеклова РАН

Н.В.Крупский
Николай Владимирович
[•]
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов

д.ф.-м.н., проф.
В.А.Успенский
д.ф.-м.н.
Л.Д.Беклемишев,
к.ф.-м.н.
М.В.Вьюгин
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН

2005

С.А.Славнов

[•]
Semantic Investigations of Linear Logic

Ani Nerode,
Prof.
Sergei Artemov
Cornell University, Ithaca, USA

С.А.Ступников
Сергей Александрович
[•]
Моделирование композиционных уточняющих спецификаций

д.ф.-м.н., проф.
Л.А.Калиниченко,
д.т.н., проф.
В.А.Сухомлин
Институт проблем информатики РАН
д.ф.-м.н.
А.К.Петренко,
к.ф.-м.н.
Р.Э.Яворский
Институт проблем управления РАН

С.П.Шлепаков
Сергей Петрович
[•]
О решениях функциональных уравнений в некоторых разрешимых теориях

д.ф.-м.н., проф.
В.А.Успенский,
к.ф.-м.н., доц.
В.Н.Крупский
д.ф.-м.н., проф.
М.А.Тайцлин,
к.ф.-м.н.
Р.Э.Яворский

18.11.2005

Государственный институт путей сообщения (МИИТ)

2004


М.В.Вьюгин
Михаил Владимирович
[•]
Наборы конечных объектов с заданными информационными соотношениями между ними

д.ф.-м.н., проф.
Н.К.Верещагин
А.В.Евфимьевский
Александр Валентинович
[•]
Privacy Preserving Information Sharing

Prof.
Johannes Gehrke
Cornell University, Ithaca, USA
А.П.Копылов
Алексей Павлович
[•]
Type Theoretical Foundations for Data Structures, Classes, and Objects

Prof.
Robert Constable
Cornell University, Ithaca, USA

В.Х.Хаханян
Валерий Христофорович
[•]
Интуиционистская логика и теория множеств

Философский факультет МГУ им. М.В.Ломоносова
д.ф.-м.н.
В.И.Хомич,

В.Л.Васюков,

М.И.Панов

Кафедра логики философского факультета СПбГУ

2003


Пак Бён Ха

[•]
Субрекурсивная реализуемость и логика предикатов

к.ф.-м.н., доц.
В.Е.Плиско
д.ф.-м.н.
В.И.Хомич,
к.ф.-м.н.
Д.А.Витер
Московский государственный университет путей сообщения

А.В.Чернов
Алексей Вячеславович
[•]
О некоторых вариантах понятия реализуемости

д.ф.-м.н., проф.
Н.К.Верещагин
д.ф.-м.н.
В.В.Вьюгин,
к.ф.-м.н.
Ан.А.Мучник
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН

2002


Д.А.Витер
Дмитрий Александрович
[•]
Примитивно рекурсивная реализуемость и конструктивная теория моделей

к.ф.-м.н., доц.
В.Е.Плиско
д.ф.-м.н., проф.
А.В.Чагров,
к.ф.-м.н., доц.
В.Х.Хаханян
Вычислительный центр им. А.А.Дородницына РАН
Е.Е.Золин
Евгений Евгеньевич
[•]
Модальные логики с оператором разрешимости

д.ф.-м.н., проф.
С.Н.Артёмов,
д.ф.-м.н., проф.
В.А.Успенский
д.ф.-м.н.
А.В.Чагров,
к.ф.-м.н.
В.Х.Хаханян
Автореферат
Диссертация
Новосибирский государственный университет
А.Н.Кротов
Александр Николаевич
[•]
Принципы реализации семантики языка Си++ в системе 3C++

д.т.н., проф.
В.А.Сухомлин
Научно-исследовательский вычислительный центр МГУ им. М.В.Ломоносова
д.ф.-м.н., проф.
В.А.Серебряков,
к.т.н.
В.Ю.Волконский
Институт системного программирования РАН
Автореферат
Диссертация
А.Ю.Ногин
Алексей Юрьевич
[•]
Theory and Implementation of an Efficient Tactic-Based Logical Framework

Prof.
Robert Constable
Cornell University, Ithaca, USA

2001


В.В.Вьюгин
Владимир Вячеславович
[•]
Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей

Институт проблем передачи информации им. А.А.Харкевича РАН
д.ф.-м.н., в.н.с.
Л.А.Бассалыго,
д.ф.-м.н., проф.
Н.К.Верещагин,
д.ф.-м.н., проф.
А.Л.Семёнов
Математический институт им. В.А.Стеклова РАН
Ан.А.Мучник
Андрей Альбертович
[•]
Решение некоторых задач теории алгоритмов с использованием игровых методов

д.ф.-м.н., проф.
А.Л.Семёнов
д.ф.-м.н.
В.Б.Шехтман,
к.ф.-м.н., доц.
А.А.Набебин
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН

А.Е.Ромащенко
Андрей Евгеньевич
[•]
Неравенства для колмогоровской сложности и общая информация

д.ф.-м.н., проф.
Н.К.Верещагин
д.ф.-м.н., проф.
М.И.Канович,
к.ф.-м.н., с.н.с.
В.В.Вьюгин
Диссертация
Тверской государственный университет

2000


П.В.Андреев
Пётр Вадимович
[•]
Понятие относительной стандартности в аксиоматических системах нестандартного анализа

д.ф.-м.н., проф.
Е.И.Гордон

д.ф.-м.н., проф.
А.В.Гладкий,
к.ф.-м.н., доц.
В.Х.Хаханян
Институт математики им. С.Л.Соболева Сибирского отделения РАН
М.Р.Пентус
Мати Рейнович
[•]
Полнота исчисления Ламбека

д.ф.-м.н.
А.В.Михалёв,
д.ф.-м.н.
В.П.Оревков,
д.ф.-м.н.
А.Л.Семёнов
Красноярский государственный университет
В.Б.Шехтман
Валентин Борисович
[•]
Модальные логики топологических пространств

д.ф.-м.н.
М.В.Захарьящев,
д.ф.-м.н.
В.И.Пономарев,
д.ф.-м.н.
А.В.Чагров
Автореферат
Диссертация (djvu) |
Диссертация (pdf)
Институт математики Сибирского отделения АН СССР

1999

К.Ю.Горбунов
Константин Юрьевич
[•]
Структурные свойства контекстно-свободных грамматик

д.ф.-м.н., проф.
Н.К.Верещагин
Ю.И.Ожигов
Юрий Игоревич
[•]
Время и память квантовых и недетерминистических вычислений

А.Д.Яшин
Александр Данилович
[•]
Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками

д.ф.-м.н., проф.
С.Н.Артёмов
Удмуртский государственный университет, Ижевск
д.ф.-м.н., проф.
Д.Е.Пальчунов,
д.ф.-м.н., проф.
В.В.Рыбаков,
д.ф.-м.н., проф.
М.В.Захарьящев
Институт проблем передачи информации им. А.А.Харкевича РАН

1998


Л.Д.Беклемишев
Лев Дмитриевич
[•]
Схемы рефлексии в формальной арифметике

Математический институт им. В.А.Стеклова РАН
чл.-корр. РАН, д.ф.-м.н.
Ю.В.Матиясевич,
д.ф.-м.н., проф.
А.Л.Семёнов,
д.ф.-м.н., проф.
В.А.Успенский
Институт математики им. С.Л.Соболева Сибирского отделения РАН
П.Г.Наумов
Павел Геннадьевич
[•]
Formalizing Reference Types in NuPRL

Prof.
Robert Constable,
Prof.
Sergei Artemov
Cornell University, Ithaca, USA
Р.Э.Яворский
Ростислав Эдуардович
[•]
Предикатные логики теорий первого порядка

д.ф.-м.н., проф.
С.Н.Артёмов
д.ф.-м.н.
И.Г.Лысёнок,
к.ф.-м.н.
В.Х.Хаханян
Институт программных систем РАН, г. Переславль-Залесский

1997

Г.И.Горемыкина
Галина Ивановна
[•]
Интуиционистские варианты ряда теорем классической алгебры

д.ф.-м.н., проф.
В.А.Любецкий

Институт проблем передачи информации им. А.А.Харкевича РАН
д.ф.-м.н., проф.
Ю.М.Важенин,
д.ф.-м.н., проф.
Е.А.Палютин
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН

А.Г.Савушкина
Анна Геннадиевна
[•]
Определяющие соотношения подгрупп группы автоморфизмов свободной группы

чл.-корр. РАН, д.ф.-м.н.
С.И.Адян
д.ф.-м.н.
А.А.Разборов,
к.ф.-м.н., доц.
В.Г.Дурнев
Вологодский государственный педагогический университет
Т.Л.Сидон
Татьяна Леонидовна (Яворская)
[•]
Динамические логики доказательств с оператором доказуемости

д.ф.-м.н., проф.
С.Н.Артёмов
д.ф.-м.н., проф.
В.П.Оревков,
к.ф.-м.н.
Л.Д.Беклемишев
Институт математики им. С.Л.Соболева Сибирского отделения РАН

1996


М.Р.Пентус
Мати Рейнович
[•]
Исчисление Ламбека и формальные грамматики

д.ф.-м.н., проф.
С.Н.Артёмов
д.ф.-м.н.
А.А.Разборов,
д.ф.-м.н.
Н.К.Верещагин
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН
И.Г.Лысёнок
Игорь Геронтьевич
[•]
Периодические группы четной экспоненты и проблема Бернсайда

1995


Н.К.Верещагин
Николай Константинович
[•]
Релятивизируемость в структурной теории сложности вычислений

М.М.Кипнис
Михаил Маркович
[•]
Теория булева усреднения в статистической механике и системах управления

Институт системного анализа РАН
д.ф.-м.н., проф.

д.ф.-м.н., проф.

д.ф.-м.н., проф.

1994

О.В.Вербицкий
Олег Васильевич
[•]
Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения

чл.-корр. РАН, проф.
С.И.Адян,
д.ф.-м.н., в.н.с.
А.А.Разборов
д.ф.-м.н., с.н.с.
В.М.Сидельников,
к.ф.-м.н.
Н.К.Верещагин
Вычислительный центр РАН

В.Ю.Шавруков
Владимир Юрьевич
[•]
Adventures in Diagonalizable Algebras

Sergei Artemov,

Dick de Jongh,

Albert Visser

Institute for Logic, Language and Computation (ILLC), University of Amsterdam, The Netherlands

1993

1992

Л.Д.Беклемишев
Лев Дмитриевич
[•]
Классификация пропозициональных логик доказуемости

чл.-корр. РАН, д.ф.-м.н.
С.И.Адян,
д.ф.-м.н., проф.
С.Н.Артёмов
д.ф.-м.н.
В.П.Оревков,
к.ф.-м.н.
В.Е.Плиско
Институт математики им. С.Л.Соболева Сибирского отделения РАН
С.С.Марченков
Сергей Серафимович
[•]
Проблема существования базиса в итеративных алгебрах дискретных функций

Институт прикладной математики им. М.В.Келдыша РАН
д.ф.-м.н., проф.
Я.М.Барздинь,
д.ф.-м.н., проф.
М.М.Глухов,
д.ф.-м.н., проф.
А.Н.Дёгтев
И.Г.Симонова
Ирина Гаяновна
[•]
Доказуемостно-интуиционистская логика и ее расширения

д.ф.-м.н.
А.В.Кузнецов,
д.ф.-м.н.
А.Ю.Муравицкий
Институт математики с вычислительным центром Академии наук Молдовы
д.ф.-м.н.

к.ф.-м.н.

1991


В.А.Любецкий
Василий Александрович
[•]
Оценки и пучки: теоремы переноса

Институт проблем передачи информации АН СССР
д.ф.-м.н., проф.
Е.А.Палютин,
д.ф.-м.н., проф.
В.Г.Кановей,
д.ф.-м.н., проф.
А.В.Чернавский
Ленинградское отделение Математического института им. В.А.Стеклова АН СССР

1990

С.В.Горячев
Сергей Васильевич
[•]
Об относительной интерпретируемости некоторых расширений арифметики

д.ф.-м.н.
С.И.Адян,
д.ф.-м.н., проф.
С.Н.Артёмов
д.ф.-м.н.
Н.А.Панкратьев
Николай Анатольевич
[•]
Об исчислении предикатов и арифметике с оператором доказуемости

проф.
В.А.Успенский,
проф.
С.Н.Артёмов
А.А.Разборов
Александр Александрович
[•]
Нижние оценки сложности вычисления булевых функций

Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н.
А.Е.Андреев,
д.ф.-м.н.
А.А.Карацуба,
д.ф.-м.н.
А.О.Слисенко
Механико-математический факультет МГУ им. М.В.Ломоносова

1989


М.И.Канович
Макс Иосифович
[•]
Проблемы эффективного синтеза программ в вычислительных моделях

Факультет вычислительной математики и кибернетики (ВМК) МГУ им. М.В.Ломоносова
д.ф.-м.н., проф.

д.ф.-м.н., проф.

д.ф.-м.н., проф.

И.Г.Лысёнок
Игорь Геронтьевич
[•]
Алгоритмические проблемы и квадратные уравнения в гиперболических группах

С.И.Адян
Математический институт им. В.А.Стеклова

1988

С.Н.Артёмов
Сергей Николаевич
[•]
Вопросы аксиоматизируемости и полноты модальных логик доказуемости

Математический институт им. В.А.Стеклова АН СССР
Е.А.Асарин
Евгений Александрович
[•]
Индивидуальные случайные сигналы: сложностной подход

акад.
А.Н.Колмогоров
В.Г.Вовк
Владимир Григорьевич
[•]
Предсказуемость (прогнозируемость) алгоритмически случайных последовательностей

А.Н.Колмогоров,

А.Л.Семёнов

А.Г.Драгалин
Альберт Григорьевич
[•]
?

Computer Center of the Lajos Kossuth University, Debrecen, Hungary

1987

Е.С.Божич
Евгений Сергеевич
[•]
О сложности выводов в арифметических теориях

А.Н.Колмогоров
Г.К.Джапаридзе
Giorgi K. Japaridze
[•]
Модально-логические средства исследования доказуемости

С.Н.Артёмов
А.А.Разборов
Александр Александрович
[•]
О системах уравнений в свободной группе

С.И.Адян

1986

Н.К.Верещагин
Николай Константинович
[•]
Алгоритмические проблемы для линейно рекуррентных последовательностей

проф.
В.А.Успенский
С.Д.Захаров
Сергей Дмитриевич
[•]
Степени сводимостей по перечислимости

д.ф.-м.н.
А.Н.Дёгтев
Тюменский государственный университет
д.ф.-м.н.
С.С.Гончаров
к.ф.-м.н.
С.С.Марченков

02.10.1986

Казанский государственный университет им. В.И.Ульянова-Ленина
А.А.Кузичев
Андрей Александрович
[•]
О способах представления формальной арифметики в комбинаторно полных системах

проф.
В.А.Успенский,
проф.
А.С.Кузичев
М.Ф.Раца
Мефодий Федорович
[•]
Основные задачи выразимости формул логик высказываний

Институт математики с ВЦ Академии Наук Молдавской ССР
М.А.Ройтберг
Михаил Абрамович
[•]
?

Ал.А.Мучник
д.ф.-м.н.

к.ф.-м.н.

1985

В.Г.Кановей
Владимир Григорьевич
[•]
О некоторых проблемах дескриптивной теории множеств и теории типов

А.Ю.Муравицкий
Алексей Юрьевич
[•]
Логика доказуемости и доказуемостно-интуиционистская логика

к.ф.-м.н., с.н.с.
А.В.Кузнецов
Институт математики Академии наук Молдовы
Н.Н.Непейвода
Николай Николаевич
[•]
Анализ и средства доказательного программирования на основе конструктивных логик (?)

А.Х.Шень
Александр Ханевич
[•]
Алгоритмические варианты понятия энтропии

проф.
В.А.Успенский
В.Б.Шехтман
Валентин Борисович
[•]
Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик

чл.-корр. АН СССР
А.А.Марков
Ленинградское отделение Математического института им. В.А.Стеклова АН СССР
Диссертация (djvu) |
Диссертация (pdf)

А.А.Шум
Александр Анатольевич
[•]
Пропозициональные исчисления и относительные многообразия алгебраических систем

проф.
В.А.Успенский
д.ф.-м.н.
С.С.Гончаров,
к.ф.-м.н.
В.Е.Плиско
Институт математики Сибирского отделения АН СССР

1984

А.Г.Иванов
Александр Геннадьевич
[•]
Сложность распознавания приближенного вхождения слов на машинах Тьюринга

д.ф.-м.н., проф.
С.И.Адян

В.Н.Кривцов
Виктор Николаевич
[•]
Аксиоматические системы безотрицательной математики

к.ф.-м.н.
А.Г.Драгалин
Н.Н.Репин
Николай Николаевич
[•]
Проблемы распознавания разрешимости уравнений в нильпотентных группах

С.И.Адян
А.Л.Семёнов
Алексей Львович
[•]
Логические теории одноместных функций на натуральном ряде


А.Д.Яшин
Александр Данилович
[•]
О выразимости логических связок в неклассических логиках

к.ф.-м.н., доц.
А.Г.Драгалин
д.ф.-м.н., проф.
М.А.Тайцлин,
к.ф.-м.н., м.н.с.
С.Н.Артёмов
Ленинградское отделение Математического института им. В.А.Стеклова АН СССР

1983

В.Н.Крупский
Владимир Николаевич
[•]
О сложности задачи аппроксимации точек метрического пространства

д.ф.-м.н., проф.
В.А.Успенский
д.ф.-м.н.
А.О.Слисенко,
к.ф.-м.н.
С.Н.Артёмов
Вычислительный центр АН СССР
Ю.И.Ожигов
Юрий Игоревич
[•]
Уравнения с двумя переменными в свободной группе

С.И.Адян
О.А.Саркисян
Осанна Ашотовна
[•]
Проблема равенства слов для некоторых классов групп и полугруп

д.ф.-м.н., проф.
С.И.Адян
д.ф.-м.н., проф.
М.Д.Гриндлингер,
к.ф.-м.н.
Г.У.Оганесян
Уральский государственный университет

1982

Б.Л.Будинас
Борисас Леонардович
[•]
О принципе селектора и об аналитической определимости точек пространства Бэра

проф.
В.А.Успенский
В.А.Варданян
Валерий Арамович
[•]
Об одной пропозициональной логике с дополнительными операторами

проф.
В.А.Успенский
В.А.Вершинин
Вячеслав Анатольевич
[•]
Об одном подходе к конструктивной теории вероятностей

к.ф.-м.н., доц.
А.Г.Драгалин

Я.М.Другуш
Яким Михайлович
[•]
Суперинтуиционистские логики, моделируемые древесно упорядоченными множествами

д.ф.-м.н., проф.
В.А.Успенский
Институт математики с ВЦ Академии Наук Молдавской ССР
д.ф.-м.н., проф.
Д.М.Смирнов,
к.ф.-м.н., с.н.с.
В.Е.Плиско
Красноярский государственный университет
В.Х.Хаханян
Валерий Христофорович
[•]
Модели интуиционистской теории множеств

А.А.Марков,

А.Г.Драгалин

д.ф.-м.н.
В.А.Смирнов,
к.ф.-м.н.
Д.П.Скворцов
Институт математики Сибирского отделения АН СССР

1981

Р.К.Пранк
Рейн Карлович
[•]
Элементарные теории с логикой реализуемости

д.ф.-м.н., чл.-корр. АН СССР, проф.
А.А.Марков
Я.М.Барздинь,

В.А.Душский

Институт математики Сибирского отделения АН СССР
Г.Ф.Шварц
Григорий Феликсович
[•]
Интерпретации реализуемости интуиционистской теории типов

к.ф.-м.н., доц.
А.Г.Драгалин
д.хим.н., проф.
Д.А.Бочвар,
к.ф.-м.н.
В.Е.Плиско
Институт математики Сибирского отделения АН СССР

1980

Д.П.Скворцов
Дмитрий Павлович
[•]
Об интерпретации пропозициональных и предикатных формул через конечные и бесконечные задачи

д.ф.-м.н., проф.
В.А.Успенский
д.ф.-м.н.
С.Ю.Маслов,
к.ф.-м.н.
В.Е.Плиско
Московский государственный педагогический институт им. В.И.Ленина

1979

С.Н.Артёмов
Сергей Николаевич
[•]
Расширения аксиоматических теорий утверждениями типа непротиворечивости и соответствующие им модальные логики

чл.-корр. АН СССР, проф.
А.А.Марков,
к.ф.-м.н., доц.
А.Г.Драгалин
Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н., проф
Н.А.Шанин,
к.ф.-м.н.
В.Е.Плиско
Московский государственный педагогический институт им. В.И.Ленина
А.Ф.Данильченко
Анна Федоровна
[•]
Вопросы параметрической выразимости функций трехзначной логики

А.В.Кузнецов
Институт математики Академии наук Молдовы
д.ф.-м.н.
М.Д.Кроль
Михаил Данилович
[•]
Топологические интерпретации интуиционистского анализа

чл.-корр. АН СССР, проф.
А.А.Марков,
к.ф.-м.н., доц.
А.Г.Драгалин
д.ф.-м.н., проф.
С.Ю.Маслов,
к.ф.-м.н.
В.Е.Плиско
Институт математики Сибирского отделения АН СССР
Л.А.Левин
Леонид Анатольевич
[•]
A Concept of Independence with Applications in Various Fields of Mathematics

Massachusetts Institute of Technology, Laboratory for Computer Science
И.С.Негру
Иван Семенович
[•]
О совокупности обыкновенных логик высказываний и импликационных логиках с одной единственной переменной

А.В.Кузнецов
Институт математики Академии наук Молдовы
д.ф.-м.н.
Г.У.Оганесян
Григор Усикович
[•]
О проблемах равенства и делимости слов в конечно-определенных полугруппах

С.И.Адян
д.ф.-м.н.

к.ф.-м.н.

В.Х.Сотиров
Владимир Христов
[•]
Модальные теории с интуиционистской логикой

проф.
В.А.Успенский,

А.Г.Драгалин

А.И.Циткин
Александр Ильич
[•]
Правила вывода, допустимые в суперинтуиционистских логиках

к.ф.-м.н.
А.В.Кузнецов
Институт математики Академии наук Молдовы
д.ф.-м.н.

к.ф.-м.н.


Л.Л.Эсакиа
Лео Леонидович
[•]
Семантический анализ суперинтуиционистских логик и нормальных расширений модальной системы S4

?
д.ф.-м.н.

к.ф.-м.н.

1978

С.Ф.Сопрунов
Сергей Федерович
[•]
О нестандартных арифметиках (О нестационарных арифметиках)

д.ф.-м.н., проф.
В.А.Успенский
д.ф.-м.н., проф.
М.А.Тайцлин,
к.ф.-м.н., с.н.с.
И.А.Лавров
Ленинградское отделение Математического института им. В.А.Стеклова АН СССР

1977

С.К.Соболев
Сергей Константинович
[•]
Проблемы разрешимости для пропозициональных исчислений и логик

д.ф.-м.н., проф.
С.И.Адян
Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н., проф.
Д.М.Смирнов,
к.ф.-м.н.
В.Е.Плиско
Московский государственный университет им. М.В.Ломоносова

1976

Г.К.Гаргов
Георг Колев (George Gargov)
[•]
Математические свойства некоторых формальных систем интуиционистского анализа

проф.
В.А.Успенский,

А.Г.Драгалин

В.Г.Кановей
Владимир Григорьевич
[•]
Непротиворечивость некоторых предложений дескриптивной теории множеств, утверждающих существование объектов с парадоксальными свойствами

д.ф.-м.н., проф.
В.А.Успенский
д.ф.-м.н., проф.
А.В.Гладкий,
к.ф.-м.н.
В.Н.Гришин
Институт математики Сибирского отделения АН СССР
А.М.Левин
Александр Моисеевич
[•]
Сравнение различных схем аксиом в классическом анализе

А.Г.Драгалин
д.ф.-м.н.

к.ф.-м.н.

М.В.Ломковская
Мария Владимировна
[•]
Грамматики с нелокальными контекстными условиями

проф.
В.А.Успенский

1975

В.В.Вьюгин
Владимир Вячеславович
[•]
Структура верхних полурешеток вычислимых нумераций

В.А.Успенский
А.Л.Семёнов
Алексей Львович
[•]
Об определимости в некоторых разрешимых теориях

Ал.А.Мучник
Л.В.Шабунин
Леонид Васильевич
[•]
Некоторые массовые проблемы исчислений чистой комбинаторной логики

В.А.Успенский,

А.С.Кузичев

1974

Н.Н.Непейвода
Николай Николаевич
[•]
Предикативные теории второго порядка с неограниченным правилом свертки

А.А.Марков,

А.Г.Драгалин

д.ф.-м.н.

к.ф.-м.н.

В.Е.Плиско
Валерий Егорович
[•]
Рекурсивная реализуемость и конструктивная логика предикатов

В.А.Успенский
Ю.Д.Стригин
Юлий Дмитриевич
[•]
Иерархии общерекурсивных функционалов и общерекурсивных операторов

?

1973


С.В.Алёшин
Станислав Владимирович
[•]
Относительно суперпозиций автоматных отображений

?
д.ф.-м.н.

к.ф.-м.н.

В.К.Булитко
Валерий Константинович
[•]
Некоторые алгоритмические проблемы в теории графов

П.С.Новиков

В.Я.Герчиу
Владимир Яковлевич
[•]
Вопросы финитной аппроксимируемости суперинтуиционистских логик высказываний

к.ф.-м.н.
А.В.Кузнецов
Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н.

1972

Л.А.Левин
Леонид Анатольевич
[•]
Некоторые теоремы об алгоритмическом подходе к теории вероятностей и теории информации (не защ.)

акад. АН СССР
А.Н.Колмогоров
д.ф.-м.н.
Б.А.Трахтенброт,
к.ф.-м.н.
Я.М.Барздинь
Математический институт им. В.А.Стеклова АН СССР
В.А.Любецкий
Василий Александрович
[•]
Измеримость и наличие совершенного ядра у проективных множеств

В.А.Успенский

1971

В.А.Душский
Владимир Александрович
[•]
О сложности алгоритмической структуры классов множеств

В.А.Успенский

М.И.Канович
Макс Иосифович
[•]
Сложность ограниченных алгоритмических проблем и универсальность

А.А.Марков
Механико-математический факультет МГУ им. М.В.Ломоносова
д.ф.-м.н.

к.ф.-м.н.

С.С.Марченков
Сергей Серафимович
[•]
Полуструктуры вычислимых нумераций

чл.-корр. АН СССР
С.В.Яблонский
Факультет ВМК МГУ
чл.-корр. АН СССР
Ю.Л.Ершов,
к.ф.-м.н.
Ю.И.Янов
Математический институт им. В.А.Стеклова АН СССР
В.А.Осипова

[•]
Алгоритмические проблемы в полугруппах с ограниченной мерой налегания определяющих слов

С.И.Адян

1970

Е.Ю.Ногина
Елена Юрьевна
[•]
Об эффективно топологических пространствах

В.А.Успенский
д.ф.-м.н.
Ю.М.Смирнов,
к.ф.-м.н.
Ал.А.Мучник
Ленинградское отделение Математического института им. В.А.Стеклова АН СССР
П.Петков
Petio Petkov
[•]
Некоторые вопросы конструктивной математической логики. О языках Юn и языке Я2ω

А.А.Марков

1969

М.М.Кипнис
Михаил Маркович
[•]
О реализуемости логико-арифметических и пропозициональных формул

Н.М.Нагорный
д.ф.-м.н.
Э.Д.Стоцкий
Эдуард Данилович
[•]
Об одном обобщении порождающих грамматик

В.А.Успенский

1968

А.Г.Драгалин
Альберт Григорьевич
[•]
Конструктивные трансфинитные числа и обоснование принципа конструктивного подбора

А.А.Марков
М.Ф.Раца
Мефодий Федорович
[•]
Вопросы функциональной полноты в логике, соответствующей первой матрице Яськовского

А.В.Кузнецов
Кишинев
д.ф.-м.н.

к.ф.-м.н.

1967

Б.А.Кушнер
Борис Абрамович
[•]
Массовые проблемы в интегрировании по Риману (?)

А.А.Марков
Г.С.Маканин
Геннадий Семёнович
[•]
К проблеме тождества в конечно-определенных группах и полугруппах

чл.-корр. АН СССР
А.А.Марков,
д.ф.-м.н.
С.И.Адян
Математический институт им. В.А.Стеклова АН СССР

1966

В.В.Донченко

[•]
Некоторые результаты, относящиеся к исчислению строгой импликации Аккермана

д.ф.-м.н., проф.
С.А.Яновская
А.С.Кузичев
Александр Сергеевич
[•]
Из истории геометрических методов математической логики

д.ф.-м.н., проф.
С.А.Яновская
Институт истории естествознания и техники АН СССР

1965

Б.В.Бирюков
Борис Владимирович
[•]
Философские вопросы логической формализации и логических средств кибернетики

Институт философии АН СССР
Н.М.Нагорный
Николай Макарьевич
[•]
Некоторые вопросы теории алгорифмов и конструктивной математической логики

чл.-корр. АН СССР
А.А.Марков
Математический институт им. В.А.Стеклова АН СССР
Нгуен Хыу Нгы
Ngu Huu Nguen
[•]
О последовательностях состояний машин Тьюринга

В.А.Успенский
А.В.Кузнецов
Александр Владимирович
[•]
Рекурсивные функции и неразрешимость некоторых проблем для исчислений высказываний

Математический институт им. В.А.Стеклова АН СССР

Фан Динь Зиеу
Phan Dinh Dieu
[•]
Конструктивная теория локально выпуклых линейных топологических пространств

А.А.Марков
д.ф.-м.н.

к.ф.-м.н.

1964

Г.П.Гаврилов
Гарий Петрович
[•]
Вопросы функциональной полноты в счётнозначной логике

д.ф.-м.н., проф.
С.В.Яблонский
Ю.А.Петров
Юрий Александрович
[•]
Логические проблемы абстракций бесконечности и осуществимости

д.ф.-м.н., проф.
С.А.Яновская
Институт философии АН СССР, сектор логики

1963

С.И.Адян
Сергей Иванович
[•]
Конечно-определенные полугруппы и алгоритмы

Математический институт им. В.А.Стеклова АН СССР
д.ф.-м.н., проф.

д.ф.-м.н., проф.

д.ф.-м.н., проф.

И.С.Ладенко
Иосаф Семёнович
[•]
Логические проблемы оснований геометрии (опыт логического анализа «Начал» Евклида)

д.ф.-м.н., проф.
С.А.Яновская
Философский факультет МГУ им. М.В.Ломоносова
О.Б.Лупанов
Олег Борисович
[•]
Об aсимптотических зaкономеpностях синтезa схем из функционaльных элементов


В.А.Успенский
Владимир Андреевич
[•]
Лекции о вычислимых функциях

А.Н.Колмогоров,

А.И.Мальцев,

П.С.Новиков,

Б.А.Трахтенброт

1962

Е.А.Павлова
Елена Александровна
[•]
О густотах множеств натуральных чисел

д.ф.-м.н., проф.
С.А.Яновская
Московский государственный педагогический институт им. В.И.Ленина

1961

Б.В.Бирюков
Борис Владимирович
[•]
Взгляды Г.Фреге на философские проблемы логики, математики и семантики

д.ф.-м.н., проф.
С.А.Яновская
Московский государственный педагогический институт им. В.И.Ленина

1960

Я.С.Сметанич
Яков Соломонович
[•]
О полноте исчисления высказываний с дополнительной операцией от одной переменной

д.ф.-м.н., проф.
И.Я.Верченко
Г.С.Цейтин
Григорий Самуилович
[•]
Алгоритмические операторы в конструктивных полных сепарабельных метрических пространствах

А.А.Марков

1959

1958

А.Д.Гетманова
Александра Денисовна
[•]
О соотношении математики и логики (критика логицизма)

д.ф.-м.н., проф.
С.А.Яновская
О.Б.Лупанов
Олег Борисович
[•]
О синтезе контактных схем

к.ф.-м.н.
С.В.Яблонский
Отделение прикладной математики Математического института им. В.А.Стеклова АН СССР
Автореферат
Ал.А.Мучник
Альберт Абрамович
[•]
Решение проблемы сводимости Поста

П.С.Новиков
Московский государственный педагогический институт им. В.И.Ленина

1957

1956

1955


С.И.Адян
Сергей Иванович
[•]
?

П.С.Новиков
А.И.Мальцев,

А.С.Есенин-Вольпин

Ю.Т.Медведев
Юрий Тихонович
[•]
Степени трудности массовых проблем (?)

А.Н.Колмогоров
П.С.Новиков,

А.С.Есенин-Вольпин

В.А.Успенский
Владимир Андреевич
[•]
Об операциях над перечислимыми множествами

А.Н.Колмогоров
П.С.Новиков,

С.А.Яновская

1954

1953

С.В.Яблонский
Сергей Всеволодович
[•]
О функциональной полноте в k-значной логике

П.С.Новиков,

А.А.Ляпунов

1952


Н.Н.Воробьёв
Николай Николаевич
[•]
Конструктивное пропозициональное исчисление с сильным отрицанием

А.А.Марков
Ленинградское отделение Математического института им. В.А.Стеклова АН СССР
А.А.Зыков
Александр Александрович
[•]
О проблеме сведения проблемы разрешимости в логических исчисления

А.Н.Колмогоров,
к.ф.-м.н.
Д.П.Горский

1951

1950

Б.Ю.Пильчак

[•]
Об исчислении задач А.Н.Колмогорова

Московский областной педагогический институт
Б.А.Трахтенброт
Борис Авраамович
[•]
Проблема разрешимости на конечных классах и определения конечности множества

П.С.Новиков

1947

А.Д.Тайманов
Асан Дабсович
[•]
О квазикомпонентах несвязных множеств

П.С.Новиков

 

 

*) На этой странице собрана информация о диссертациях:

• тех, кто окончил аспирантуру при нашей кафедре и защитил у нас диссертацию;

• тех, кто учился на нашей кафедре, окончил университет, но был аспирантом и защищал диссертацию в другом месте (в том числе в другой стране);

• тех, кто писал диссертацию в других местах (но по теме кафедры) под руководством тех, кто работал на нашей кафедре;

• тех, кто работал на нашей кафедре, руководил студентами / аспирантами;

• докторских тех, кто защитил у нас кандидатскую;

• разных, близких к кафедре (редко).

Наведя мышку на фамилию соискателя, можно увидеть его имя / отчество.

Наведя мышку на руководителя или оппонента, можно увидеть его звание, имя, отчество.

Диссертации, обведенные пунктиром, имеются на кафедре.

Частенько год, к которому отнесена диссертация на этой страничке — это год, напечатанный на автореферате, а не год защиты диссертации.

Частенько в графе «место защиты» указано место, где была выполнена (а не защищена) работа.