Дипломные работы

выпускников кафедры математической логики и теории алгоритмов

СТУДЕНТ НАЗВАНИЕ ДИПЛОМНОЙ РАБОТЫ Title of the MSc Thesis
РУКОВОДИТЕЛИ
РЕЦЕНЗЕНТЫ
2017
А.С.Александрова Анастасия Сергеевна Исчисление Ламбека с константой 0
The Lambek calculus with the constant 0
д.ф.-м.н., проф. М.Р.Пентус
выпускник аспирантуры 2016 г. кафедры дискретной математики, Н.В.Котляров
Д.М.Великанов Дмитрий Михайлович Об упаковке нечетных путей в неориентированных графах
Odd path packing in undirected graphs
д.ф.-м.н., проф. В.А.Успенский, к.ф.-м.н. М.А.Бабенко
выпускник 2011 года, И.И.Колесниченко
С.А.Гордиенко Светлана Александровна Сети доказательства для одного расширения исчисления Ламбека одноместной связкой
Proof nets for one extension of the Lambek calculus with a unary connective
к.ф.-м.н., асс. С.Л.Кузнецов
д.ф.-м.н., проф. М.И.Канович
В.Н.Луговая Валентина Николаевна Свойства некоторых расширений исчисления Ламбека
Properties of some extensions of the Lambek calculus
к.ф.-м.н., асс. С.Л.Кузнецов
к.ф.-м.н., доц. НИУ ВШЭ Ю.В.Саватеев
В.С.Мотолыгин Василий Сергеевич О моделях интуиционистской эпистемической логики
On models of intuitionistic epistemic logic
к.ф.-м.н., доц. В.Н.Крупский
к.ф.-м.н. Д.С.Шамканов
Г.Е.Новиков Глеб Евгеньевич Количественная алгоритмическая случайность
Quantitative algorithmic randomness
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
А.А.Рыжова Анастасия Александровна Теоретико-доказательственные свойства исчисления Ламбека и его фрагментов
Proof-theoretic properties of the Lambek calculus and its fragments
к.ф.-м.н., асс. С.Л.Кузнецов
к.ф.-м.н., науч. сотр. МИАН Ф.Н.Пахомов
А.В.Торопкин Артём Владимирович О реализации несимметричных бимодальных логик в логиках свидетельств
Justification realizations of non-symmetric bimodal logics
к.ф.-м.н., доц. Т.Л.Яворская
к.ф.-м.н., асс. С.Л.Кузнецов
Р.В.Холин Роман Вадимович Информационная сложность коммуникационных протоколов
Information complexity of communication protocols
д.ф.-м.н., проф. Н.К.Верещагин
стажер Лаборатории теоретической информатики НИУ ВШЭ А.Н.Козачинский
2016
Выпуска не было в связи с переходом факультета на 6-летнее обучение
2015
С.А.Беляков Сергей Александрович Алгоритмы структурной перестройки
Algorithms of structural rearrangement
д.ф.-м.н., проф. В.А.Любецкий
И.А.Золотов Игорь Алексеевич Полные исчисления для некоторых фрагментов логики вычислимоcти Джапаридзе CL
Complete calculi for some fragments of Japaridze's Computability Logic
д.ф.-м.н., проф. Н.К.Верещагин
д.ф.-м.н., проф. М.Р.Пентус
А.Н.Козачинский Александр Николаевич Об информационной сложности коммуникационных протоколов
On information complexity of communication protocols
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. В.В.Подольский
Е.М.Логачёва Елизавета Михайловна Исследование полноты некоторых пропозициональных динамических логик
Investigation of completeness for some propositional dynamic logics
д.ф.-м.н., проф. В.Б.Шехтман
к.ф.-м.н., с.н.с. ИППИ РАН И.Б.Шапировский
С.А.Лыжин Сергей Александрович Модель и база данных хромосомных перестроек
A model and a database of chromosomal rearrangements
д.ф.-м.н., проф. В.А.Любецкий
к.ф.-м.н., вед.науч.сотр. ИППИ РАН А.В.Селиверстов
Н.С.Никитенков Никита Сергеевич Использование конструкции каскада в построении примеров парадоксальных игр на социальных сетях
д.ф.-м.н., проф. Н.К.Верещагин
В.А.Садков Виктор Александрович О некоторых мультипотоковых задачах в неориентированных сетях
On some multiflow problems in undirected networks
д.ф.-м.н., проф. В.А.Успенский
к.ф.-м.н. М.А.Бабенко
К.А.Струминский Кирилл Алексеевич О совместном преобразовании одного сообщения в два других
On joint transformation of a message into two other messages
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н., с.н.с. ИППИ РАН А.Х.Шень
Н.В.Суханов Николай Викторович О кратчайших путях с ограничениями на частичные суммы
On shortest paths with restrictions on partial sums
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.А.Бабенко
С.Д.Федоров Сергей Дмитриевич О свойстве компактности древесных расстояний
On compactness properties of tree distances
д.ф.-м.н., проф. В.А.Успенский
к.ф.-м.н. М.А.Бабенко
Е.А.Филиппов Евгений Александрович Разбиение двудольного графа на регулярные подграфы
Decomposition of a bipartite graph into regular sub-graphs
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.А.Бабенко
А.В.Черепанов Алексей Викторович Об ушных декомпозициях двунаправленных графов
On ear decomposition of bidirected graphs
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.А.Бабенко
2014
Н. Аларкон Лопэс Натали Различные аксиоматизации фрагментов исчисления Ламбека Different axiomatizations of fragments of the Lambek calculus
д.ф.-м.н., проф. М.Р.Пентус
асп. 2 года И.М.Смуров
Я.А.Жебраков Ярослав Александрович Короткие программы для префиксной колмогоровской сложности Short programs for prefix Kolmogorov complexity
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Е.Ромащенко
А.А.Журавлёв Александр Алексеевич Алгоритм проверки выполнимости модальных формул на порядковых суммах шкал Крипке Algorithm for checking modal satisfiability in ordered sums of Kripke frames
д.ф.-м.н., проф. В.Б.Шехтман, к.ф.-м.н. И.Б.Шапировский
к.ф.-м.н., асс. С.Л.Кузнецов
А.М.Заплетин Андрей Максимович Финитная аппроксимируемость некоторых модальных логик, аксиоматизируемых псевдо-транзитивными формулами Finite approximability of some modal logics axiomatized by pseudo-transitive formulas
д.ф.-м.н., проф. В.Б.Шехтман, к.ф.-м.н. И.Б.Шапировский
к.ф.-м.н., с.н.с. Е.Е.Золин
А.Е.Золотов Алексей Евгеньевич Консервативные взвешивания в двудольных графах, покрываемых паросочетаниями Conservative weightings in bipartite matching covered graphs
к.ф.-м.н. М.А.Бабенко
д.ф.-м.н., проф. Н.К.Верещагин
А.А.Лебёдкин Александр Александрович Совместные рекомендательные системы для российской электронной коммерции (Коллаборативные рекомендательные системы для Интернет-торговли) Collaborative recommendation systems for Russian ecommerce
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.А.Бабенко
А.В.Мельников Александр Владимирович Алгоритмы для неинвазивной пренатальной диагностики с помощью методов массового параллельного секвенирования Algorithms for non-invasive prenatal diagnosis by massively parallel sequencing
д.ф.-м.н., проф. Н.К.Верещагин, к.ф.-м.н. А.Х.Шень
к.ф.-м.н. М.А.Бабенко
С.В.Рогуленко Сергей Валерьевич Поиск минимальных средних циклов с помощью масштабирования длин Finding minimum mean cycles by length scaling
к.ф.-м.н. М.А.Бабенко
д.ф.-м.н., проф. Н.К.Верещагин
А.В.Савчик Алексей Владимирович Некоторые результаты об алгоритмических достаточных статистиках Some results on algorithmic sufficient statistics
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
А.Р.Сафин Аскар Рашитович Об отраженном фрагменте мультиагентных логик свидетельств (О сложности зеркального фрагмента бимодальной логики свидетельств) On the reflected fragment of multi-agent justification logics
к.ф.-м.н., доц. Т.Л.Яворская
к.ф.-м.н., доц. В.Н.Крупский
Д.С.Следнев Денис Сергеевич Модель регуляции некоторых генов Model of some genes regulation
д.ф.-м.н., проф. В.А.Любецкий
к.ф.-м.н. А.В.Селиверстов
2013
М.А.Андреев Михаил Александрович Алгоритмическая размерность и случайность относительно классов мер Effective dimension and randomness with respect to classes of measures
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
С.И.Артамонов Степан Ильич Циклические декомпозиции графов во внешней памяти Cyclic decompositions of graphs in external memory
к.ф.-м.н., асс. М.А.Бабенко
д.ф.-м.н. Е.И.Бунина
Н.Г.Бершацкая Надежда Геннадьевна Об алгоритмических аспектах древесных метрик (О псевдометриках, индуцируемых расстояниями между поддеревьями) On algorithmic aspects of tree metrics
к.ф.-м.н. М.А.Бабенко
д.ф.-м.н., проф. Н.К.Верещагин
М.М.Василевская Мария Михайловна Алгоритмы построения разреженных тематических моделей Algorithms to construct sparse theme models
д.ф.-м.н., проф. Н.К.Верещагин, д.ф.-м.н. К.В.Воронцов
к.ф.-м.н. В.В.Китов
П.В.Вахрушева Полина Викторовна Временные гибридные логики с модальностями «вчера» и «завтра» Temporal hybrid logics with the modalities "yesterday" and "tomorrow"
д.ф.-м.н., проф. В.Б.Шехтман
к.ф.-м.н., с.н.с. Е.Е.Золин
Р.А.Гершгорин Роман Александрович Алгоритм построения бинарного дерева, ближайшего к небинарному An algorithm to infer a binary tree closest to a non-binary tree
д.ф.-м.н., проф. В.А.Любецкий
к.ф.-м.н. К.Ю.Горбунов
М.В.Дектярев Михаил Владимирович GH-сложность и коммуникационная сложность (Сложность садового шланга) GH-complexity and communication complexity
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.Н.Вялый
П.А.Житников Петр Анатольевич Использование топологических доказательств для колмогоровской сложности в случае трехмерного пространства Topological arguments for Kolmogorov complexity for three-dimensional space
к.ф.-м.н. В.В.Подольский, к.ф.-м.н. А.Х.Шень, д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Е.Ромащенко
Ш.Х.Ишкина Шаура Хабировна Рекуррентное вычисление вероятности переобучения некоторых алгоритмов Recurrent calculation of overfitting probability of certain algorithms
д.ф.-м.н., проф. Н.К.Верещагин, д.ф.-м.н. К.В.Воронцов
к.ф.-м.н. А.А.Ивахненко
С.А.Каниськин Сергей Александрович О позитивных фрагментах модальных логик On positive fragments of modal logics
чл.-корр. РАН, д.ф.-м.н., проф. Л.Д.Беклемишев
к.ф.-м.н. Д.С.Шамканов
А.Ю.Коновалов Александр Юрьевич Арифметическая реализуемость и базисная логика Arithmetical realizability and basic logic
к.ф.-м.н., доц. В.Е.Плиско
к.ф.-м.н., доц. В.Н.Крупский
А.С.Кумок Аким Сергеевич Сравнение сильной и слабой эффективных размерностей Хаусдорфа Comparing strong and weak effective Hausdorff dimensions
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Е.Ромащенко
В.И.Куриленко Владислав Игоревич Гибсовский подход к реконструкции предковой последовательности A Gibbs approach to reconstruct ancestral sequences
д.ф.-м.н., проф. В.А.Любецкий
к.ф.-м.н. К.Ю.Горбунов
В.В.Кускова Виктория Викторовна О символической полноте логики свидетельств двух взаимодействующих агентов On the symbolic completeness of justification logic of two interacting agents
к.ф.-м.н., доц. В.Н.Крупский
к.ф.-м.н., асс. С.Л.Кузнецов
Е.С.Матвеева Екатерина Сергеевна О пространственно-временных модальных логиках с конечными временными шкалами On space-temporal modal logics with finite temporal frames
д.ф.-м.н., проф. В.Б.Шехтман
к.ф.-м.н. А.В.Кудинов
В.С.Матузенко Виктор Сергеевич О модальной логике произведения рационального линейного порядка и счетного сгустка Оn the modal logic of the product of the rational line and a countable cluster
д.ф.-м.н., проф. В.Б.Шехтман
к.м.-ф.м. И.Б.Шапировский
Е.В.Петрова Екатерина Владимировна Модальные и гибридные логики топологических пространств Modal and hybrid logic of topological spaces
д.ф.-м.н., проф. В.Б.Шехтман
к.ф.-м.н. А.В.Кудинов
О.Б.Побуринная Оксана Богдановна Восстановление изображения высокого разрешения на основе минимизации сложности Recovering high resolution image using minimization of complexity
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
Н.С.Рыжкова Надежда Сергеевна Свойства категориального исчисления зависимостей Properties of the categorial dependency calculus
д.ф.-м.н., проф. М.Р.Пентус
к.ф.-м.н., асс. С.Л.Кузнецов
А.А.Савин Арсений Анатольевич О тотальной условной сложности On total conditional complexity
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Е.Ромащенко
К.М.Салихов Камиль Маратович Декомпозиции потоков во внешней памяти Flow decompositions in external memory
к.ф.-м.н. М.А.Бабенко
к.ф.-м.н. В.В.Опарин, к.ф.-м.н. А.Х.Шень
М.М.Стаценко Максим Михайлович Стеганография для бернуллиевского источника Steganography for Bernoulli sources
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н., асс. М.А.Бабенко
2012
В.С.Арзуманян Виталий Сергеевич Дефекты случайности на конечных и бесконечных последовательностях Randomness deficiencies for strings and sequences
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
О.Ю.Богатова Ольга Юрьевна О кликовой ширине графов On clique width of graphs
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.А.Бабенко
Ф.А.Волков Фёдор Андреевич Коммуникационная сложность задач аппроксимации хемминговского расстояния и дизъюнктности некоторых пар множеств Amortized communication complexity of approximation of the Hamming distance
к.ф.-м.н. А.Е.Ромащенко
М.М.Звонкин Михаил Михайлович Языковые модели фрагментов исчисления Ламбека с операциями объединения и пересечения Language models for fragments of the Lambek calculus with the union and intersection operations
д.ф.-м.н., проф. М.Р.Пентус
асп. А.А.Сорокин
Д.С.Колобков Дмитрий Сергеевич Математическая и компьютерная модель регуляции транскрипции A model of transcription regulation: complexity of Boolean programming
д.ф.-м.н., проф. В.А.Любецкий
к.ф.-м.н., вед.науч.сотр. ИППИ РАН А.В.Селиверстов
А.В.Легостова Анастасия Викторовна Ранжирование связного списка во внешней памяти Practical evaluation of link ranking problem in external memory
к.ф.-м.н. М.А.Бабенко
д.ф.-м.н., проф. Н.К.Верещагин
С.С.Макеев Станислав Сергеевич Сложность проблемы распознавания выводимости в исчислении Ламбека без умножения при ограничении на количество вхождений одной из связок The complexity of the decision problem for derivability in the product-free Lambek calculus with a bounded number of occurrences of one of the connectives
д.ф.-м.н., проф. М.Р.Пентус
асп. А.А.Сорокин
Е.А.Малокостова Екатерина Андреевна О конструктивных теориях типов и их компьютерных реализациях On constructive type theories and their computer realizations
чл.-корр. РАН, д.ф.-м.н., проф. Л.Д.Беклемишев, к.ф.-м.н., доц. В.Н.Крупский
Н.А.Маслов Николай Александрович Теоремы определимости в модальных логиках Definability theorems in modal logics
д.ф.-м.н., проф. В.Б.Шехтман
к.ф.-м.н., с.н.с. Е.Е.Золин
А.Ю.Махлин Антон Юрьевич Некоторые результаты об алгебризуемости и сложности в среднем Some results on algebrization and average case complexity
д.ф.-м.н., проф. Н.К.Верещагин
А.М.Миссарова Алсу Мукадасовна Алгоритмы согласования деревьев и кластеризации последовательностей Algorithms of tree reconciliation and sequence clustering
д.ф.-м.н., проф. В.А.Любецкий
И.И.Осипов Илья Игоревич Бисимуляции в модальных логиках Bisimulations in modal logics
д.ф.-м.н., проф. В.Б.Шехтман
д.ф.-м.н., проф. М.Р.Пентус
Ф.Н.Пахомов Фёдор Николаевич О разрешимости элементарных теорий алгебр доказуемости и их фрагментов On the decidability of elementary theories of provability algebras and their fragments
чл.-корр. РАН, д.ф.-м.н., проф. Л.Д.Беклемишев
А.Е.Подгайц Александра Ефремовна Фрагменты интуиционистской модальной логики предикатов со слабой импликацией Fragments of intuitionistic modal predicate logic with a weak implication
чл.-корр. РАН, д.ф.-м.н., проф. Л.Д.Беклемишев
к.ф.-м.н., доц. В.Н.Крупский
И.П.Разенштейн Илья Петрович Покрытия кратчайших путей в ненаправленных графах Long shortest paths in undirected graphs and VC-dimension
к.ф.-м.н. М.А.Бабенко
PhD Ю.С.Макарычев
Т.В.Степанов Тимофей Владимирович Генерация случайных слов за ограниченное число раундов Generating random strings in bounded number of rounds
д.ф.-м.н., проф. Н.К.Верещагин
И.М.Смуров Иван Михайлович Предынтерполянты и постинтерполянты в исчислении Ламбека без умножения Pre-interpolants and post-interpolants in the product-free Lambek calculus
М.Р.Пентус
2011
М.М.Измайлов Максим Марселевич О числе расширений для соединений модальных логик, содержащих S4
д.ф.-м.н., проф. В.Б.Шехтман
Е.А.Калинина Елена Андреевна Некоторые применения игрового метода в колмогоровской сложности
д.ф.-м.н., проф. Н.К.Верещагин
М.С.Калюжный Максим Сергеевич Формальная верификация алгоритмов транзакций
к.ф.-м.н., доц. Т.Л.Яворская
И.И.Колесниченко Игнатий Игоревич О сливаемых ассоциативных массивах
к.ф.-м.н. М.А.Бабенко
д.ф.-м.н., с.н.с. Е.И.Бунина
И.В.Корнаков Илья Владимирович Быстрый алгоритм для полуцелой упаковки T-путей
к.ф.-м.н. М.А.Бабенко
И.С.Логинов Илья Сергеевич О задаче достижимости состояний для гибридных автоматов на торе
чл.-корр. РАН, д.ф.-м.н., проф. Л.Д.Беклемишев
И.В.Пузыревский Иван Витальевич Устойчивые алгоритмы выбора и сортировки
к.ф.-м.н. М.А.Бабенко
д.ф.-м.н., проф. Н.К.Верещагин
И.А.Салманов Илья Анатольевич Формулы от одной переменной в исчислении Колмогорова
к.ф.-м.н., доц. В.Е.Плиско
А.А.Сорокин Алексей Андреевич О сетях доказательства для различных вариантов исчисления Ламбека
д.ф.-м.н., проф. М.Р.Пентус
Ю.С.Уляшкина Юлия Сергеевна Мера апериодичности и подсловная сложность морфических последовательностей
д.ф.-м.н., проф. Н.К.Верещагин
А.С.Чижов Алексей Сергеевич О модальной логике интервалов с отношением «позже»
д.ф.-м.н., проф. В.Б.Шехтман
Ю.С.Чудова Юлия Сергеевна Формальная семантика естественных языков
к.ф.-м.н., доц. Т.Л.Яворская
2010
А.Ю.Гусаков Алексей Юрьевич Упаковка звёзд
к.ф.-м.н. М.А.Бабенко
к.ф.-м.н. А.Х.Шень
Д.А.Катаев Дмитрий Андреевич Формальные модели экономических систем
к.ф.-м.н. Р.Э.Яворский
Н.Г.Рухлядко Надежда Григорьевна Мультиагентные логики свидетельств
к.ф.-м.н., доц. Т.Л.Яворская
Г.М.Челноков Георгий Максимович Колмогоровская сложность и конечные множества
д.ф.-м.н., проф. Н.К.Верещагин
2009
Л.А.Антоненко Лидия Анатольевна О достаточных условиях существования схем цифровой подписи
д.ф.-м.н., проф. Н.К.Верещагин
Т.А.Архангельский Тимофей Александрович Алгоритмы генерации строк
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Е.Ромащенко
М.А.Бабин Михаил Александрович Минимаксная формула для задачи о максимальном треугольном кактусе
к.ф.-м.н. М.А.Бабенко
Д.А.Гуляев Дмитрий Анатольевич Языки описания и преобразования структурированных данных
к.ф.-м.н. Р.Э.Яворский
А.В.Кашев Александр Викторович Формализация доказательства устранимости правила сечения в исчислении высказываний
чл.-корр РАН, д.ф.-м.н. Л.Д.Беклемишев, к.ф.-м.н., доц. В.Н.Крупский
С.Л.Кузнецов Степан Львович О грамматиках, основанных на двух вариантах исчисления Ламбека
д.ф.-м.н., проф. М.Р.Пентус
Е.В.Логинова Евгения Валентиновна Определение демографических данных по истории откликов на контекстную рекламу
к.ф.-м.н. Р.Э.Яворский
К.А.Лунёв Константин Алексеевич Обобщение предикатной абстракции с использованием нечеткой логики
к.ф.-м.н. Р.Э.Яворский
А.А.Минасян Александр Александрович Редкие множества и оценка меры нижнего примера
д.ф.-м.н., проф. Н.К.Верещагин
А.И.Мушаров Антон Игоревич Применение вероятностной логики в экспертных системах
к.ф.-м.н. Р.Э.Яворский
В.В.Филатов
Р.А.Савченко Руслан Алексеевич Эффективный алгоритм для поиска максимальной целочисленной 2-упаковки невозвратных T-путей в графе, помеченном группой
к.ф.-м.н. М.А.Бабенко
к.ф.-м.н. А.Х.Шень
Т.А.Стариковская Татьяна Андреевна Вычисление наибольшей общей подстроки
д.ф.-м.н., проф. А.Л.Семёнов
к.ф.-м.н. М.А.Бабенко
А.В.Фурсов Андрей Владимирович Элементарность простых принципов редукции в модальных логиках предикатов
д.ф.-м.н., проф. В.Б.Шехтман
А.В.Харитонов Александр Валентинович О построении сжатого суффиксного автомата в скользящем окне
д.ф.-м.н., проф. М.Р.Пентус
2008
А.М.Борисенко Алексей Михайлович Математическая теория реляционных баз данных
к.ф.-м.н. Р.Э.Яворский
асп. В.В.Филатов
Е.В.Дашков Евгений Владимирович Интуиционистская логика доказательств
д.ф.-м.н., проф. С.Н.Артёмов, к.ф.-м.н. Т.Л.Яворская
к.ф.-м.н., доц. В.Н.Крупский
Н.Д.Дебогори Надежда Дмитриевна Алгоритмы распознавания топологии распределённых вычислений
к.ф.-м.н. Р.Э.Яворский
А.А.Есин
Н.Л.Емельянов Никита Львович О логических свойствах геометрических отношений
д.ф.-м.н., проф. В.Б.Шехтман
к.м.-ф.м. И.Б.Шапировский
Д.А.Ермолов Дмитрий Андреевич Автоматизированная проверка некоторых свойств двухсортных машин с указателями
к.ф.-м.н. Р.Э.Яворский
асп. А.Г.Новиков
П.И.Захаров Пётр Игоревич Базисное исчисление высказываний и диагностические формулы
к.ф.-м.н., доц. В.Е.Плиско
к.ф.-м.н., доц. В.Н.Крупский
Н.А.Колодкина Наталья Александровна Нижняя оценка эффективности алгоритмов динамического распределения памяти
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
А.И.Макаров Александр Игоревич NP-полнота задачи о 2-раскраске графа в 5 цветов
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. А.Е.Ромащенко
В.С.Марченко Василий Сергеевич Анализ алгоритмов кластеризации категорийных и числовых данных
к.ф.-м.н. Р.Э.Яворский
асп. А.Г.Новиков
А.Н.Преображенский Алексей Николаевич Преобразование Барроуза – Виллера на системах с малой памятью
д.ф.-м.н., проф. Н.К.Верещагин
д.ф.-м.н., проф. М.Р.Пентус
М.А.Раскин Михаил Александрович Частичные порядки на мерах на множестве бесконечных слов в алфавите из двух символов
д.ф.-м.н., проф. Н.К.Верещагин
к.ф.-м.н. М.Н.Вялый
А.И.Фёдоров Андрей Иванович Модели исчисления Ламбека
М.Р.Пентус
к.ф.-м.н., доц. В.Н.Крупский
Д.С.Шамканов Данияр Салкарбекович О типизации термов логики доказательств
к.ф.-м.н., доц. В.Н.Крупский
д.ф.-м.н., проф. М.Р.Пентус
2007
И.В.Вегнер Иван Владимирович Реализация алгоритмов словоизменения в русском языке
к.ф.-м.н. А.Х.Шень
И.В.Воронцов Илья Валентинович Алгоритмы построения неветвящихся вторичных структур РНК
д.ф.-м.н., проф. Н.К.Верещагин
М.А.Иванов Максим Александрович О формульной сложности некоторых булевых функций
д.ф.-м.н., проф. Н.К.Верещагин
В.В.Коротков Владислав Витальевич Архитектура и алгоритмы систем защиты видеоданных в IP-телевидении
к.ф.-м.н. А.Х.Шень
К.С.Коршунов Кирилл Сергеевич Колмогоровская сложность и нижние оценки сложности квантовых деревьев разрешения
д.ф.-м.н., проф. Н.К.Верещагин
Н.А.Мамардашвили Никита Андреевич Использование абстрактных вычислительных машин некоторого вида для построения динамической семантики языка программирования
к.ф.-м.н. Р.Э.Яворский
П.И.Митричев Пётр Игоревич 2-упаковки путей
к.ф.-м.н. А.Х.Шень
П.В.Наливайко Павел Владимирович Алгоритмические аспекты задачи об упаковке T-разрезов
к.ф.-м.н. А.Х.Шень
Н.М.Пономарёва Надежда Михайловна Автоматический кернинг шрифтов METAFONT
к.ф.-м.н. А.Х.Шень
Ю.Л.Притыкин Юрий Львович Алгоритмические свойства почти периодических последовательностей
А.Л.Семёнов
В.В.Филатов Владимир Владимирович Дискретизация гибридных систем специального вида
к.ф.-м.н. Р.Э.Яворский
А.В.Ходырев Александр Васильевич Максимальные эффективно s-нулевые множества и эффективная размерность Хаусдорфа
к.ф.-м.н. А.Х.Шень
К.В.Чепурин Кирилл Валериевич Реляционная семантика неассоциативного исчисления Ламбека и теории информационных сетей
М.Р.Пентус
А.А.Черниловская Анна Александровна Неконсервативность линейной логики с одним отрицанием, расширяющей LG
М.Р.Пентус
Т.А.Шатров Тимофей Анатольевич Невозможность конечной аксиоматизации суперинтуиционистской логики Cheq клетчатых подмножеств R 
д.ф.-м.н., проф. В.Б.Шехтман
2006
А.В.Васильев Андрей Васильевич О модальных эквивалентах формул первого порядка (реф)
д.ф.-м.н., проф. В.Б.Шехтман
Д.В.Виноградов Дмитрий Валерьевич Учёт распределения расстояний при поиске кластеров сайтов связывания факторов транскрипции
д.ф.-м.н., проф. Н.К.Верещагин
С.П.Кикоть Станислав Павлович Модальная определимость первопорядковых формул, соответствующих диаграммам
д.ф.-м.н., проф. В.Б.Шехтман
Б.Коган Беньямин О степени неполноты в нормальных модальных логиках
д.ф.-м.н., проф. В.Б.Шехтман
И.В.Межиров Илья Владимирович Игровая семантика для интуиционистской и модальной (Grz) логик
к.ф.-м.н. А.Х.Шень
Д.В.Мусатов Даниил Владимирович Экстракторы и эффективный вариант теоремы Мучника
к.ф.-м.н. А.Х.Шень
С.Г.Пивоварова Светлана Григорьевна О семантике Крипке для интуиционистской логики доказательств
к.ф.-м.н., доц. В.Н.Крупский
В.В.Подольский Владимир Владимирович Об одном результате из экстремальной комбинаторики и нижних оценках для исчисления резолюций
д.ф.-м.н., проф. Н.К.Верещагин
А.Ю.Румянцев Андрей Юрьевич Последовательности со сложными подпоследовательностями и их применения
к.ф.-м.н. А.Х.Шень
Ю.В.Саватеев Юрий Вячеславович Проблема выводимости для исчисления Ламбека с одним делением
М.Р.Пентус
О.В.Самсонова Ольга Валерьевна Из истории модальной логики
З.А.Кузичева, к.ф.-м.н., доц. В.Н.Крупский
А.Н.Сафиуллин Алексей Наифович Выводимость допустимых правилв исчислении Ламбека
М.Р.Пентус
Г.Г.Хмуркин Георгий Георгиевич Математическая модель классической аттеньюарной регуляции экспрессии генов на основе формирования вторичных структур РНК
д.ф.-м.н., проф. В.А.Любецкий
Т.С.Шакуов Тимур Сатыбалдыевич Построение определяющего подсемейства семейства белков с помощью ортогонализации
к.ф.-м.н. А.Х.Шень
2005
А.В.Алексеев Александр Витальевич Оптимизация проверки корректности синхронных систем
В.А.Сухомлин
И.И.Архипов Игорь Игоревич Неразглашающие протоколы передачи информации (Oblivious transfer)
д.ф.-м.н., проф. Н.К.Верещагин
С.А.Астрецов Сергей Александрович Элементарность в модальных логиках предикатов
д.ф.-м.н., проф. В.Б.Шехтман
А.А.Есин Антон Анатольевич О предполных классах функций 3-значной логики
акад. РАН, д.ф.-м.н., проф. С.И.Адян
И.Ю.Кабанова Ирина Юрьевна Условная префиксная колмогоровская сложность
д.ф.-м.н., проф. Н.К.Верещагин
В.А.Коробов Владимир Андреевич Алгоритм разделения ресурсов, гарантирующий интересы каждого из участников
д.ф.-м.н., проф. Н.К.Верещагин
А.Г.Новиков Андрей Геннадьевич Абстрактные вычислительные машины с указателями
к.ф.-м.н. Р.Э.Яворский
О.Е.Попова Ольга Евгеньевна Алгоритм Мельхорна поиска кратчайших путей в графе (реф)
д.ф.-м.н., проф. Н.К.Верещагин
С.А.Сальников Сергей Алексеевич Предпорядки на двоичных последовательностях
д.ф.-м.н., проф. Н.К.Верещагин
А.Э.Соболь Александр Эмильевич Создание нового метода нахождения локального сходства белковых сайтов связывания и его применения
к.ф.-м.н. А.Х.Шень
М.А.Устинов Михаил Александрович Неупрощаемые описания для условной колмогоровской сложности
д.ф.-м.н., проф. Н.К.Верещагин
2004
М.А.Бабенко Максим Александрович Об одной задаче М.Нива
к.ф.-м.н. А.Х.Шень
С.В.Баров Станислав Владимирович Классическая интерпретация интуиционистской теории типов
к.ф.-м.н., доц. В.Е.Плиско
А.А.Измайлова Анна Анатольевна Передача сообщений в вилочной сети с ограниченными пропускными способностями каналов
д.ф.-м.н. Н.К.Верещагин
А.Д.Левицкий Александр Дмитриевич Апериодические замощения с малым алфавитом
д.ф.-м.н. Н.К.Верещагин
Д.О.Мартынов Дмитрий Олегович Переписывание запросов с использованием взглядов в предметном посреднике неоднородных информационных источников
В.А.Сухомлин, Л.А.Калиниченко
Е.И.Никулочкина Елена Игоревна Комбинаторное представление сложностных неравенств
д.ф.-м.н. Н.К.Верещагин
П.А.Стрелков Пётр Александрович Использование деревьев суффиксов для декодирования программ на языке C
М.Р.Пентус
А.Л.Таламбуца Алексей Леонидович Оценки роста языков с одним исключённым подсловом и свободных произведений циклических групп
акад. РАН, д.ф.-м.н., проф. С.И.Адян
Н.В.Юмагужин Николай Валерьевич Разработка и реализация алгоритма распознавания подлинности документов на бумажных носителях
к.ф.-м.н. А.Х.Шень
2003
О.Б.Авраменко Олег Борисович Сравнение протоколов тестирования программного обеспечения
д.т.н., проф. В.А.Сухомлин
И.А.Болгова Ирина Александровна Эквивалентность типов в исчислении Ламбека с одним делением
д.ф.-м.н. М.Р.Пентус
О.А.Зверков Олег Анатольевич Построение и реализация математических моделей в эволюционной биологии
д.ф.-м.н., проф. В.А.Любецкий
Н.А.Земцов Николай Александрович Моделирование спецификаций процессов средствами формального языка для автоматизированного доказательства корректности уточнения
д.т.н., проф. В.А.Сухомлин, д.ф.-м.н., проф. Л.А.Калиниченко
А.А.Мартышкин Андрей Александрович Функция Дэна для сопряженных элементов в конечно-определенных группах
д.ф.-м.н. И.Г.Лысёнок
А.В.Романов Алексей Васильевич Пропозициональные логики теорий первого порядка
д.ф.-м.н., проф. В.Б.Шехтман
к.ф.-м.н. В.Е.Плиско
Н.М.Рубцова Наталья Михайловна Логика доказательств с операцией подстановки
к.ф.-м.н., доц. В.Н.Крупский
И.Б.Шапировский Илья Борисович PSpace-полнота логик хронологического будущего пространства Минковского
д.ф.-м.н., проф. В.Б.Шехтман
д.ф.-м.н. М.Р.Пентус
2002
Н.В.Дубровский Николай Владимирович Алгоритмы построения дерева видов
д.ф.-м.н., проф. В.А.Любецкий
М.М.Зубов Михаил Михайлович Элементарное доказательство критерия полной унимодулярности функций на булевом кубе
д.ф.-м.н. Н.К.Верещагин
М.А.Каменщиков Михаил Александрович Математические основы языков программирования (к вопросу о парадоксах в теории множеств)
к.ф.-м.н. А.Х.Шень
А.В.Капустин Александр Владимирович Неразрешимость модальных логик между K n и S5 n (реф)
д.ф.-м.н., проф. В.Б.Шехтман
Н.В.Крупский Николай Владимирович О сложности фрагментов логики доказательств LP
д.ф.-м.н., проф. В.А.Успенский
А.М.Маренина Алиса Марковна Доказательство разрешимости некоторых логических систем с реальным временем
д.ф.-м.н., проф. В.Б.Шехтман
Д.А.Назаров Денис Александрович Реалистичное моделирование и изображение растительности экосистемы
В.А.Сухомлин
2001
М.С.Агеев Михаил Сергеевич Игра Мартина: нижняя оценка числа множеств
к.ф.-м.н., с.н.с. А.Х.Шень
Н.И.Артамонова Надежда Игоревна Построение дерева происхождения видов по деревьям происхождения генов
д.ф.-м.н., проф. В.А.Любецкий
М.В.Большаков Михаил Владимирович Решение нонограмм
к.ф.-м.н., с.н.с. А.Х.Шень
О.Ю.Валов Олег Юрьевич Построение алгоритмов планирования в системах интеграции разнородных данных
д.т.н., проф. В.А.Сухомлин
Д.А.Голубенцев Дмитрий Андреевич Автоматический поиск доказательств в исчислении предикатов 1-го порядка
к.ф.-м.н., доц. В.Н.Крупский
А.Б.Зильбер Алексей Борисович Финитная аппроксимируемость и конечная аксиоматизируемость некоторых логик с универсальной модальностью
д.ф.-м.н. В.Б.Шехтман
Е.В.Илюшкина Екатерина Викторовна О соотношении между размерностью и степенью неоднозначности контекстно-свободных языков
д.ф.-м.н. М.Р.Пентус
Д.Е.Корочкин Дмитрий Евгеньевич Исчисление Ламбека и языки деревьев
М.Р.Пентус
А.В.Кудинов Андрей Валерьевич О модальных операторах неравенства в топологических пространствах
д.ф.-м.н. В.Б.Шехтман
Л.А.Макаревич Людмила Андреевна Верификация унификационных алгоритмов
к.ф.-м.н., доц. В.Н.Крупский
К.С.Макарычев Константин Сергеевич Логические вопросы передачи информации
к.ф.-м.н., с.н.с. А.Х.Шень
Ю.С.Макарычев Юрий Сергеевич Условно независимые случайные величины и общая информация
к.ф.-м.н., с.н.с. А.Х.Шень
к.ф.-м.н. М.Н.Вялый
В.А.Минина Вера Александровна Полнота синтаксического исчисления Ламбека с операцией инволюции
д.ф.-м.н. М.Р.Пентус
Н.А.Новак Наталья Александровна Унификация термов с ленивым преобразованием данных
д.т.н., проф. В.А.Сухомлин, к.ф.-м.н., доц. В.Н.Крупский
Д.А.Тупицына Дарья Анатольевна Алгоритмы для конечно-порожденных подгрупп свободной группы
д.ф.-м.н. И.Г.Лысёнок
П.Б.Чекин Павел Борисович Исследование алгебры запросов XML как формального базиса для построения языков запросов информационных ресурсов
д.т.н., проф. В.А.Сухомлин
С.П.Шлепаков Сергей Петрович Задачи унификации и функциональные уравнения в свободных алгебрах
к.ф.-м.н., доц. В.Н.Крупский
2000
М.В.Алехнович Михаил Валентинович Псевдослучайные генераторы для пропозициональных систем доказательств
А.А.Разборов
В.И.Беров Виталий Игоревич Проблемы поглощения типов и включения запросов в языке СИНТЕЗ
Л.А.Калиниченко, В.А.Сухомлин
М.В.Вьюгин Михаил Владимирович Информационное расстояние и условные сложности
д.ф.-м.н. Н.К.Верещагин
А.Е.Горюнова Анна Евгеньевна Арифметика Пресбургера с конструктивной семантикой
к.ф.-м.н., доц. В.Е.Плиско
А.П.Дейнека Алексей Павлович Неразрешимость некоторых конструктивных теорий
к.ф.-м.н., доц. В.Е.Плиско
Д.М.Кирноценский Дмитрий Михайлович Среда для грамматических архиваторов
М.Р.Пентус
Р.М.Кузнец Роман Михайлович О сложности операторных модальных логик
д.ф.-м.н., проф. В.А.Успенский
Р.Ю.Рогов Роман Юрьевич Метод алгоритмического построения абстрактных тестовых наборов в нотации TTCN по формальным спецификациям сетевых протоколов
В.А.Сухомлин
С.А.Славнов Сергей Андреевич Топологическая полнота логик S4, S4F, S4C
д.ф.-м.н., проф. С.Н.Артёмов, к.ф.-м.н., доц. В.Н.Крупский
С.А.Ступников Сергей Александрович Формальный язык спецификации процессов, ориентированный на использование аппарата уточнения для композиционного проектирования потоков работ
В.А.Сухомлин, Л.А.Калиниченко
О.М.Урюпина Ольга Михайловна Об автоматическом разбиении на морфемы
М.Р.Пентус
А.В.Чернов Алексей Вячеславович Общая и взаимная информация пары двоичных слов
д.ф.-м.н. Н.К.Верещагин
1999
С.Е.Алмазов Сергей Евгеньевич Ссылочная семантика для функциональной логики доказательств
д.ф.-м.н., проф. С.Н.Артёмов, д.ф.-м.н., проф. В.А.Успенский
В.Н.Брежнев Владимир Николаевич Операторные аналоги модальных логик
д.ф.-м.н., проф. С.Н.Артёмов, д.ф.-м.н., проф. В.А.Успенский
Е.Л.Казаков Евгений Леонидович Логики доказательств для S5
д.ф.-м.н., проф. С.Н.Артёмов, к.ф.-м.н., доц. В.Н.Крупский
А.Г.Кравцов Алексей Геннадьевич Расширения многомерных временных логик
д.ф.-м.н., проф. С.Н.Артёмов, д.ф.-м.н. В.Б.Шехтман
И.Г.Рогожкин Игнат Геннадьевич Анализ и интерпретация абстрактной семантики языка формальной спецификации Estelle на основе конструкции конечного расширенного автомата
В.А.Сухомлин
М.Ю.Сычёв Максим Юрьевич Разработка поисковой системы в сети Интернет с элементами ассоциативного поиска и самообучения. Модель базы знаний на основе специального класса семантических сетей и алгоритмы поиска
В.А.Сухомлин
Д.А.Шапиро Дмитрий Александрович Арифметическая интерпретация логики доказательств для S5
д.ф.-м.н., проф. С.Н.Артёмов, д.ф.-м.н., проф. В.А.Успенский
С.П.Шишко Станислав Петрович Разработка поисковой системы в сети Интернет с элементами ассоциативного поиска и самообучения. Формальная модель русского языка для анализа текстов при обработке документов и запросов пользователей
В.А.Сухомлин
1998
А.А.Акимов Алексей Алексеевич К теоремам Гёделя о неполноте
д.ф.-м.н., проф. В.А.Успенский
Ю.В.Баскаков Юрий Валерьевич Разработка методов тестирования конформности компиляторов стандартам современных языков программирования
В.А.Сухомлин
Е.Н.Брюхов Егор Николаевич Моделирование памяти с прямым доступом к информации в системе NuPRL. Реализация массивов
д.ф.-м.н., проф. С.Н.Артёмов, к.ф.-м.н., доц. В.Н.Крупский
А.С.Вольфсон Андрей Семенович Два дополнения к понятию «Система синтаксических групп»
д.ф.-м.н., проф. В.А.Успенский
Д.Г.Дерягин Дмитрий Георгиевич Системы перечислимых множеств и их нумерации
д.ф.-м.н., проф. В.А.Успенский
В.В.Замятин Владимир Викторович Расширение пропозициональных модальных логик считающими и помеченными модальностями
д.ф.-м.н., проф. С.Н.Артёмов, к.ф.-м.н., с.н.с. В.Б.Шехтман
Ю.А.Калнишкан Юрий Алексеевич Некоторые свойства сложностных классов в релятивизованных мирах
д.ф.-м.н. Н.К.Верещагин
А.В.Мкртычев Алексей Викторович Разрешимость некоторых вариантов логики доказательств Артёмова
д.ф.-м.н., проф. С.Н.Артёмов, д.ф.-м.н. Л.Д.Беклемишев
А.Г.Салабаев Артем Геннадьевич Языки описания атрибутозначных структур
д.ф.-м.н., проф. С.Н.Артёмов к.ф.-м.н., доц. В.Н.Крупский
1997
Д.А.Витер Дмитрий Александрович Классическая и конструктивная теории равенства с точки зрения обобщенных моделей
к.ф.-м.н., доц. В.Е.Плиско
А.В.Евфимьевский Александр Валентинович Вероятностный алгоритм быстрой пересылки двоичных слов, близких по блоковым операциям
д.ф.-м.н. Н.К.Верещагин
Е.Е.Золин Евгений Евгеньевич Относительная интерпретируемость модальных логик
к.ф.-м.н., доц. Е.Ю.Ногина
А.Ю.Ногин Алексей Юрьевич Улучшение эффективности доказательств в системе NuPRL
А.А.Разборов
А.Е.Ромащенко Андрей Евгеньевич Неравенства для колмогоровской и шенноновской энтропий
д.ф.-м.н. Н.К.Верещагин
1996
А.И.Барабашев Компьютерное моделирование некоторого класса спортивных игр
д.ф.-м.н., проф. С.Н.Артёмов
Д.Е.Давыдов Разработка методов и средств аттестации компиляторов на соответствие стандарту языка
д.т.н., проф. В.А.Сухомлин
А.П.Копылов Алексей Павлович Вопросы разрешимости в линейной аффинной логике
д.ф.-м.н., проф. С.Н.Артёмов
С.Е.Нарыжный Алгоритмы унификации
к.ф.-м.н., доц. Е.Ю.Ногина
В.У.Ниязов Владимир Усманович Перенос теорем Ритта и Зайденберга со случая дифференциальных полей на случай коммутативных регулярных дифференциальных колец
д.ф.-м.н., проф. В.А.Любецкий
С.Е.Посицельский Семен Ефимович Свойства конструктивных объектов, выразимые через колмогоровскую сложность
д.ф.-м.н., проф. В.А.Успенский
А.В.Рыжов О конструктивности моделей в слабом смысле
к.ф.-м.н., доц. В.Е.Плиско
М.А.Семенова Оценка количества пересылок при быстрой корректировке слабо испорченных файлов
д.ф.-м.н., проф. В.А.Успенский
В.Г.Сучков Игры Улама и многозначные логики
к.ф.-м.н., доц. Е.Ю.Ногина
В.А.Хаменя Валерий Анатольевич Генератор минимальных совершенных хеш-функций
д.т.н., проф. В.А.Сухомлин
1995
А.В.Бачурин Алексей Владимирович Некоторые вопросы, связанные с понятием категории Бэра (реф)
д.ф.-м.н., проф. В.Г.Кановей
В.В.Вербин Владислав Владимирович Разработка спецификаций и создание мобильной ПРОЛОГ-системы на основе абстрактной машины логического вывода
д.т.н., проф. В.А.Сухомлин
А.Н.Глушак Трансляция предикативных запросов к дедуктивным объектно-ориентированным базам знаний
н.с. Д.В.Журин
П.В.Гусев Павел В. Логики линейного времени и их разрешимость
д.ф.-м.н., проф. С.Н.Артёмов
Д.А.Золотухин Дмитрий Анатольевич Триангуляция множества точек
к.ф.-м.н. А.И.Грюнталь
М.В.Истлентьев Михаил Вячеславович Об эффективности свойства гиперконечности
д.ф.-м.н., проф. В.А.Успенский, д.ф.-м.н., проф. В.Г.Кановей
Б.Е.Казора Разработка и реализация компилятора для языка логических запросов дейталог (DataLog)
д.т.н., проф. В.А.Сухомлин
А.Н.Кротов Александр Николаевич Алгоритмы реализации механизма классов объектно-ориентированного языка программирования C++
д.т.н., проф. В.А.Сухомлин
Е.Макаров Евгений N-ПРОЛОГ — расширение ПРОЛОГа с импликацией
д.ф.-м.н., проф. С.Н.Артёмов
М.В.Патласов Замкнутые в минимальном исчислении высказываний пропозициональные формулы
к.ф.-м.н., доц. В.Е.Плиско
Г.А.Турмухамбетова О полиномиальной разрешимости в некоммутативной линейной логике
д.ф.-м.н., проф. С.Н.Артёмов
А.В.Усков Алексей Владимирович Исследование методов реализации встраиваемого языка SQL
д.т.н., проф. В.А.Сухомлин
С.Е.Шалунов Станислав Борелевская аппроксимация над гиперконечным пространством
д.ф.-м.н., проф. В.А.Успенский, д.ф.-м.н., проф. В.Г.Кановей
А.Е.Циплянов Александр Евгеньевич Разработка и исчисление сетевых протоколов и сервисов на основе сетей Петри
д.т.н., проф. В.А.Сухомлин
1994
Ю.Н.Александров Вырождение одномерных итеративных сетей
д.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. Н.К.Верещагин
П.В.Андреев Пётр Вадимович Об ультрафильтрах и предикате относительной стандартности в теории ограниченных множеств
В.А.Успенский д.ф.-м.н., проф. В.Г.Кановей
к.ф.-м.н., доц. В.Х.Хаханян
М.А.Белов Максим Немонотонные логики
д.ф.-м.н., проф. С.Н.Артёмов
С.А.Бутко Бесконечно работающие машины Тьюринга
д.ф.-м.н., проф. В.А.Успенский
А.Л.Гомолко Отрицание как противоречие в логическом программировании
д.ф.-м.н., проф. С.Н.Артёмов
К.И.Подгорнов О структуре классов полиномиальной иерархии
к.ф.-м.н. Н.К.Верещагин
к.ф.-м.н., доц. В.Н.Крупский
Т.Л.Сидон Татьяна Леонидовна Интерполяционное свойство Крейга в логиках с доказуемостной интерпретацией
д.ф.-м.н., проф. С.Н.Артёмов
к.ф.-м.н. Л.Д.Беклемишев
Г.Р.Чесаков Временные логики элементарных сетей Петри
д.ф.-м.н., проф. С.Н.Артёмов
А.В.Чуприна Артём Валентинович Логика сложности доказательств
д.ф.-м.н., проф. С.Н.Артёмов
к.ф.-м.н. Л.Д.Беклемишев
М.Б.Шестаков Язык программирования LISP как машинная реализация λ-исчисления
д.ф.-м.н., проф. С.Н.Артёмов
Р.Э.Яворский Ростислав Эдуардович О доказуемостных расширениях теорий
д.ф.-м.н., проф. С.Н.Артёмов
П.Г.Наумов
1993
К.Н.Итченко Кирилл Николаевич Теорема о нормальной форме для взаимодействующих грамматик
д.ф.-м.н., проф. В.А.Успенский, к.ф.-м.н., доц. В.Н.Крупский
к.ф.-м.н. Н.К.Верещагин
Н.О.Короткова Оптимизационные задачи и булевская иерархия сложностных классов
к.ф.-м.н. Н.К.Верещагин
к.ф.-м.н., доц. В.Н.Крупский
А.В.Трехов Теория моделей для исчисления Куайна и атомарная эквивалентность универсальных алгебр
д.ф.-м.н., проф. В.А.Успенский
к.ф.-м.н., доц. В.Н.Крупский
М.П.Цакова Аксиоматизация слабой арифметики второго порядка
д.ф.-м.н. С.Н.Артёмов
1992
А.Н.Бабий Нижние и верхние оценки сложности вероятностных разрешающих деревьев с двусторонней ошибкой
к.ф.-м.н. Н.К.Верещагин
к.ф.-м.н. А.Х.Шень
Е.В.Тополюк Елена Владимировна Самовыразимость в языках I порядка
к.ф.-м.н. Н.К.Верещагин
П.Г.Наумов Павел Геннадьевич Модальные логики второго порядка, имеющие доказуемостную интерпретацию
д.ф.-м.н. С.Н.Артёмов
к.ф.-м.н. Н.А.Панкратьев
Н.Л.Поляков Николай Львович К проблеме распознавания бесквадратности данного слова относительно эквивалентности, заданной системой соотношений
д.ф.-м.н., проф. С.И.Адян
к.ф.-м.н. И.Г.Лысёнок
А.А.Тарасенко Александр Андреевич Полиэдральное ядро (Полиэдральное геометрическое ядро с оперативным хранением)
к.ф.-м.н. А.И.Грюнталь
к.ф.-м.н. А.И.Немытов
Х.Д.Балтаев Ходжамурат (Мурат) Джораевич Система геометрического моделирования плазовых поверхностей
к.ф.-м.н. А.И.Грюнталь
к.ф.-м.н. А.И.Немытов
И.Б.Неволин Игорь Борисович Тестирование полиэдрального ядра
к.ф.-м.н. А.И.Грюнталь
к.ф.-м.н. А.И.Немытов
К.А.Ваньков Кирилл Анатольевич Разработка системы и анализ синтеза трехмерного стереоскопического изображения на ЭВМ
д.ф.-м.н. В.Б.Бетелин
к.ф.-м.н. А.И.Немытов
А.Ф.Галимов Айрат Фаритович Построение специализированной базы данных для систем геометрического моделирования
к.ф.-м.н. А.И.Грюнталь
к.ф.-м.н. А.И.Немытов
1991
К.Н.Игнатьев Логика Σ1-интерпретируемости над арифметикой Пеано
д.ф.-м.н. С.Н.Артёмов
к.ф.-м.н. В.Е.Плиско
А.Г.Маканина Подгруппы группы автоморфизмов свободной группы
д.ф.-м.н., проф. С.И.Адян
к.ф.-м.н. Н.Н.Репин
Н.А.Мир Наджя Абдул Вахидовна О независимости систем аксиом пропозициональных модальных логик
к.ф.-м.н., доц. Е.Ю.Ногина
В.В.Петрушина Владимир Витальевич Замкнутые формулы в бимодальной логике доказуемости
д.ф.-м.н. С.Н.Артёмов
А.Н.Шайкин Александр Николаевич Некоторые результаты о вычислимости функции большинства на ветвящихся программах ограниченной ширины
к.ф.-м.н. Н.К.Верещагин
к.ф.-м.н. С.П.Тарасов
Д.Г.Никитин Дмитрий Генрихович О некоторых оценках в комбинаторной теории множеств
к.ф.-м.н. Н.К.Верещагин
к.ф.-м.н. В.Г.Вовк
1990
О.В.Вербицкий Олег Васильевич Оптимальные алгоритмы для coNP-множеств и проблема Exp =? NExp
д.ф.-м.н., проф. С.И.Адян
1989
А.А.Иванников Проблема унификации термов в теории с одной коммутативностью
к.ф.-м.н., асс. Н.К.Верещагин
Л.Д.Беклемишев Лев Дмитриевич О классификации пропозициональных логик доказуемости
д.ф.-м.н., проф. С.И.Адян
Д.В.Смирнов Информационные методы получения нижних оценок коммуникационной сложности
д.ф.-м.н., проф. В.А.Успенский
В.И.Дмитриев Виктор Игоревич О подгруппах групп биекций бесконечных множеств, транзитивно действующих на множествах их два-разбиений
д.ф.-м.н., проф. В.А.Успенский
Л.Н.Яблоков О компактности расширений логики первого порядка мощностными кванторами
д.ф.-м.н., проф. С.И.Адян
1988
К.Ю.Горбунов Константин Юрьевич Об одной алгоритмической проблеме из теории контекстно-свободных грамматик
к.ф.-м.н., асс. Н.К.Верещагин
н.с. Ан.А.Мучник
Т.И.Стадниченко О разрывных решениях некоторых функциональных уравнений
д.ф.-м.н., проф. С.И.Адян
к.ф.-м.н., доц. Е.Ю.Ногина
1987
Г.В.Попова О конечно-определенных бесконечных простых группах
д.ф.-м.н., проф. С.И.Адян
А.П.Лисица Тождества в некоторых алгебрах 0-1 последовательностей
к.ф.-м.н., асс. Н.К.Верещагин
А.С.Феткевич Логики доказуемости с правилом усиления
к.ф.-м.н., доц. Е.Ю.Ногина
С.В.Горячев
С.Н.Разумов Критерий локальной табличности расширений логики доказуемости Гёделя – Лёба
к.ф.-м.н., доц. Е.Ю.Ногина
д.ф.-м.н., проф. С.И.Адян
1986
Д.В.Виноградов Об аналогах категории отношений на фиксированном объекте в произвольном топосе
д.ф.-м.н., проф. В.А.Успенский
Д.М.Гавриленко Доказательная разработка компонент системы автоматизации проектирования (САПР) в машиностроении
д.ф.-м.н. А.Л.Семёнов
М.А.Матвеева О решениях некоторых коммутаторных уравнений в группе кос
д.ф.-м.н. А.Л.Семёнов
Ю.С.Рыжикова Разрешимость проблемы распознавания тождества в решётках линейных подпространств
д.ф.-м.н., проф. В.А.Успенский
д.ф.-м.н., проф. С.И.Адян, к.ф.-м.н., асс. Н.К.Верещагин
П.И.Силаев Разрешимость элементарных теорий некоторых числовых структур
д.ф.-м.н., проф. В.А.Успенский
1985
А.М.Акименков Общее решение системы степенных уравнений в группе кос
д.ф.-м.н., проф. С.И.Адян
д.ф.-м.н. Г.С.Маканин
Д.Н.Бадеев Алгоритм нахождения расписания
к.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. В.Г.Вовк
В.Бехтерев Алгоритм идентификации деревьев
к.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. С.Ф.Сопрунов
А.В.Матевосян Александр Об эффективизации некоторых понятий теории графов
к.ф.-м.н., доц. Е.Ю.Ногина
Д.В.Похмельнов Дмитрий Владимирович Семантики типа Крипке для модальных и интуиционистских прототетик
д.ф.-м.н., проф. В.А.Успенский
к.ф.-м.н. Д.П.Скворцов
А.А.Разборов Александр Александрович Нижние оценки монотонной сложности некоторых булевых функций
д.ф.-м.н., проф. С.И.Адян
к.ф.-м.н. А.Л.Семёнов
В.В.Рыжиков Валерий Валентинович Об автоморфизмах булевых алгебр, аппроксимируемых периодическими автоморфизмами
д.ф.-м.н., проф. В.А.Успенский
к.ф.-м.н., доц. А.М.Стёпин
А.Г.Симкин Алексей Германович О погружении теории типов в некоторую интуиционистскую теорию
к.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. А.М.Якубович
А.Н.Шибин Андрей Николаевич О грамматике Монтегю
?
1984
Е.А.Асарин Евгений Александрович О понятии случайного объекта (сложностной подход)
акад. А.Н.Колмогоров
к.ф.-м.н. А.Л.Семёнов
А.П.Инфанов Александр Петросич Исследование применимости исчислений λ-конверсии к задаче представления знаний фреймами
к.ф.-м.н., доц. А.С.Кузичев
А.С.Коломлин О функционалах Московакиса и скорости их сходимости
к.ф.-м.н., доц. Е.Ю.Ногина
И.Г.Лысёнок Игорь Геронтьевич Система соотношений для группы Григорчука
д.ф.-м.н., проф. С.И.Адян
к.ф.-м.н., доц. Р.И.Григорчук
М.Н.Максименко Марианна Николаевна О некоторых проблемах бернсайдовского типа для полугрупп
к.ф.-м.н. А.Л.Семёнов
О.В.Митина Некоторые оценки сложности вычислений для одноленточных машин Тьюринга с записью на ленте
д.ф.-м.н., проф. В.А.Успенский
к.ф.-м.н. А.Л.Семёнов
И.А.Мурсалова Ирина Анатольевна Числовые системы в альтернативной теории множеств
к.ф.-м.н., доц. Е.Ю.Ногина
Л.И.Панина Приложения нестандартного анализа к теории рядов Фурье
к.ф.-м.н., доц. А.С.Кузичев
И.Г.Пономарёв Игорь Геннадьевич Теорема о средней секвенции в A0-системе
к.ф.-м.н., доц. А.С.Кузичев
Ф.М.Субханкулова Об эргодических языках
к.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. А.Х.Шень
Е.В.Сулим Реализация на ЭВМ алгоритма распознавания равенства слов в полугруппе кос
к.ф.-м.н. А.Л.Семёнов
И.А.Чекмарёв Счётность неразличимых множеств в моделях теорий, имеющих порядок плотности 1
д.ф.-м.н., проф. С.И.Адян
К.В.Швачко Константин Витальевич Оценки неуниформных сложностей для некоторых комбинаторных задач
к.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. А.Х.Шень
В.А.Шульпеков Владимир Александрович Исследование применений дедуктивных расширений λ-исчислений к задаче представления значения фраз естественного языка
к.ф.-м.н., доц. А.С.Кузичев
1983
В.А.Федосимов Псевдобулевозначная модель интуиционистской теории множеств
к.ф.-м.н., доц. А.Г.Драгалин
1982
С.А.Глазов Сергей Анатольевич Алгоритмы разрешимости некоторых систем модалной и пропозициональной логики
к.ф.-м.н., доц. А.Г.Драгалин
Г.Ф.Шварц
А.И.Мигунов Топологическая модель интуиционистской логики высокого порядка
к.ф.-м.н., доц. А.Г.Драгалин
Н.А.Панкратьев Николай Анатольевич О сложности начальных фрагментов бесконечных двоичных последовательностей при ограничении на время вычисления
к.ф.-м.н., доц. А.Г.Драгалин
Г.Ф.Шварц
1981
Е.А.Акылбекова О полноте и разрешимости некоторых программных логик
к.ф.-м.н., доц. А.Г.Драгалин
Е.Р.Байсалов Ержан Рахметоллаевич Некоторые свойства параметризуемых множеств свободной полугруппы
к.ф.-м.н. А.Л.Семёнов
Н.К.Верещагин Николай Константинович Некоторые алгоритмические проблемы для целочисленных матриц
д.ф.-м.н., проф. В.А.Успенский
Э.Г.Бернгардт Некоторые вопросы теории моделей интуиционистской логики высказываний второго порядка
к.ф.-м.н., доц. А.Г.Драгалин
В.В.Глушенко Построение A-универсальной функции с минимальными параметрами
к.ф.-м.н., доц. С.В.Алёшин
С.Д.Захаров Об алгебре операторов перечисления
Е.Ю.Ногина
Е.М.Зиньковская Екатерина Михайловна Доказательство непротиворечивости арифметики первого порядка в арифметике второго порядка
к.ф.-м.н., доц. А.С.Кузичев
Л.В.Касперович Об алгоритмической проблеме устойчивости для некоторых классов динамических систем
д.ф.-м.н., проф. В.А.Успенский
М.Г.Коробочкина Комбинаторно полная система с равенством
к.ф.-м.н., доц. А.С.Кузичев
Л.В.Костюков Леонид Владимирович Логически замкнутые классы отношений в арифметике следования целых чисел
к.ф.-м.н. А.Л.Семёнов
Ан.А.Мучник Андрей Альбертович Игры на бесконечных деревьях и автоматы с тупиками. Новое доказательство разрешимости монадической теории двух следований
А.Л.Семёнов
О.А.Палагина Ольга Александровна О перечислимых векторных пространствах
к.ф.-м.н. Е.Ю.Ногина
Н.Н.Репин Николай Николаевич Алгоритмические вопросы для нильпотентных групп
д.ф.-м.н., проф. С.И.Адян
А.А.Руденко Модель Бета интуиционистского анализа
к.ф.-м.н., доц. А.Г.Драгалин
С.В.Шитякова Светлана Васильевна О вычислимых функционалах конечных типов
к.ф.-м.н. Е.Ю.Ногина
Ю.Ф.Юшутин Об одном методе классификации плоских кривых
к.ф.-м.н., доц. С.В.Алёшин
Л.Ф.Чжен Лилия Филипповна Арифметика Пеано первого порядка с предикатом доказуемости в форме Россера
к.ф.-м.н., доц. А.С.Кузичев
А.У.Яунсилс Анита Улдисовна Относительная монадическая определимость арифметики через линейные функции
к.ф.-м.н. А.Л.Семёнов
1980
И.В.Безбородов О непротиворечивости аксиоматических теорий Куайна и Гёделя – Бернайса
к.ф.-м.н., доц. А.Г.Драгалин
А.К.Волков Интуиционистски корректное доказательство теоремы о полноте интуиционистской логики предикатов
к.ф.-м.н., доц. А.Г.Драгалин
А.Н.Герасимов Иерархии моделей нестандартного анализа
к.ф.-м.н., доц. А.Г.Драгалин
С.В.Жигинас Некоторые вопросы теории свободных групп
А.Л.Семёнов
Ф.Р.Кашапова Фарида Рашитовна Формализация одного конструктивного варианта теоремы Бирхгофа
к.ф.-м.н., доц. А.Г.Драгалин
В.Ю.Кощеев Владимир Юрьевич Многократное тестирование бинарных таблиц
к.ф.-м.н., доц. С.В.Алёшин
Л.Л.Лобачёва Людмила Львовна Вопросы полноты для линейных функций с задержками
к.ф.-м.н., доц. В.Б.Кудрявцев
М.К.Момынов Мухтар Кенесович Некоторые вопросы логики второго порядка
к.ф.-м.н., доц. А.С.Кузичев
В.Н.Перевозников Реализация на ЭВМ алгоритма восстановления грамматики
к.ф.-м.н., доц. С.В.Алёшин
1979
А.В.Арзамаскин Понятие теории в F-системе комбинаторной логики
А.С.Кузичев
Е.С.Божич Евгений Сергеевич О равнонепротиворечивости теорий интуиционистского анализа
к.ф.-м.н., доц. А.Г.Драгалин
Е.Б.Воронов Евгений Борисович Разрешимость проблемы эквивалентности для одного класса контекстно-свободных грамматик
к.ф.-м.н. А.Л.Семёнов
Ю.В.Гавриленко Юрий Вячеславович Метод реализуемостей в интуиционистской арифметике
к.ф.-м.н., доц. А.Г.Драгалин
В.Х.Хаханян
А.Е.Гнедина О сложности разрешения некоторых элементарных теорий
д.ф.-м.н., проф. С.И.Адян
Н.Н.Денисов Конечные множества в конструктивной математике
А.А.Марков
А.Г.Иванов Александр Геннадьевич Теоремы о временной иерархии для машин с произвольным доступом к памяти
д.ф.-м.н., проф. С.И.Адян
А.А.Козлов Алексей Алексеевич Некоторые теоремы из полувычислимого анализа
к.ф.-м.н., доц. А.Г.Драгалин
Ю.И.Ожигов Юрий Игоревич Разрешимость одного фрагмента элементарной теории свободной некоммутативной группы
д.ф.-м.н., проф. С.И.Адян
М.В.Подмарьков Михаил Валентинович О степенях выразимости в арифметике следования
А.Л.Семёнов
С.Л.Руденко О диофантовой сложности разрешимых множеств
д.ф.-м.н., проф. С.И.Адян
И.В.Сафроненкова Псевдобулевозначная модель теории множеств
к.ф.-м.н., доц. А.Г.Драгалин
П.И.Сургучев Пётр Игоревич Распознавание равенства чисел в обобщенных системах счисления с помощью конечных автоматов
к.ф.-м.н. А.Л.Семёнов
к.ф.-м.н. Ал.А.Мучник
А.Суханов Александр О сложности вычислений на адресных машинах
д.ф.-м.н., проф. С.И.Адян
А.А.Тверской Метод индикаторов и неполнота некоторых вариантов формальной арифметики
А.Л.Семёнов
Е.В.Филатов Теория действительного числа Р.Дедекинда
З.А.Кузичева
А.Х.Шень Александр Ханевич Метод приоритета и проблемы отделения
д.ф.-м.н., проф. В.А.Успенский
Н.В.Штырева Наталья Владимировна О трансфинитных расширениях однокванторной арифметики
к.ф.-м.н., доц. А.Г.Драгалин
О.Л.Федоткина О некоторых элементарных теориях эквивалентностей
д.ф.-м.н., проф. В.А.Успенский
1978
В.П.Вольных О пропускной способности конечных автоматов
А.С.Подколзин
Н.М.Гусев О числе классов эквивалентности относительно экспериментов на множестве замкнутых классов автоматов
к.ф.-м.н. С.В.Алёшин
П.А.Кулунков Вопросы определимости в упорядоченных множествах
д.ф.-м.н., проф. В.А.Успенский
И.Н.Стецюк Относительно S-определенных автоматов
В.Б.Кудрявцев
М.К.Уртембаев Интуиционистское доказательство полноты для ограниченной логики второго порядка
к.ф.-м.н., доц. А.Г.Драгалин
В.Н.Герасимов Сложение чисел в фибоначчиевое системе счисления
А.Л.Семёнов
В.И.Довгаль О полноте некоторых систем автоматов
С.В.Алёшин
1977
А.В.Асадчий Разложение синхронных машин в синхронные и асинхронные подмашины и разложение булевых групповых функций и синтез многопоперечных каскадов
В.Б.Кудрявцев
В.И.Бартенева Вера Ивановна Система сложения векторов и метричные грамматики
А.Л.Семёнов
А.В.Брусенцев Александр Витальевич Представление сверхсобытий в конечных автоматах
к.ф.-м.н., доц. В.Б.Кудрявцев
В.А.Васякин Формальная система интуиционистского анализа
к.ф.-м.н., доц. А.Г.Драгалин
В.А.Дубровский Аксиоматическая система Бурбаки
д.ф.-м.н., проф. В.А.Успенский
И.С.Казаков Бимодальные логики для линейных упорядочений
к.ф.-м.н., доц. А.Г.Драгалин
асп. В.Б.Шехтман
А.В.Левкин О прогнозировани текущего состояния автомата
к.ф.-м.н., доц. В.Б.Кудрявцев
асс. А.С.Подколзин
Г.Г.Лыкосова Алгоритмические свойства языков, порожденных исчислениями с конкатенацией
д.ф.-м.н., проф. А.А.Марков
М.В.Ломковская
С.М.Фадин Сергей Михайлович Об одном подходе к изучению некоторых свойств автоматов и о свойствах сильносвязных автоматов (реф)
В.Б.Кудрявцев
В.Н.Козлов
Н.А.Хрулева О сложности схем из пороговых элементов
О.Б.Лупанов
Н.А.Карпова
Г.Ф.Шварц Григорий Феликсович Математическое исследование интуиционистской теории типов
к.ф.-м.н., доц. А.Г.Драгалин
1976
С.А.Барсуков Модели Френкеля – Мостовского
к.ф.-м.н., доц. А.Г.Драгалин
Ю.Ф.Берёзко Классы языков, порождаемых программами с правилами-метками. Их связь с другими классами языков
М.В.Ломковская
М.С.Беспалов Сложность реализации частичных булевых функций
д.ф.-м.н. С.И.Адян
Г.Л.Гамзатов Гамзат Некоторые вопросы минимизации функций k-значной логики
В.Б.Кудрявцев
С.Б.Гашков Сергей Борисович О синтезе схем и формул для булевых функций в базисах, элементы которых реализуют непрерывные функции
О.Б.Лупанов
В.А.Дедов Некоторые вопросы исследования классической арифметики с трансфинитными выводами
к.ф.-м.н., доц. А.Г.Драгалин
Зойка Дитмар О расширении ступенчатой семантической системы
А.А.Марков
И.М.Рабин Игорь Михайлович Построение интуиционистской арифметики без итерации импликаций
к.ф.-м.н., доц. А.Г.Драгалин
С.А.Мешков Сергей Анатольевич Аккермановская теория множеств
к.ф.-м.н., доц. А.Г.Драгалин
Мюллер Франк Асимптотические оценки сложности реализации некоторых классов автоматов
О.Б.Лупанов
Л.В.Писарчук Людмила Владимировна Единственность дерева вывода в некотором полуформальном исчислении
А.А.Марков
С.И.Спиридонов Сергей Иванович О шефферовых отношениях в k-значных коалгебрах Поста
В.Б.Кудрявцев
1975
С.Н.Артёмов Сергей Николаевич Невыводимость некоторых утверждений о мощности в теории множеств Куайна
к.ф.-м.н., доц. А.Г.Драгалин
асп. Г.К.Гаргов
А.В.Вахрушев Андрей Валентинович Доказательство одной теоремы Ю.Т. Медведева
д.ф.-м.н., проф. В.А.Успенский
В.Н.Галахов Виктор Николаевич Относительно двух понятий эквивалентности автоматов
к.ф.-м.н., доц. В.Б.Кудрявцев
А.С.Подколзин
В.А.Евдокимов О конечных степенях формальных языков
М.В.Ломковская
А.В.Корольков Топологические модели интуиционистского исчисления высказываний
д.ф.-м.н., проф. В.А.Успенский
В.Н.Крупский Владимир Николаевич Разрешение множеств алгорифмами с ограниченным временем работы
д.ф.-м.н., проф. В.А.Успенский
С.В.Марков Об обходах автоматами связных конфигураций
к.ф.-м.н., доц. В.Б.Кудрявцев
А.С.Подколзин
Л.В.Матвеева Людмила Васильевна Главные тип-схемы объектов комбинаторной логики
А.С.Кузичев
И.В.Платонов Распознавание прямоугольных изображений
М.В.Ломковская
Д.П.Скворцов Дмитрий Павлович Интерпретация пропозициональных формул посредством задач, основанная на теории рекурсивных функций
д.ф.-м.н., проф. В.А.Успенский
В.А.Тайманов Владимир Асанович О финитной разрешимости
д.ф.-м.н., проф. В.А.Успенский
В.Н.Тетерин Владимир Николаевич Исследование некоторых свойств ассоциативных исчислений и бинарных отношений между ними
Н.М.Нагорный
В.В.Федулов Сложность разрешения двухкванторных формул
Н.М.Нагорный
В.Х.Хаханян Валерий Христофорович Вычислимые функции над бесконечными множествами
к.ф.-м.н., доц. А.Г.Драгалин
Г.Р.Хусаинова Понятие пары в системе Бурбаки
д.ф.-м.н., проф. В.А.Успенский
Н.В.Якушкина Наталья Владимировна Левосторонние грамматики с рассеянным контекстом
М.В.Ломковская
1974
Э.М.Абрамов Эдуард Михайлович Макро-грамматики Фишера и грамматики над деревьями
М.В.Ломковская
И.Н.Ашуров Выразительные возможности системы комбинаторной логики с операторами P и Π
доц. А.С.Кузичев
Л.В.Шабунин
В.А.Вершинин Вячеслав Анатольевич К вопросу о наложимости конструктивных множеств с равенством
А.А.Марков
А.Г.Далалян Представление группы Новикова с неразрешимой проблемой тождества в виде свободного произведения с объединенной подгруппой двух групп с разрешимыми проблемами тождества
д.ф.-м.н. С.И.Адян
В.В.Борисов
М.В.Еремин Оценки числа состояний недетерминированных конечных автоматов
А.А.Марков
С.М.Иванов Алгебраические свойства некоторых классов эффективных действительных чисел
д.ф.-м.н. В.А.Успенский
М.А.Каминский О нестандартных связках интуиционистской логики
к.ф.-м.н. А.Г.Драгалин
М.А.Ройшберг Схемы конечных автоматов
А.А.Марков
И.Л.Сорин Игорь Леонидович О нестандартной рекурсивной модели арифметики Пресбургера
к.ф.-м.н. А.Г.Драгалин
А.М.Левин
М.А.Тёмкин Теории конструкций для арифметики и анализа
к.ф.-м.н. А.Г.Драгалин
А.А.Шум Александр Анатольевич Некоторые примеры обыкновенных исчислений высказываний
д.ф.-м.н. В.А.Успенский
асп. 3 года С.В.Сопрунов
1973
В.Н.Бачегов Виктор Николаевич Построение модели теории множеств с собственным классом, являющимся бесконечной убывающей цепочкой
к.ф.-м.н. А.Г.Драгалин
И.И.Гасанов Разрешимость теории равенства
к.ф.-м.н. А.Г.Драгалин
Я.М.Другуш Яким Михайлович Заметки по нестандартной топологии
д.ф.-м.н. В.А.Успенский
В.Г.Жаров Виктор Гаврилович О сложности членов конструктивных последовательностей машин Тьюринга
Н.М.Нагорный
В.Г.Ильичёв Виталий Григорьевич Построение сильной нестандартной модели теории множеств методом спектра над возвратным переменным ультрафильтром, в которой каждый предельный ординал имеет тип упорядочения
к.ф.-м.н. А.Г.Драгалин
Н.Н.Непейвода
И.Г.Иштокина Лариса Григорьевна О реализации не всюду определенных функций алгебры логики π-схемами
О.Б.Лупанов
В.Г.Кановей Владимир Григорьевич О мощности баз ультрафильтров на алгебре подмножеств натурального ряда
д.ф.-м.н. В.А.Успенский
В.Н.Гришин
Е.С.Кривов Евгений Сергеевич Некоторые обобщения бесконтекстных и именных окрестностных грамматик
М.В.Ломковская
А.М.Левин Александр Моисеевич Интуиционистский анализ и закон исключеннного третьего
к.ф.-м.н. А.Г.Драгалин
В.К.Николаев Владимир Константинович О независимости правил вывода в SωN
А.А.Марков
м.н.с. В.В.Гимон
С.В.Петров Распознавание бесконтекстных языков недетерминированными многоголовочными автоматами
А.А.Мучник
Л.М.Пинский Лев Михайлович Запись машины Тьюринга на языке CUCH
А.А.Марков
Р.К.Пранк Рейн Карлович О сложности членов конструктивных последовательностей арифметических множеств
Н.М.Нагорный
С.К.Соболев Сергей Константинович Интуиционистская прототетика и ее модели
к.ф.-м.н. А.Г.Драгалин
д.ф.-м.н., проф. С.И.Адян
Я.А.Сорников Яков Александрович Теоремы о нормальной форме
к.ф.-м.н. А.Г.Драгалин
В.С.Филоненко Ускоряемое вычисление с гарантированной верхней оценкой
Н.В.Петри
Ф.Ф.Химушин Федор Федорович О принципе максимума для конструктивных гармонических функций
Б.А.Кушнер
С.Н.Шакуов Оценки сложности вычислений общерекурсивных предикатов
А.А.Марков
Т.А.Шидловская Татьяна Андреевна О реализации монотонных функций с небольшим числом конъюнкций в сокращенной ДНФ π-схемами из замыкающих контактов
О.Б.Лупанов
1972
В.А.Варданян Валерий Арамович О некоторых моделях арифметики
д.ф.-м.н. В.А.Успенский
М.А.Зайцев Михаил Антонович О некоторых задачах, связанных с проблемой изоморфизма графов
доц. Ф.Я.Ветухновский
Е.Д.Захаров Евгений Дмитриевич Об экспериментах с автоматами Мура
чл.-корр. АН СССР, проф. С.В.Яблонский
О.М.Карпилова Ольга Михайловна Интерпретация интуиционистской арифметики в теории конструкций Скотта
доц., к.ф.-м.н. А.Г.Драгалин
асп. Н.Н.Непейвода
М.Д.Кроль Михаил Данилович Топологическая интерпретация интуиционистских теорий
к.ф.-м.н. А.Г.Драгалин
асп. Н.Н.Непейвода
Л.И.Локшин Леонид Иосифович Измеримость определимых множеств
к.ф.-м.н. А.Г.Драгалин
асп. Н.Н.Непейвода
А.В.Нарышкин Александр Вячеславович Периодические нормальные алгорифмы
чл.-корр. АН СССР А.А.Марков
М.И.Канович
Г.У.Оганесян Проблема тождества для одного класса полугрупп с одним определяющим соотношением
д.ф.-м.н. С.И.Адян
И.А.Покровская Ирина Алексеевна О представлении событий в вероятностных автоматах
О.Б.Лупанов
С.И.Ройзен Типы рекурсивной и автоматной эквивалентности
А.А.Мучник
А.Л.Семёнов Алгоритмические проблемы для формальных степенных рядов и контекстно-свободных грамматик
А.А.Мучник
Н.А.Тайманова Надежда Асановна Оценки сложности схем специального вида для некоторых функций
проф. О.Б.Лупанов
В.Н.Дудич
И.В.Ульрих Ирина Владимировна Построение S-обобщенного нормального алгорифма, универсального для S-обобщенных нормальных алгорифмов в m-буквенном алфавите, имеющего сложность 2m + C
А.А.Марков
С.К.Храмшин О сложности симметрических нормальных алгорифмов
Н.М.Нагорный
В.С.Шевяков Владимир Степанович Выполнимость формул узкого исчисления предикатов в конструктивных (вычислимых) моделях
А.А.Мучник
М.И.Канович
1971
И.В.Альперович Илья Владимирович К устойчивости вероятностного автомата
А.А.Мучник
Е.К.Андреева О числе внутренней устойчивости некоторых степеней простых циклов
Ф.Я.Ветухновский
А.Г.Бабат Лев Георгиевич О независимости правил вывода групповых тождеств
д.ф.-м.н. С.И.Адян
Е.С.Бургина Парные грамматики и их свойства
А.А.Марков
И.Б.Бурдонов Игорь Борисович Изучение поведения автоматов на графах
Ф.Я.Ветухновский
А.Ю.Бяков О сложности реализации не всюду определенных булевых функций дизъюнктивными нормальными формами
О.Б.Лупанов
Я.Л.Василевский Ян-Павел Леонидович Об одной конструкции слабого замыкания
Ю.А.Шрейдер
А.А.Виткин Тьюрингова и нумерационная сводимости и рекурсивные операторы
д.ф.-м.н. В.А.Успенский
В.В.Вьюгин Владимир Вячеславович О некоторых свойствах вычислимых нумераций
д.ф.-м.н. В.А.Успенский
Г.К.Гаргов Георг Колев Аксиома выбора и гипотеза об измеримости множеств всех действительных чисел по Лебегу
д.ф.-м.н. В.А.Успенский
Г.К.Горшков О помехоустойчивости частичных булевских функций
В.И.Левенштейн
В.Н.Дудич Виктор Николаевич Синтез схем из переключающих контактов
О.Б.Лупанов
Е.В.Жукова Построение схемы, переставляющей входы, из переключательных элементов
С.В.Яблонский
В.Н.Захаров Виктор Николаевич О распознавании нерегулярных множеств на стековых автоматах
А.А.Мучник
А.М.Иглицкий Александр Михайлович Некоторые вопросы теории функциональности Карри
А.С.Кузичев
Н.Н.Каськов Николай Николаевич Исследование l-стабилизирующихся автоматов
В.Б.Кудрявцев
А.И.Козубов Александр Иванович Некоторые свойства дефинитных событий
к.ф.-м.н., доц. В.Б.Кудрявцев
В.А.Буевич
Ю.М.Коновалов Некоторые вопросы, связанные со спектрами (к проблеме представимости Шольца)
д.ф.-м.н. В.А.Успенский
С.Д.Кузнецов Групповая инвариантность булевых функций и их реализация схемами из функциональных элементов
О.Б.Лупанов
Ю.И.Куклин Юрий Иванович Двусторонние вероятностные автоматы
А.А.Мучник
М.К.Левитина О некоторых грамматиках с правилами глобальной подстановки
М.В.Ломковская
Л.Б.Медведовский Леонид Борисович Об автоматах, универсальных для некоторых классов конечных автоматов
В.Л.Мурский
М.П.Милов Михаил Петрович О минимизации программ, связанных с разрешением ограниченных алгорифмических проблем
Н.В.Петри
Е.В.Панкрац Евгений Васильевич Об аксиоматизируемости конечных суперинтуиционистских логик
к.ф.-м.н. А.Г.Драгалин
Н.А.Рахматулин Наэль Акрамович Сложность алгоритма перевода чисел из одной системы счисления в другую
А.А.Мучник
С.Ф.Сопрунов Сергей Федорович Формульность во вполне упорядоченных структурах
д.ф.-м.н. В.А.Успенский
В.И.Степанов О полных элементарных геометрических теориях
д.ф.-м.н. В.А.Успенский
В.Н.Туляева Виолетта Николаевна О сложности последовательности квазиразрешимых перечислимых множеств
Н.В.Петри
В.И.Тюхтин Виктор Иванович ???
?
Н.П.Черняховский Наум Пиневич Оценки сложности проблемы распознавания выводимости в исчислениях высказываний
Н.М.Нагорный
Л.С.Цирульников Методы формального определения грамматических категорий
Ю.А.Шрейдер
1970
Балла Катамин Реферат статьи Московакиса "Recursive..."
Н.М.Нагорный
К.П.Вершинин Об одном свойстве полупродуктивных множеств
д.ф.-м.н. В.А.Успенский
А.Н.Колодий О сведении двусторонних недетерминированных автоматов к автоматам Мура
А.А.Мучник
А.Н.Маслов Продукции и конечные автоматы
?
З.Х.Насыров Об устранениях сечений с i- и ε-термами
к.ф.-м.н. А.Г.Драгалин
В.Е.Плиско Вопросы рекурсивной реализуемости
д.ф.-м.н. В.А.Успенский
Е.В.Пущинский Один алгебраический инвариант для формальных языков
?
1969
А.П.Афанасенко О скобочных грамматиках
М.В.Ломковская
А.Ш.Малхасян Решение проблемы тождества для некоторого класса конечно-определенных групп
д.ф.-м.н. С.И.Адян
В.В.Наумов Построение функции, универсальной для класса E 2 Гжегорчика
С.С.Марченков
В.И.Филатов Оценки сложности распознавания контекстно-свободных языков машинами Тьюринга
В.А.Козмидиади
1968
И.З.Колтунов Грамматики типа 1 по Хомскому
М.В.Ломковская
С.А.Брозгул Некоторые теоретико-типовые подходы к обоснованию теории множеств
к.ф.-м.н. А.Г.Драгалин
И.П.Данилина Автомат на графах
?
Б.Д.Конев Построение граф-схемы, моделирующей работу нормальных алгорифмов
Н.М.Нагорный
Е.В.Крылова О различных подходах к определению стоимости кодирования
В.И.Левенштейн
Б.В.Алексеев Простые базисы и простые функции в k-значной логике
С.В.Яблонский
В.В.Борисов Простые примеры групп с неразрешимой проблемой тождества и неразрешимой проблемой сопряженности
д.ф.-м.н. С.И.Адян
И.Л.Ерохова Задача расшифровки конечного автомата
А.А.Мучник
М.А.Аппак О перечислимости некоторых свойств ассоциативных исчислений
Н.М.Нагорный
М.В.Афанасьев О языках, допускаемых k-головочными автоматами
В.А.Козмидиади
В.А.Литвинов Обзор работ, посвященных проблеме выводимости в конструктивном исчислении высказываний
В.П.Дулуб
А.Г.Максимов Определение максимальной сложности базиса в трехзначной логике
С.В.Яблонский
А.Поштару О реализации функций в реальное время на итеративных сетях
?
В.П.Романов Некоторые вопросы о возможностях итеративной сети и машины Тьюринга
?
Файси Чаба Сравнение рабочей зоны машины Тьюринга и машины Минского
А.А.Мучник
Ю.И.Фрид Алгорифмические вопросы, связанные с системами линейных уравнений
Б.А.Кушнер
Б.Шустер Некоторые вопросы теории постулатов
?
С.М.Якубович Аксиоматическая теория сходства
Ю.А.Шрейдер
1967
В.И.Малышенок Синтез контактных схем с небольшой долей размыкающих контактов
О.Б.Лупанов
В.А.Орлов Синтез вентильных схем
О.Б.Лупанов
К.Ф.Присакарь Синтез автономных схем, выдающих периодические последовательности
О.Б.Лупанов
С.А.Парноруцкая Об одном аналоге теоремы Генгье
Ю.А.Шрейдер
Н.Ф.Смирнова Распределение зарядов в вершинах единичного n-мерного куба, когда число зарядов равно 2n
С.В.Яблонский
1966
А.Г.Быков Каталог минимальных самокорректирующихся схем для функций трех переменных
?
Ф.Л.Варпаховский О нереализуемости дизъюнкции нереализуемых формул логики высказываний
?
Л.М.Гавриленко О функциях, вычислимых на k-головочных автоматах
В.А.Козмидиади
В.И.Кацнельсон Компилирующие системы с универсальными трансляторами
Ю.А.Шрейдер
М.М.Кипнис Михаил Маркович Об одном свойстве пропозициональных формул
Н.М.Нагорный
А.А.Кирилов Об одном методе построения кодов с исправлением одиночных ошибок в случае произвольного основания
В.И.Левенштейн
Д.Г.Лахути Делир Гасемович Автоматическая семантическая поисковая система
В.С.Чернявский
С.А.Никогосов Методы синтеза формальных нейронов и нейронных сетей
С.А.Яновская
Г.И.Сыркин Геннадий Иосифович Критерий справедливости теоремы перевода в теории нормальных алгорифмов
А.А.Марков
Данг-Зуй Руан О сложности реализации (n, m)-операторов классами схем из функциональных элементов
В.Б.Кудрявцев
В.М.Рабинович Владимир Михайлович Синтез самокорректирующихся контактных схем
С.В.Яблонский
Л.Е.Родионов Некоторые вопросы теории конечных автоматов
В.А.Козмидиади
М.М.Херц Исследование текста с помощью конкордансов
Ю.А.Шрейдер
Хоу Гуан Куня Построение минимальной ДНФ для некоторых классов не всюду определеннных функций алгебры логики
О.Б.Лупанов
1965
А.С.Бойцов Об аппроксимации алгоритмов конечными автоматами
С.А.Яновская
В.А.Буевич Построение некоторых универсальных ограниченно-детерминированных функций
В.Б.Кудрявцев
Д.Вентурини Построение максимальных линейных кодов с большим кодовым расстоянием
В.И.Левенштейн
Е.Н.Ефимова О свойствах лингвистических графов управления
Ю.А.Шрейдер
М.Я.Горячий О покрытии n-мерного куба полусферами
В.И.Левенштейн
Н.Н.Катериночкина О представлениях классов Гжегорчика
В.А.Козмидиади
В.К.Финн О понятии семантической когерентности предложения
С.А.Яновская
1964
С.Н.Сумароков О диофантовых предикатах
А.В.Кузнецов
А.А.Шумков Алгоритм перевода семантических таблиц Бета в линейный вывод натурального исчисления
С.А.Яновская
Э.А.Применко Изучение некоторых количественных характеристик конечных автоматов
С.В.Яблонский
1963
И.И.Вайнер Анализ и синтез однотактного блока умножения с использованием набора аэродинамических элементов
Н.Х.Ланцман
А.Г.Драгалин О логических языках
А.А.Марков
В.А.Душский Владимир Александрович О характеристических экспериментах с автоматами
В.А.Успенский
Ю.А.Крюков Минимизация алфавитов челночных алгоритмов
В.А.Успенский
Г.М.Маканин Новый разрешимый случай проблемы разрешения исчисления предикатов первой ступени
С.А.Яновская
А.К.Голев Некоторые вопросы языка (по Н.Хомскому)
В.А.Успенский
В.И.Фуксон Независимость континуум-гипотезы
А.А.Марков
1962
М.Е.Тылкин О свойствах метрики Хэмминга на единичных кубах
С.В.Яблонский
В.К.Титов О неразделимых и неплоских графах
?
Нгуен Хыу Нгы Ngu Huu Nguen Проблема разрешимости в исчислении одноместных предикатов И.И.Жегалкина
С.А.Яновская
1961
В.Д.Глимаков О методе символического решения проблемы разрешения для одного класса формул узкого исчисления предикатов первой ступени
С.А.Яновская
В.М.Гниденко Нахождение порядка предполных классов трехзначной логики
С.В.Яблонский
Е.Ю.Ногина Елена Юрьевна О непрерывности вычислимых отображений конструктивно метрических пространств
к.ф.-м.н. В.А.Успенский
Е.Д.Стоцкая О понятиях смысла и осмысленности Айдукевича
?
И.Х.Шмайн Об относительной непротиворечивости классических систем
А.С.Есенин-Вольпин
1960
Ю.М.Безбородова Теории действительного числа в свете теории рекурсивных функций
С.А.Яновская
М.Н.Вайнцвага О средней мощности схем из функциональных элементов
О.Б.Лупанов
В.В.Глаголев Построение тестов для блочных схем
С.В.Яблонский
В.С.Зильберман Расположение зарядов в вершинах единичного n-мерного куба
С.В.Яблонский
В.А.Ивницкий О повышении надежности схем
А.А.Мучник
А.Г.Крылов Проблема разрешения в логике LC
С.А.Яновская
М.В.Ломковская Мария Владимировна Вопросы построения языка как исчисления
к.ф.-м.н. В.А.Успенский
Б.А.Субботовская О сравнении базисов с точки зрения реализации в них функций алгебры логики
О.Б.Лупанов
О.Б.Нигоф Разрешающее дерево для формул узкого исчисления одноместных предикатов
С.А.Яновская
Ю.Г.Потапов К вопросу о синтезе самокорректирующихся схем для линейной функции
С.В.Яблонский
В.Резник О реализации монотонных функций схемами из функциональных элементов
О.Б.Лупанов
К.Сабиров О методе минимизирующих карт, описанном в книге «Синтез электронных вычислительных и управляющих схем»
Ю.И.Журавлёв
В.А.Флоринский Некоторые вопросы функционального исчисления первого порядка с равенством
В.С.Чернявский
1959
С.В. Алешина Некоторые свойства функциональных систем, связанных с автоматами
В.Б.Кудрявцев
А.П.Викулина Оценка числа конъюнкций в сокращенных ДНФ
С.В.Яблонский
Г.В.Казьмина Изучение суперпозиций ограниченно-детерминированных операторов
С.В.Яблонский
Н.А.Горбовицкая Эквивалентные преобразования некоторого типа автоматов
?
Г.П.Гаврилова Некоторые вопросы полноты и предполноты счетнозначной логики
С.В.Яблонский
В.В.Донченко Исчисление строгой импликации Аккермана
С.А.Яновская
В.Л.Мурский Об эквивалентных преобразованиях контактных схем
С.В.Яблонский
Ю.И.Хмелевский Аксиоматизация многозначных логик
к.ф.-м.н. В.А.Успенский
В.А.Янков Вадим Анатольевич О конструктивной задаче, связанной с формулами типа Джина – Роуза
А.А.Марков
В.С.Чернявский Владимир Соломонович О парадоксах математической логики и теории множеств
С.А.Яновская
1952
В.А.Успенский Владимир Андреевич Общее определение алгоритмической вычислимости и алгоритмической сводимости [ pdf ]
акад. А.Н.Колмогоров
П.С.Новиков
Неизвестен год
А.П.Гагарин О связи скорости продвижения границы зоны работы машины Тьюринга по периодичной ленте с периодичностью работы машины
?
Т.И.Коровина Составление при помощи машины алгоритма различения омонимии
д.ф.-м.н., проф. А.А.Ляпунов, к.ф.-м.н. О.С.Кулагина
М.В.Костикова Маргарита Владимировна Исчисления с конкатенацией
?
В.А.Осипова Проблемы тождества и сопряженности для конечно-определенных полугрупп
С.И.Адян
Ю.Н.Пак Ю. Нами Разложение линейных автономных автоматов
к.ф.-м.н., доц. В.Б.Кудрявцев
Б.Б.Приходько Борис Борисович Представление регулярных событий с одним знаком итерации конечными структурными автоматами
С.В.Алёшин
М.В.Хомяков Об определяющих последовательностях для автоматно-разрешимых множеств
В.С.Чернявский
Предположительно наши выпускники
(Информация взята с сайта выпускников мехмата.)
С.В.Тихонов Сергей В. 1999
?
М.В.Борисова Мария Владимировна 1996
?
М.Г.Иванов Михаил Георгиевич 1988
?
Т.Г.Василенко Тимур Геннадьевич 1987
?
Р.П.Герасимов 1986
?
И.Г.Пономарев Игорь Геннадьевич 1984
?
В.Г.Вавилов Валерий Геннадьевич 1983
?
А.Л.Дубинский Александр Львович 1976
?
М.Шейдвассер Михаил 1968
?
А.А.Брюханов Александр Александрович 1967
?
Н.В.Петри Николай Викторович 1966
?


Руководители (количество руководимых работ)

Адян Сергей Иванович
Алёшин Станислав Владимирович
Артёмов Сергей Николаевич
Бабенко Максим Александрович
Беклемишев Лев Дмитриевич
Бетелин Владимир Борисович
Верещагин Николай Константинович
Ветухновский Ф.Я.
Воронцов Константин Вячеславович
Грюнталь Андрей Игоревич
Драгалин Альберт Григорьевич
Дулуб Валерий Петрович
Есенин-Вольпин Александр Сергеевич
Журавлёв Юрий Иванович
Журин Д.В.
Калиниченко Леонид Андреевич
Кановей Владимир Григорьевич
Козмидиади Владимир Александрович
Колмогоров Андрей Николаевич
Крупский Владимир Николаевич
Кудрявцев Валерий Борисович
Кузичев Александр Сергеевич
Кузичева Зинаида Андреевна
Кузнецов Александр Владимирович
Кузнецов Степан Львович
Кулагина Ольга Сергеевна
Кушнер Борис Абрамович
Ланцман Н.Х.
Левенштейн Владимир Иосифович
Ломковская Мария Владимировна
Лупанов Олег Борисович
Лысёнок Игорь Геронтьевич
Любецкий Василий Александрович
Ляпунов Алексей Андреевич
Марков Андрей Андреевич (мл.)
Марченков Сергей Серафимович
Мурский В.Л.
Мучник Альберт Абрамович
Нагорный Николай Макарьевич
Ногина Елена Юрьевна
Пентус Мати Рейнович
Петри Николай Викторович
Плиско Валерий Егорович
Подколзин Александр Сергеевич
Подольский Владимир Владимирович
Разборов Александр Александрович
Ромащенко Андрей Евгеньевич
Семёнов Алексей Львович
Сухомлин Владимир Александрович
Успенский Владимир Андреевич
Чернявский Владимир Соломонович
Шапировский Илья Борисович
Шень Александр Ханевич
Шехтман Валентин Борисович
Шрейдер Юлий Анатольевич
Яблонский Сергей Всеволодович
Яворская Татьяна Леонидовна
Яворский Ростислав Эдуардович
Яновская Софья Александровна
Исправления и дополнения присылайте: ezolin [жучка] yandex.ru
(догадайтесь, какой знак поставить вместо жучки).
HTML 4.01   CSS 3