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

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


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

СТУДЕНТНАЗВАНИЕ ДИПЛОМНОЙ РАБОТЫTitle of the MSc Thesis

РУКОВОДИТЕЛИ
РЕЦЕНЗЕНТЫ

2020
А.В.ГоликовЗадача об онлайн-раскраске путей в дереве
A problem of online coloring of paths in a tree

Н.К.Верещагин
А.Н.Козачинский
Е.А.КарповаАтомарность в вариантах исчисления Ламбека
Atomicity in variants of the Lambek calculus

М.Р.Пентус
С.Л.Кузнецов
И.С.ПетренкоОб игре Гилмера — Коуцки — Сакса
On the Gilmer–Koucký–Saks game

Н.К.Верещагин
М.Н.Вялый
И.Г.РайкоКороткие списки с короткими программами
Short lists with short programs

Н.К.Верещагин
А.Шень
Н.А.ШульчевскаяЛокальные правила для апериодических семейств замощений плоскости треугольниками
Local rules for aperiodic tilings of the plane by triangles

Н.К.Верещагин
А.Е.Ромащенко

2019
А.А.АгеевСложность транзитивных булевых функций
Complexity of transitive Boolean functions

Л.Д.БеклемишевВ.В.Подольский
А.М.КозловаУстранение сечения и оценка сложности для интуиционистской логики уверенности
Cut elimination and complexity bound for intuitionistic logic of belief

В.Н.Крупский
М.Т.КосареваПредельные сложности вычислимых последовательностей и связанные комбинаторные задачи
Limit complexities of computable sequences and related combinatorial questions

Н.К.Верещагин
И.А.НикитинСравнение коммуникационных протоколов
Comparison of communication protocols

Н.К.Верещагин
С.В.ФельдшеровСовместное порождение случайных последовательностей
Distributed generation of random sequences

Н.К.Верещагин
Е.М,ФофановаАлгоритмическая разрешимость фрагмента исчисления Ламбека с экспоненциальной модальностью
Algorithmic decidability of a fragment of the Lambek calculus with exponential modality

С.Л.Кузнецов
Ю.В.Саватеев

2018
М.Б.АхмедовАлгоритмы поиска непересекающихся кратчайших путей
Algorithms for finding disjoint shortest paths

Н.К.Верещагин
М.А.Бабенко
И.Р.АхметсафинаПреобразование MA протоколов в AM протоколы
Converting MA-protocols into AM-protocols

Н.К.Верещагин
М.Н.Вялый
А.А.ВанунцОптимальные динамические механизмы
Optimal dynamic mechanisms

Н.К.Верещагин
А.Шень
А.В.ВиноградовТесты случайности и псевдослучайные числа: теория и практика
Tests of randomness and randomness extraction: theory and practice

Н.К.Верещагин
А.Шень
А.А.ЗапрягаевИнтерпретации арифметики Пресбургера в себе
Self-interpretations of Presburger arithmetic

Л.Д.Беклемишев
Ф.Н.Пахомов
Е.А.КленинКоммуникационные протоколы для вычисления расстояния Хэмминга
Communication protocols for Hamming distance

Н.К.Верещагин
А.Н.Козачинский
А.А.ОноприенкоСемантика типа Крипке для пропозициональной логики задач и высказываний
Kripke type semantics for a logic of problems and propositions

Л.Д.Беклемишев
С.А.Мелихов
В.Р.СаакянМатроидные ветвления в ориентированных графах
Matroid branchings in directed graphs

Н.К.Верещагин
М.А.Бабенко
Д.Р.ТкаченкоКоммуникационная сложность предиката «быть больше»
Communication complexity of the “greater than” predicate

Н.К.Верещагин
А.Н.Козачинский

2017
А.С.АлександроваИсчисление Ламбека с константой 0
The Lambek calculus with the constant 0

М.Р.Пентус
Н.В.Котляров
Д.М.ВеликановОб упаковке нечетных путей в неориентированных графах
Odd path packing in undirected graphs

М.А.Бабенко
И.И.Колесниченко
С.А.ГордиенкоСети доказательства для одного расширения исчисления Ламбека одноместной связкой
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

М.Р.Пентус
И.М.Смуров
Я.А.ЖебраковКороткие программы для префиксной колмогоровской сложности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

М.А.Бабенко
Ю.С.Макарычев
Т.В.СтепановГенерация случайных слов за ограниченное число раундов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
Н.В.ДубровскийАлгоритмы построения дерева видов

В.А.Любецкий
М.М.ЗубовЭлементарное доказательство критерия полной унимодулярности функций на булевом кубе

Н.К.Верещагин
М.А.КаменщиковМатематические основы языков программирования (к вопросу о парадоксах в теории множеств)

А.Х.Шень
А.В.КапустинНеразрешимость модальных логик между n и S5 n (реф)

В.Б.Шехтман
Н.В.КрупскийО сложности фрагментов логики доказательств LP

В.А.Успенский
А.М.МаренинаДоказательство разрешимости некоторых логических систем с реальным временем

В.Б.Шехтман
Д.А.НазаровРеалистичное моделирование и изображение растительности экосистемы

В.А.Сухомлин

2001
М.С.АгеевИгра Мартина: нижняя оценка числа множеств

А.Х.Шень
Н.И.АртамоноваПостроение дерева происхождения видов по деревьям происхождения генов

В.А.Любецкий
М.В.БольшаковРешение нонограмм

А.Х.Шень
О.Ю.ВаловПостроение алгоритмов планирования в системах интеграции разнородных данных

В.А.Сухомлин
Д.А.ГолубенцевАвтоматический поиск доказательств в исчислении предикатов 1-го порядка

В.Н.Крупский
А.Б.ЗильберФинитная аппроксимируемость и конечная аксиоматизируемость некоторых логик с универсальной модальностью

В.Б.Шехтман
Е.В.ИлюшкинаО соотношении между размерностью и степенью неоднозначности контекстно-свободных языков

М.Р.Пентус
Д.Е.КорочкинИсчисление Ламбека и языки деревьев

М.Р.Пентус
А.В.КудиновО модальных операторах неравенства в топологических пространствах

В.Б.Шехтман
Л.А.МакаревичВерификация унификационных алгоритмов

В.Н.Крупский
К.С.МакарычевЛогические вопросы передачи информации

А.Х.Шень
Ю.С.МакарычевУсловно независимые случайные величины и общая информация

А.Х.Шень
М.Н.Вялый
В.А.МининаПолнота синтаксического исчисления Ламбека с операцией инволюции

М.Р.Пентус
Н.А.НовакУнификация термов с ленивым преобразованием данных

В.А.СухомлинВ.Н.Крупский
Д.А.ТупицынаАлгоритмы для конечно-порожденных подгрупп свободной группы

И.Г.Лысёнок
П.Б.ЧекинИсследование алгебры запросов XML как формального базиса для построения языков запросов информационных ресурсов

В.А.Сухомлин
С.П.ШлепаковЗадачи унификации и функциональные уравнения в свободных алгебрах

В.Н.Крупский

2000
М.В.АлехновичПсевдослучайные генераторы для пропозициональных систем доказательств

А.А.Разборов
В.И.БеровПроблемы поглощения типов и включения запросов в языке СИНТЕЗ

Л.А.КалиниченкоВ.А.Сухомлин
М.В.ВьюгинИнформационное расстояние и условные сложности

Н.К.Верещагин
А.Е.ГорюноваАрифметика Пресбургера с конструктивной семантикой

В.Е.Плиско
А.П.ДейнекаНеразрешимость некоторых конструктивных теорий

В.Е.Плиско
Д.М.КирноценскийСреда для грамматических архиваторов

М.Р.Пентус
Р.М.КузнецО сложности операторных модальных логик

В.А.Успенский
Р.Ю.РоговМетод алгоритмического построения абстрактных тестовых наборов в нотации TTCN по формальным спецификациям сетевых протоколов

В.А.Сухомлин
С.А.СлавновТопологическая полнота логик S4S4FS4C

С.Н.АртёмовВ.Н.Крупский
С.А.СтупниковФормальный язык спецификации процессов, ориентированный на использование аппарата уточнения для композиционного проектирования потоков работ

В.А.СухомлинЛ.А.Калиниченко
О.М.УрюпинаОб автоматическом разбиении на морфемы

М.Р.Пентус
А.В.ЧерновОбщая и взаимная информация пары двоичных слов

Н.К.Верещагин

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 и Π

А.С.Кузичев
Л.В.Шабунин
В.А.ВершининК вопросу о наложимости конструктивных множеств с равенством

А.А.Марков
А.Г.ДалалянПредставление группы Новикова с неразрешимой проблемой тождества в виде свободного произведения с объединенной подгруппой двух групп с разрешимыми проблемами тождества

С.И.Адян
В.В.Борисов
М.В.ЕреминОценки числа состояний недетерминированных конечных автоматов

А.А.Марков
С.М.ИвановАлгебраические свойства некоторых классов эффективных действительных чисел

В.А.Успенский
М.А.КаминскийО нестандартных связках интуиционистской логики

А.Г.Драгалин
М.А.РойшбергСхемы конечных автоматов

А.А.Марков
И.Л.СоринО нестандартной рекурсивной модели арифметики Пресбургера

А.Г.Драгалин
А.М.Левин
М.А.ТёмкинТеории конструкций для арифметики и анализа

А.Г.Драгалин
А.А.ШумНекоторые примеры обыкновенных исчислений высказываний

В.А.Успенский
С.В.Сопрунов

1973
В.Н.БачеговПостроение модели теории множеств с собственным классом, являющимся бесконечной убывающей цепочкой

А.Г.Драгалин
И.И.ГасановРазрешимость теории равенства

А.Г.Драгалин
Я.М.ДругушЗаметки по нестандартной топологии

В.А.Успенский
В.Г.ЖаровО сложности членов конструктивных последовательностей машин Тьюринга

Н.М.Нагорный
В.Г.ИльичёвПостроение сильной нестандартной модели теории множеств методом спектра над возвратным переменным ультрафильтром, в которой каждый предельный ординал имеет тип упорядочения

А.Г.Драгалин
Н.Н.Непейвода
И.Г.ИштокинаО реализации не всюду определенных функций алгебры логики π-схемами

О.Б.Лупанов
В.Г.КановейО мощности баз ультрафильтров на алгебре подмножеств натурального ряда

В.А.Успенский
В.Н.Гришин
Е.С.КривовНекоторые обобщения бесконтекстных и именных окрестностных грамматик

М.В.Ломковская
А.М.ЛевинИнтуиционистский анализ и закон исключеннного третьего

А.Г.Драгалин
В.К.НиколаевО независимости правил вывода в SωN

А.А.Марков
В.В.Гимон
С.В.ПетровРаспознавание бесконтекстных языков недетерминированными многоголовочными автоматами

А.А.Мучник
Л.М.ПинскийЗапись машины Тьюринга на языке CUCH

А.А.Марков
Р.К.ПранкО сложности членов конструктивных последовательностей арифметических множеств

Н.М.Нагорный
С.К.СоболевИнтуиционистская прототетика и ее модели

А.Г.Драгалин
С.И.Адян
Я.А.СорниковТеоремы о нормальной форме

А.Г.Драгалин
В.С.ФилоненкоУскоряемое вычисление с гарантированной верхней оценкой

Н.В.Петри
Ф.Ф.ХимушинО принципе максимума для конструктивных гармонических функций

Б.А.Кушнер
С.Н.ШакуовОценки сложности вычислений общерекурсивных предикатов

А.А.Марков
Т.А.ШидловскаяО реализации монотонных функций с небольшим числом конъюнкций в сокращенной ДНФ π-схемами из замыкающих контактов

О.Б.Лупанов

1972
В.А.ВарданянО некоторых моделях арифметики

В.А.Успенский
М.А.ЗайцевО некоторых задачах, связанных с проблемой изоморфизма графов

Ф.Я.Ветухновский
Е.Д.ЗахаровОб экспериментах с автоматами Мура

С.В.Яблонский
О.М.КарпиловаИнтерпретация интуиционистской арифметики в теории конструкций Скотта

А.Г.Драгалин
Н.Н.Непейвода
М.Д.КрольТопологическая интерпретация интуиционистских теорий

А.Г.Драгалин
Н.Н.Непейвода
Л.И.ЛокшинИзмеримость определимых множеств

А.Г.Драгалин
Н.Н.Непейвода
А.В.НарышкинПериодические нормальные алгорифмы

А.А.Марков
М.И.Канович
Г.У.ОганесянПроблема тождества для одного класса полугрупп с одним определяющим соотношением

С.И.Адян
И.А.ПокровскаяО представлении событий в вероятностных автоматах

О.Б.Лупанов
С.И.РойзенТипы рекурсивной и автоматной эквивалентности

А.А.Мучник
А.Л.СемёновАлгоритмические проблемы для формальных степенных рядов и контекстно-свободных грамматик

А.А.Мучник
Н.А.ТаймановаОценки сложности схем специального вида для некоторых функций

О.Б.Лупанов
В.Н.Дудич
И.В.УльрихПостроение S-обобщенного нормального алгорифма, универсального для S-обобщенных нормальных алгорифмов в m-буквенном алфавите, имеющего сложность 2m + C

А.А.Марков
С.К.ХрамшинО сложности симметрических нормальных алгорифмов

Н.М.Нагорный
В.С.ШевяковВыполнимость формул узкого исчисления предикатов в конструктивных (вычислимых) моделях

А.А.Мучник
М.И.Канович

1971
И.В.АльперовичК устойчивости вероятностного автомата

А.А.Мучник
Е.К.АндрееваО числе внутренней устойчивости некоторых степеней простых циклов

Ф.Я.Ветухновский
А.Г.БабатО независимости правил вывода групповых тождеств

С.И.Адян
Е.С.БургинаПарные грамматики и их свойства

А.А.Марков
И.Б.БурдоновИзучение поведения автоматов на графах

Ф.Я.Ветухновский
А.Ю.БяковО сложности реализации не всюду определенных булевых функций дизъюнктивными нормальными формами

О.Б.Лупанов
Я.Л.ВасилевскийОб одной конструкции слабого замыкания

Ю.А.Шрейдер
А.А.ВиткинТьюрингова и нумерационная сводимости и рекурсивные операторы

В.А.Успенский
В.В.ВьюгинО некоторых свойствах вычислимых нумераций

В.А.Успенский
Г.К.ГарговАксиома выбора и гипотеза об измеримости множеств всех действительных чисел по Лебегу

В.А.Успенский
Г.К.ГоршковО помехоустойчивости частичных булевских функций

В.И.Левенштейн
В.Н.ДудичСинтез схем из переключающих контактов

О.Б.Лупанов
Е.В.ЖуковаПостроение схемы, переставляющей входы, из переключательных элементов

С.В.Яблонский
В.Н.ЗахаровО распознавании нерегулярных множеств на стековых автоматах

А.А.Мучник
А.М.ИглицкийНекоторые вопросы теории функциональности Карри

А.С.Кузичев
Н.Н.КаськовИсследование l-стабилизирующихся автоматов

В.Б.Кудрявцев
А.И.КозубовНекоторые свойства дефинитных событий

В.Б.Кудрявцев
В.А.Буевич
Ю.М.КоноваловНекоторые вопросы, связанные со спектрами (к проблеме представимости Шольца)

В.А.Успенский
С.Д.КузнецовГрупповая инвариантность булевых функций и их реализация схемами из функциональных элементов

О.Б.Лупанов
Ю.И.КуклинДвусторонние вероятностные автоматы

А.А.Мучник
М.К.ЛевитинаО некоторых грамматиках с правилами глобальной подстановки

М.В.Ломковская
Л.Б.МедведовскийОб автоматах, универсальных для некоторых классов конечных автоматов

В.Л.Мурский
М.П.МиловО минимизации программ, связанных с разрешением ограниченных алгорифмических проблем

Н.В.Петри
Е.В.ПанкрацОб аксиоматизируемости конечных суперинтуиционистских логик

А.Г.Драгалин
Н.А.РахматулинСложность алгоритма перевода чисел из одной системы счисления в другую

А.А.Мучник
С.Ф.СопруновФормульность во вполне упорядоченных структурах

В.А.Успенский
В.И.СтепановО полных элементарных геометрических теориях

В.А.Успенский
В.Н.ТуляеваО сложности последовательности квазиразрешимых перечислимых множеств

Н.В.Петри
В.И.ТюхтинО сложности распознавания эквивалентности в ассоциативных исчислениях

Н.М.Нагорный
Н.В.Петри
Н.П.ЧерняховскийОценки сложности проблемы распознавания выводимости в исчислениях высказываний

Н.М.Нагорный
Л.С.ЦирульниковМетоды формального определения грамматических категорий

Ю.А.Шрейдер

1970
Балла КатаминРеферат статьи Московакиса «Recursive…»

Н.М.Нагорный
К.П.ВершининОб одном свойстве полупродуктивных множеств

В.А.Успенский
А.Н.КолодийО сведении двусторонних недетерминированных автоматов к автоматам Мура

А.А.Мучник
А.Н.МасловПродукции и конечные автоматы

?
З.Х.НасыровОб устранениях сечений с i— и ε-термами

А.Г.Драгалин
В.Е.ПлискоВопросы рекурсивной реализуемости

В.А.Успенский
Е.В.ПущинскийОдин алгебраический инвариант для формальных языков

?

1969
А.П.АфанасенкоО скобочных грамматиках

М.В.Ломковская
А.Ш.МалхасянРешение проблемы тождества для некоторого класса конечно-определенных групп

С.И.Адян
В.В.НаумовПостроение функции, универсальной для класса 2 Гжегорчика

С.С.Марченков
В.И.ФилатовОценки сложности распознавания контекстно-свободных языков машинами Тьюринга

В.А.Козмидиади

1968
И.З.КолтуновГрамматики типа 1 по Хомскому

М.В.Ломковская
С.А.БрозгулНекоторые теоретико-типовые подходы к обоснованию теории множеств

А.Г.Драгалин
И.П.ДанилинаАвтомат на графах

?
Б.Д.КоневПостроение граф-схемы, моделирующей работу нормальных алгорифмов

Н.М.Нагорный
Е.В.КрыловаО различных подходах к определению стоимости кодирования

В.И.Левенштейн
Б.В.АлексеевПростые базисы и простые функции в k-значной логике

С.В.Яблонский
В.В.БорисовПростые примеры групп с неразрешимой проблемой тождества и неразрешимой проблемой сопряженности

С.И.Адян
И.Л.ЕроховаЗадача расшифровки конечного автомата

А.А.Мучник
М.А.АппакО перечислимости некоторых свойств ассоциативных исчислений

Н.М.Нагорный
М.В.АфанасьевО языках, допускаемых k-головочными автоматами

В.А.Козмидиади
В.А.ЛитвиновОбзор работ, посвященных проблеме выводимости в конструктивном исчислении высказываний

В.П.Дулуб
А.Г.МаксимовОпределение максимальной сложности базиса в трехзначной логике

С.В.Яблонский
А.ПоштаруО реализации функций в реальное время на итеративных сетях

?
В.П.РомановНекоторые вопросы о возможностях итеративной сети и машины Тьюринга

?
Файси ЧабаСравнение рабочей зоны машины Тьюринга и машины Минского

А.А.Мучник
Ю.И.ФридАлгорифмические вопросы, связанные с системами линейных уравнений

Б.А.Кушнер
Б.ШустерНекоторые вопросы теории постулатов

?
С.М.ЯкубовичАксиоматическая теория сходства

Ю.А.Шрейдер

1967
В.И.МалышенокСинтез контактных схем с небольшой долей размыкающих контактов

О.Б.Лупанов
В.А.ОрловСинтез вентильных схем

О.Б.Лупанов
К.Ф.ПрисакарьСинтез автономных схем, выдающих периодические последовательности

О.Б.Лупанов
С.А.ПарноруцкаяОб одном аналоге теоремы Генгье

Ю.А.Шрейдер
Н.Ф.СмирноваРаспределение зарядов в вершинах единичного n-мерного куба, когда число зарядов равно 2n

С.В.Яблонский

1966
А.Г.БыковКаталог минимальных самокорректирующихся схем для функций трех переменных

?
Ф.Л.ВарпаховскийО нереализуемости дизъюнкции нереализуемых формул логики высказываний

?
Л.М.ГавриленкоО функциях, вычислимых на k-головочных автоматах

В.А.Козмидиади
В.И.КацнельсонКомпилирующие системы с универсальными трансляторами

Ю.А.Шрейдер
М.М.КипнисОб одном свойстве пропозициональных формул

Н.М.Нагорный
А.А.КириловОб одном методе построения кодов с исправлением одиночных ошибок в случае произвольного основания

В.И.Левенштейн
Д.Г.ЛахутиАвтоматическая семантическая поисковая система

В.С.Чернявский
С.А.НикогосовМетоды синтеза формальных нейронов и нейронных сетей

С.А.Яновская
Г.И.СыркинКритерий справедливости теоремы перевода в теории нормальных алгорифмов

А.А.Марков
Данг-Зуй РуанО сложности реализации (nm)-операторов классами схем из функциональных элементов

В.Б.Кудрявцев
В.М.РабиновичСинтез самокорректирующихся контактных схем

С.В.Яблонский
Л.Е.РодионовНекоторые вопросы теории конечных автоматов

В.А.Козмидиади
М.М.ХерцИсследование текста с помощью конкордансов

Ю.А.Шрейдер
Хоу Гуан КуняПостроение минимальной ДНФ для некоторых классов не всюду определеннных функций алгебры логики

О.Б.Лупанов

1965
А.С.БойцовОб аппроксимации алгоритмов конечными автоматами

С.А.Яновская
В.А.БуевичПостроение некоторых универсальных ограниченно-детерминированных функций

В.Б.Кудрявцев
Д.ВентуриниПостроение максимальных линейных кодов с большим кодовым расстоянием

В.И.Левенштейн
Е.Н.ЕфимоваО свойствах лингвистических графов управления

Ю.А.Шрейдер
М.Я.ГорячийО покрытии n-мерного куба полусферами

В.И.Левенштейн
Н.Н.КатериночкинаО представлениях классов Гжегорчика

В.А.Козмидиади
В.К.ФиннО понятии семантической когерентности предложения

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

1964
С.Н.СумароковО диофантовых предикатах

А.В.Кузнецов
А.А.ШумковАлгоритм перевода семантических таблиц Бета в линейный вывод натурального исчисления

С.А.Яновская
Э.А.ПрименкоИзучение некоторых количественных характеристик конечных автоматов

С.В.Яблонский

1963
И.И.ВайнерАнализ и синтез однотактного блока умножения с использованием набора аэродинамических элементов

Н.Х.Ланцман
А.Г.ДрагалинО логических языках

А.А.Марков
В.А.ДушскийО характеристических экспериментах с автоматами

В.А.Успенский
Ю.А.КрюковМинимизация алфавитов челночных алгоритмов

В.А.Успенский
Г.С.МаканинНовый разрешимый случай проблемы разрешения исчисления предикатов первой ступени

С.А.Яновская
А.К.ГолевНекоторые вопросы языка (по Н.Хомскому)

В.А.Успенский
В.И.ФуксонНезависимость континуум-гипотезы

А.А.Марков

1962
Нгуен Хыу НгыПроблема разрешимости в исчислении одноместных предикатов И.И.Жегалкина

С.А.Яновская
Е.Ю.НогинаО непрерывности вычислимых отображений конструктивно метрических пространств

В.А.Успенский
В.К.ТитовО неразделимых и неплоских графах

?
М.Е.ТылкинО свойствах метрики Хэмминга на единичных кубах

С.В.Яблонский

1961
В.Д.ГлимаковО методе символического решения проблемы разрешения для одного класса формул узкого исчисления предикатов первой ступени

С.А.Яновская
В.М.ГниденкоНахождение порядка предполных классов трехзначной логики

С.В.Яблонский
Е.Д.СтоцкаяО понятиях смысла и осмысленности Айдукевича

?
И.Х.ШмайнОб относительной непротиворечивости классических систем

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

1960
Ю.М.БезбородоваТеории действительного числа в свете теории рекурсивных функций

С.А.Яновская
М.Н.ВайнцвагаО средней мощности схем из функциональных элементов

О.Б.Лупанов
В.В.ГлаголевПостроение тестов для блочных схем

С.В.Яблонский
В.С.ЗильберманРасположение зарядов в вершинах единичного n-мерного куба

С.В.Яблонский
В.А.ИвницкийО повышении надежности схем

А.А.Мучник
А.Г.КрыловПроблема разрешения в логике LC

С.А.Яновская
М.В.ЛомковскаяВопросы построения языка как исчисления

В.А.Успенский
Б.А.СубботовскаяО сравнении базисов с точки зрения реализации в них функций алгебры логики

О.Б.Лупанов
О.Б.НигофРазрешающее дерево для формул узкого исчисления одноместных предикатов

С.А.Яновская
Ю.Г.ПотаповК вопросу о синтезе самокорректирующихся схем для линейной функции

С.В.Яблонский
В.РезникО реализации монотонных функций схемами из функциональных элементов

О.Б.Лупанов
К.СабировО методе минимизирующих карт, описанном в книге «Синтез электронных вычислительных и управляющих схем»

Ю.И.Журавлёв
В.А.ФлоринскийНекоторые вопросы функционального исчисления первого порядка с равенством

В.С.Чернявский

1959
С.В. АлешинаНекоторые свойства функциональных систем, связанных с автоматами

В.Б.Кудрявцев
А.П.ВикулинаОценка числа конъюнкций в сокращенных ДНФ

С.В.Яблонский
Г.В.КазьминаИзучение суперпозиций ограниченно-детерминированных операторов

С.В.Яблонский
Н.А.ГорбовицкаяЭквивалентные преобразования некоторого типа автоматов

?
Г.П.ГавриловаНекоторые вопросы полноты и предполноты счетнозначной логики

С.В.Яблонский
В.В.ДонченкоИсчисление строгой импликации Аккермана

С.А.Яновская
В.Л.МурскийОб эквивалентных преобразованиях контактных схем

С.В.Яблонский
Ю.И.ХмелевскийАксиоматизация многозначных логик

В.А.Успенский
В.А.ЯнковО конструктивной задаче, связанной с формулами типа Джина – Роуза

А.А.Марков
В.С.ЧернявскийО парадоксах математической логики и теории множеств

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

1952
В.А.УспенскийОбщее определение алгоритмической вычислимости и алгоритмической сводимости [ pdf ]

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

Неизвестен год
А.П.ГагаринО связи скорости продвижения границы зоны работы машины Тьюринга по периодичной ленте с периодичностью работы машины

?
Т.И.КоровинаСоставление при помощи машины алгоритма различения омонимии

А.А.ЛяпуновО.С.Кулагина
М.В.КостиковаИсчисления с конкатенацией

?
В.А.ОсиповаПроблемы тождества и сопряженности для конечно-определенных полугрупп

С.И.Адян
Ю.Н.ПакРазложение линейных автономных автоматов

В.Б.Кудрявцев
Б.Б.ПриходькоПредставление регулярных событий с одним знаком итерации конечными структурными автоматами

С.В.Алёшин
М.В.ХомяковОб определяющих последовательностях для автоматно-разрешимых множеств

В.С.Чернявский

Предположительно наши выпускники

(Информация взята с сайта выпускников мехмата.)

С.В.Тихонов1999

?
М.В.Борисова1996

?
М.Г.Иванов1988

?
Т.Г.Василенко1987

?
Р.П.Герасимов1986

?
И.Г.Пономарев1984

?
В.Г.Вавилов1983

?
А.Л.Дубинский1976

?
М.Шейдвассер1968

?
А.А.Брюханов1967

?
Н.В.Петри1966

?

 


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

Адян Сергей Иванович (26)
Алёшин Станислав Владимирович (7)
Артёмов Сергей Николаевич (28)
Бабенко Максим Александрович (14)
Беклемишев Лев Дмитриевич (10)
Бетелин Владимир Борисович (1)
Верещагин Николай Константинович (79)
Ветухновский Ф.Я. (3)
Воронцов Константин Вячеславович (2)
Грюнталь Андрей Игоревич (5)
Драгалин Альберт Григорьевич (41)
Дулуб Валерий Петрович (1)
Есенин-Вольпин Александр Сергеевич (1)
Журавлёв Юрий Иванович (1)
Журин Д.В. (1)
Калиниченко Леонид Андреевич (4)
Кановей Владимир Григорьевич (4)
Козмидиади Владимир Александрович (5)
Колмогоров Андрей Николаевич (2)
Крупский Владимир Николаевич (18)
Кудрявцев Валерий Борисович (16)
Кузичев Александр Сергеевич (12)
Кузичева Зинаида Андреевна (2)
Кузнецов Александр Владимирович (1)
Кузнецов Степан Львович (4)
Кулагина Ольга Сергеевна (1)
Кушнер Борис Абрамович (2)
Ланцман Н.Х. (1)
Левенштейн Владимир Иосифович (5)
Ломковская Мария Владимировна (9)
Лупанов Олег Борисович (17)
Лысёнок Игорь Геронтьевич (2)
Любецкий Василий Александрович (12)
Ляпунов Алексей Андреевич (1)
Марков Андрей Андреевич (мл.) (17)
Марченков Сергей Серафимович (1)
Мурский В.Л. (1)
Мучник Альберт Абрамович (12)
Нагорный Николай Макарьевич (11)
Ногина Елена Юрьевна (12)
Пентус Мати Рейнович (22)
Петри Николай Викторович (3)
Плиско Валерий Егорович (9)
Подколзин Александр Сергеевич (1)
Подольский Владимир Владимирович (2)
Разборов Александр Александрович (2)
Ромащенко Андрей Евгеньевич (1)
Семёнов Алексей Львович (25)
Сухомлин Владимир Александрович (22)
Успенский Владимир Андреевич (57)
Чернявский Владимир Соломонович (3)
Шапировский Илья Борисович (2)
Шень Александр Ханевич (20)
Шехтман Валентин Борисович (26)
Шрейдер Юлий Анатольевич (7)
Яблонский Сергей Всеволодович (16)
Яворская Татьяна Леонидовна (6)
Яворский Ростислав Эдуардович (12)
Яновская Софья Александровна (12)