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

Механико-математического факультета МГУ


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

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

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

Дата защиты

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

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

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

Sergei Artemov
Graduate Center of the CUNY (City University of New York), New York, USA
Melvin FittingRobert MilnikelRohit Parikh

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

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

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

2006
Е.Н.Брюхов[•]Integration of Decision Procedures into High-Order Interactive Provers

Sergei Artemov
Graduate Center of the CUNY (City University of New York), New York, USA
Melvin FittingJason HickeyRohit Parikh
Е.Л.Казаков[•]Saturation-Based Decision Procedures for Extensions of the Guarded Fragment

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

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

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

2005
С.А.Славнов[•]Semantic Investigations of Linear Logic

Ani NerodeSergei Artemov
Cornell University, Ithaca, USA
С.А.Ступников[•]Моделирование композиционных уточняющих спецификаций

Л.А.КалиниченкоВ.А.Сухомлин
Институт проблем информатики РАН
А.К.ПетренкоР.Э.Яворский
Институт проблем управления РАН
С.П.Шлепаков[•]О решениях функциональных уравнений в некоторых разрешимых теориях

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

18.11.2005

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

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

Н.К.Верещагин
А.В.Евфимьевский[•]Privacy Preserving Information Sharing

Johannes Gehrke
Cornell University, Ithaca, USA
А.П.Копылов[•]Type Theoretical Foundations for Data Structures, Classes, and Objects

Robert Constable
Cornell University, Ithaca, USA
В.Х.Хаханян[•]Интуиционистская логика и теория множеств

Философский факультет МГУ им. М.В.Ломоносова
В.И.ХомичВ.Л.ВасюковМ.И.Панов
Кафедра логики философского факультета СПбГУ

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

В.Е.Плиско
В.И.ХомичД.А.Витер
Московский государственный университет путей сообщения
А.В.Чернов[•]О некоторых вариантах понятия реализуемости

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

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

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

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

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

Robert Constable
Cornell University, Ithaca, USA

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

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

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

Н.К.Верещагин
М.И.КановичВ.В.Вьюгин
Тверской государственный университет

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

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

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

М.В.ЗахарьящевВ.И.ПономаревА.В.Чагров
Институт математики Сибирского отделения АН СССР

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Институт системного анализа РАН

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

С.И.АдянА.А.Разборов
В.М.СидельниковН.К.Верещагин
Вычислительный центр РАН
В.Ю.Шавруков[•]Adventures in Diagonalizable Algebras

Sergei ArtemovDick de JonghAlbert 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
Е.С.Божич[•]О сложности выводов в арифметических теориях

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

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

С.И.Адян

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

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

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

02.10.1986

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

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

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

Ал.А.Мучник

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

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

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

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

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

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

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

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
Г.К.Гаргов[•]Математические свойства некоторых формальных систем интуиционистского анализа

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

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

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

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

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

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

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

В.А.УспенскийА.С.Кузичев

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

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

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

?

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

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

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

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

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

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

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

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

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

А.А.Марков
Механико-математический факультет МГУ им. М.В.Ломоносова
С.С.Марченков[•]Полуструктуры вычислимых нумераций

С.В.Яблонский
Факультет ВМК МГУ
Ю.Л.ЕршовЮ.И.Янов
Математический институт им. В.А.Стеклова АН СССР
В.А.Осипова[•]Алгоритмические проблемы в полугруппах с ограниченной мерой налегания определяющих слов

С.И.Адян

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

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

А.А.Марков

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

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

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

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

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

А.В.Кузнецов
Кишинев

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

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

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

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

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

С.А.Яновская
Институт истории естествознания и техники АН СССР

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

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

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

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

Математический институт им. В.А.Стеклова АН СССР
Фан Динь Зиеу[•]Конструктивная теория локально выпуклых линейных топологических пространств

А.А.Марков

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

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

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

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

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

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

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

А.Н.КолмогоровА.И.МальцевП.С.НовиковБ.А.Трахтенброт

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

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

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

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

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

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

А.А.Марков

1959

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

С.А.Яновская
О.Б.Лупанов[•]О синтезе контактных схем

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

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

1957

1956

1955
С.И.Адян[•]?

П.С.Новиков
А.И.МальцевА.С.Есенин-Вольпин
Ю.Т.Медведев[•]Степени трудности массовых проблем (?)

А.Н.Колмогоров
П.С.НовиковА.С.Есенин-Вольпин
В.А.Успенский[•]Об операциях над перечислимыми множествами

А.Н.Колмогоров
П.С.НовиковС.А.Яновская

1954

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

П.С.НовиковА.А.Ляпунов

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

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

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

1951

1950
Б.Ю.Пильчак[•]Об исчислении задач А.Н.Колмогорова

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

П.С.Новиков

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

П.С.Новиков

 


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

Наведя мышку на фамилию соискателя, можно увидеть его имя / отчество.
Наведя мышку на руководителя или оппонента, можно увидеть его звание, имя, отчество.
Диссертации, обведенные пунктиром, имеются на кафедре.
Частенько год, к которому отнесена диссертация на этой страничке — это год, напечатанный на автореферате, а не год защиты диссертации.
Частенько в графе «место защиты» указано место, где была выполнена (а не защищена) работа.

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