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

Н.С.НикитенковИспользование конструкции каскада в построении примеров парадоксальных игр на социальных сетях

Н. Аларкон ЛопэсРазличные аксиоматизации фрагментов исчисления Ламбека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

М.А.АндреевАлгоритмическая размерность и случайность относительно классов мер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

И.М.СмуровПредынтерполянты и постинтерполянты в исчислении Ламбека без умноженияPre-interpolants and post-interpolants in the product-free Lambek calculus

А.Ю.ГусаковУпаковка звёзд

Д.А.КатаевФормальные модели экономических систем

В.В.КоротковАрхитектура и алгоритмы систем защиты видеоданных в IP-телевидении

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

С.Е.АлмазовСсылочная семантика для функциональной логики доказательств

В.Н.БрежневОператорные аналоги модальных логик

А.Г.КравцовРасширения многомерных временных логик

И.Г.РогожкинАнализ и интерпретация абстрактной семантики языка формальной спецификации Estelle на основе конструкции конечного расширенного автомата

М.Ю.СычёвРазработка поисковой системы в сети Интернет с элементами ассоциативного поиска и самообучения. Модель базы знаний на основе специального класса семантических сетей и алгоритмы поиска

Д.А.ШапироАрифметическая интерпретация логики доказательств для S5

С.П.ШишкоРазработка поисковой системы в сети Интернет с элементами ассоциативного поиска и самообучения. Формальная модель русского языка для анализа текстов при обработке документов и запросов пользователей

А.А.АкимовК теоремам Гёделя о неполноте

Ю.В.БаскаковРазработка методов тестирования конформности компиляторов стандартам современных языков программирования

Е.Н.БрюховМоделирование памяти с прямым доступом к информации в системе NuPRL. Реализация массивов

А.С.ВольфсонДва дополнения к понятию «Система синтаксических групп»

Д.Г.ДерягинСистемы перечислимых множеств и их нумерации

В.В.ЗамятинРасширение пропозициональных модальных логик считающими и помеченными модальностями

Ю.А.КалнишканНекоторые свойства сложностных классов в релятивизованных мирах

А.В.МкртычевРазрешимость некоторых вариантов логики доказательств Артёмова

А.Г.СалабаевЯзыки описания атрибутозначных структур

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

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

Е.Е.ЗолинОтносительная интерпретируемость модальных логик

А.Ю.НогинУлучшение эффективности доказательств в системе NuPRL

А.Е.РомащенкоНеравенства для колмогоровской и шенноновской энтропий

А.И.БарабашевКомпьютерное моделирование некоторого класса спортивных игр

Д.Е.ДавыдовРазработка методов и средств аттестации компиляторов на соответствие стандарту языка

А.П.КопыловВопросы разрешимости в линейной аффинной логике

С.Е.НарыжныйАлгоритмы унификации

В.У.НиязовПеренос теорем Ритта и Зайденберга со случая дифференциальных полей на случай коммутативных регулярных дифференциальных колец

С.Е.ПосицельскийСвойства конструктивных объектов, выразимые через колмогоровскую сложность

А.В.РыжовО конструктивности моделей в слабом смысле

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

В.Г.СучковИгры Улама и многозначные логики

В.А.ХаменяГенератор минимальных совершенных хеш-функций

А.В.БачуринНекоторые вопросы, связанные с понятием категории Бэра (реф)

В.В.ВербинРазработка спецификаций и создание мобильной ПРОЛОГ-системы на основе абстрактной машины логического вывода

А.Н.ГлушакТрансляция предикативных запросов к дедуктивным объектно-ориентированным базам знаний

П.В.ГусевЛогики линейного времени и их разрешимость

Д.А.ЗолотухинТриангуляция множества точек

М.В.ИстлентьевОб эффективности свойства гиперконечности

Б.Е.КазораРазработка и реализация компилятора для языка логических запросов дейталог (DataLog)

А.Н.КротовАлгоритмы реализации механизма классов объектно-ориентированного языка программирования C++

Е.МакаровN-ПРОЛОГ — расширение ПРОЛОГа с импликацией

М.В.ПатласовЗамкнутые в минимальном исчислении высказываний пропозициональные формулы

Г.А.ТурмухамбетоваО полиномиальной разрешимости в некоммутативной линейной логике

А.В.УсковИсследование методов реализации встраиваемого языка SQL

С.Е.ШалуновБорелевская аппроксимация над гиперконечным пространством

А.Е.ЦипляновРазработка и исчисление сетевых протоколов и сервисов на основе сетей Петри

Ю.Н.АлександровВырождение одномерных итеративных сетей

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

М.А.БеловНемонотонные логики

С.А.БуткоБесконечно работающие машины Тьюринга

А.Л.ГомолкоОтрицание как противоречие в логическом программировании

К.И.ПодгорновО структуре классов полиномиальной иерархии

Т.Л.СидонИнтерполяционное свойство Крейга в логиках с доказуемостной интерпретацией

Г.Р.ЧесаковВременные логики элементарных сетей Петри

А.В.ЧупринаЛогика сложности доказательств

М.Б.ШестаковЯзык программирования LISP как машинная реализация λ-исчисления

Р.Э.ЯворскийО доказуемостных расширениях теорий

К.Н.ИтченкоТеорема о нормальной форме для взаимодействующих грамматик

Н.О.КоротковаОптимизационные задачи и булевская иерархия сложностных классов

А.В.ТреховТеория моделей для исчисления Куайна и атомарная эквивалентность универсальных алгебр

М.П.ЦаковаАксиоматизация слабой арифметики второго порядка

А.Н.БабийНижние и верхние оценки сложности вероятностных разрешающих деревьев с двусторонней ошибкой

Х.Д.БалтаевСистема геометрического моделирования плазовых поверхностей

К.А.ВаньковРазработка системы и анализ синтеза трехмерного стереоскопического изображения на ЭВМ

А.Ф.ГалимовПостроение специализированной базы данных для систем геометрического моделирования

П.Г.НаумовМодальные логики второго порядка, имеющие доказуемостную интерпретацию

И.Б.НеволинТестирование полиэдрального ядра

М.Р.ПентусЭквивалентные типы в исчислении Ламбека и в линейной логике

Н.Л.ПоляковК проблеме распознавания бесквадратности данного слова относительно эквивалентности, заданной системой соотношений

А.А.ТарасенкоПолиэдральное ядро (Полиэдральное геометрическое ядро с оперативным хранением)

Е.В.ТополюкСамовыразимость в языках I порядка

К.Н.ИгнатьевЛогика Σ₁-интерпретируемости над арифметикой Пеано

А.Г.МаканинаПодгруппы группы автоморфизмов свободной группы

Н.А.МирО независимости систем аксиом пропозициональных модальных логик

В.В.ПетрушинаЗамкнутые формулы в бимодальной логике доказуемости

А.Н.ШайкинНекоторые результаты о вычислимости функции большинства на ветвящихся программах ограниченной ширины

Д.Г.НикитинО некоторых оценках в комбинаторной теории множеств

О.В.ВербицкийОптимальные алгоритмы для coNP-множеств и проблема Exp =^? NExp

А.А.ИванниковПроблема унификации термов в теории с одной коммутативностью

Л.Д.БеклемишевО классификации пропозициональных логик доказуемости

Д.В.СмирновИнформационные методы получения нижних оценок коммуникационной сложности

В.И.ДмитриевО подгруппах групп биекций бесконечных множеств, транзитивно действующих на множествах их два-разбиений

Л.Н.ЯблоковО компактности расширений логики первого порядка мощностными кванторами

К.Ю.ГорбуновОб одной алгоритмической проблеме из теории контекстно-свободных грамматик

Т.И.СтадниченкоО разрывных решениях некоторых функциональных уравнений

Г.В.ПоповаО конечно-определенных бесконечных простых группах

А.П.ЛисицаТождества в некоторых алгебрах 0-1 последовательностей

А.С.ФеткевичЛогики доказуемости с правилом усиления

С.Н.РазумовКритерий локальной табличности расширений логики доказуемости Гёделя – Лёба

Д.В.ВиноградовОб аналогах категории отношений на фиксированном объекте в произвольном топосе

Д.М.ГавриленкоДоказательная разработка компонент системы автоматизации проектирования (САПР) в машиностроении

М.А.МатвееваО решениях некоторых коммутаторных уравнений в группе кос

Ю.С.РыжиковаРазрешимость проблемы распознавания тождества в решётках линейных подпространств

П.И.СилаевРазрешимость элементарных теорий некоторых числовых структур

А.М.АкименковОбщее решение системы степенных уравнений в группе кос

Д.Н.БадеевАлгоритм нахождения расписания

В.БехтеревАлгоритм идентификации деревьев

А.В.МатевосянОб эффективизации некоторых понятий теории графов

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

А.А.РазборовНижние оценки монотонной сложности некоторых булевых функций

В.В.РыжиковОб автоморфизмах булевых алгебр, аппроксимируемых периодическими автоморфизмами

А.Г.СимкинО погружении теории типов в некоторую интуиционистскую теорию

А.Н.ШибинО грамматике Монтегю

Е.А.АсаринО понятии случайного объекта (сложностной подход)

А.П.ИнфановИсследование применимости исчислений λ-конверсии к задаче представления знаний фреймами

А.С.КоломлинО функционалах Московакиса и скорости их сходимости

И.Г.ЛысёнокСистема соотношений для группы Григорчука

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

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

И.А.МурсаловаЧисловые системы в альтернативной теории множеств

Л.И.ПанинаПриложения нестандартного анализа к теории рядов Фурье

И.Г.ПономарёвТеорема о средней секвенции в A₀-системе

Ф.М.СубханкуловаОб эргодических языках

Е.В.СулимРеализация на ЭВМ алгоритма распознавания равенства слов в полугруппе кос

И.А.ЧекмарёвСчётность неразличимых множеств в моделях теорий, имеющих порядок плотности 1

К.В.ШвачкоОценки неуниформных сложностей для некоторых комбинаторных задач

В.А.ШульпековИсследование применений дедуктивных расширений λ-исчислений к задаче представления значения фраз естественного языка

В.А.ФедосимовПсевдобулевозначная модель интуиционистской теории множеств

С.А.ГлазовАлгоритмы разрешимости некоторых систем модалной и пропозициональной логики

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

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

Е.А.АкылбековаО полноте и разрешимости некоторых программных логик

Е.Р.БайсаловНекоторые свойства параметризуемых множеств свободной полугруппы

Н.К.ВерещагинНекоторые алгоритмические проблемы для целочисленных матриц

Э.Г.БернгардтНекоторые вопросы теории моделей интуиционистской логики высказываний второго порядка

В.В.ГлушенкоПостроение A-универсальной функции с минимальными параметрами

С.Д.ЗахаровОб алгебре операторов перечисления

Е.М.ЗиньковскаяДоказательство непротиворечивости арифметики первого порядка в арифметике второго порядка

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

М.Г.КоробочкинаКомбинаторно полная система с равенством

Л.В.КостюковЛогически замкнутые классы отношений в арифметике следования целых чисел

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

О.А.ПалагинаО перечислимых векторных пространствах

Н.Н.РепинАлгоритмические вопросы для нильпотентных групп

А.А.РуденкоМодель Бета интуиционистского анализа

С.В.ШитяковаО вычислимых функционалах конечных типов

Ю.Ф.ЮшутинОб одном методе классификации плоских кривых

Л.Ф.ЧженАрифметика Пеано первого порядка с предикатом доказуемости в форме Россера

А.У.ЯунсилсОтносительная монадическая определимость арифметики через линейные функции

И.В.БезбородовО непротиворечивости аксиоматических теорий Куайна и Гёделя – Бернайса

А.К.ВолковИнтуиционистски корректное доказательство теоремы о полноте интуиционистской логики предикатов

А.Н.ГерасимовИерархии моделей нестандартного анализа

С.В.ЖигинасНекоторые вопросы теории свободных групп

Ф.Р.КашаповаФормализация одного конструктивного варианта теоремы Бирхгофа

В.Ю.КощеевМногократное тестирование бинарных таблиц

Л.Л.ЛобачёваВопросы полноты для линейных функций с задержками

М.К.МомыновНекоторые вопросы логики второго порядка

В.Н.ПеревозниковРеализация на ЭВМ алгоритма восстановления грамматики

А.В.АрзамаскинПонятие теории в F-системе комбинаторной логики

Е.С.БожичО равнонепротиворечивости теорий интуиционистского анализа

Е.Б.ВороновРазрешимость проблемы эквивалентности для одного класса контекстно-свободных грамматик

Ю.В.ГавриленкоМетод реализуемостей в интуиционистской арифметике

А.Е.ГнединаО сложности разрешения некоторых элементарных теорий

Н.Н.ДенисовКонечные множества в конструктивной математике

А.Г.ИвановТеоремы о временной иерархии для машин с произвольным доступом к памяти

А.А.КозловНекоторые теоремы из полувычислимого анализа

Ю.И.ОжиговРазрешимость одного фрагмента элементарной теории свободной некоммутативной группы

М.В.ПодмарьковО степенях выразимости в арифметике следования

С.Л.РуденкоО диофантовой сложности разрешимых множеств

И.В.СафроненковаПсевдобулевозначная модель теории множеств

П.И.СургучевРаспознавание равенства чисел в обобщенных системах счисления с помощью конечных автоматов

А.СухановО сложности вычислений на адресных машинах

А.А.ТверскойМетод индикаторов и неполнота некоторых вариантов формальной арифметики

Е.В.ФилатовТеория действительного числа Р.Дедекинда

А.Х.ШеньМетод приоритета и проблемы отделения

Н.В.ШтыреваО трансфинитных расширениях однокванторной арифметики

О.Л.ФедоткинаО некоторых элементарных теориях эквивалентностей

В.П.ВольныхО пропускной способности конечных автоматов

Н.М.ГусевО числе классов эквивалентности относительно экспериментов на множестве замкнутых классов автоматов

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

И.Н.СтецюкОтносительно S-определенных автоматов

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

В.Н.ГерасимовСложение чисел в фибоначчиевое системе счисления

В.И.ДовгальО полноте некоторых систем автоматов

А.В.АсадчийРазложение синхронных машин в синхронные и асинхронные подмашины и разложение булевых групповых функций и синтез многопоперечных каскадов

В.И.БартеневаСистема сложения векторов и метричные грамматики

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

В.А.ВасякинФормальная система интуиционистского анализа

В.А.ДубровскийАксиоматическая система Бурбаки

И.С.КазаковБимодальные логики для линейных упорядочений

А.В.ЛевкинО прогнозировани текущего состояния автомата

Г.Г.ЛыкосоваАлгоритмические свойства языков, порожденных исчислениями с конкатенацией

С.М.ФадинОб одном подходе к изучению некоторых свойств автоматов и о свойствах сильносвязных автоматов (реф)

Н.А.ХрулеваО сложности схем из пороговых элементов

Г.Ф.ШварцМатематическое исследование интуиционистской теории типов

С.А.БарсуковМодели Френкеля – Мостовского

Ю.Ф.БерёзкоКлассы языков, порождаемых программами с правилами-метками. Их связь с другими классами языков

М.С.БеспаловСложность реализации частичных булевых функций

Г.Л.ГамзатовНекоторые вопросы минимизации функций k-значной логики

С.Б.ГашковО синтезе схем и формул для булевых функций в базисах, элементы которых реализуют непрерывные функции

В.А.ДедовНекоторые вопросы исследования классической арифметики с трансфинитными выводами

Зойка ДитмарО расширении ступенчатой семантической системы

И.М.РабинПостроение интуиционистской арифметики без итерации импликаций

С.А.МешковАккермановская теория множеств

Мюллер ФранкАсимптотические оценки сложности реализации некоторых классов автоматов

Л.В.ПисарчукЕдинственность дерева вывода в некотором полуформальном исчислении

С.И.СпиридоновО шефферовых отношениях в k-значных коалгебрах Поста

С.Н.АртёмовНевыводимость некоторых утверждений о мощности в теории множеств Куайна

А.В.ВахрушевДоказательство одной теоремы Ю.Т. Медведева

В.Н.ГалаховОтносительно двух понятий эквивалентности автоматов

В.А.ЕвдокимовО конечных степенях формальных языков

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

В.Н.КрупскийРазрешение множеств алгорифмами с ограниченным временем работы

С.В.МарковОб обходах автоматами связных конфигураций

Л.В.МатвееваГлавные тип-схемы объектов комбинаторной логики

И.В.ПлатоновРаспознавание прямоугольных изображений

Д.П.СкворцовИнтерпретация пропозициональных формул посредством задач, основанная на теории рекурсивных функций

В.А.ТаймановО финитной разрешимости

В.Н.ТетеринИсследование некоторых свойств ассоциативных исчислений и бинарных отношений между ними

В.В.ФедуловСложность разрешения двухкванторных формул

В.Х.ХаханянВычислимые функции над бесконечными множествами

Г.Р.ХусаиноваПонятие пары в системе Бурбаки

Н.В.ЯкушкинаЛевосторонние грамматики с рассеянным контекстом

Э.М.АбрамовМакро-грамматики Фишера и грамматики над деревьями

И.Н.АшуровВыразительные возможности системы комбинаторной логики с операторами P и Π

В.А.ВершининК вопросу о наложимости конструктивных множеств с равенством

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Е.С.КривовНекоторые обобщения бесконтекстных и именных окрестностных грамматик

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

В.К.НиколаевО независимости правил вывода в S_ωN

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

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

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

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

Я.А.СорниковТеоремы о нормальной форме

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

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

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

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

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

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

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

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

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

Л.И.ЛокшинИзмеримость определимых множеств

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В.А.ОрловСинтез вентильных схем

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Л.Е.РодионовНекоторые вопросы теории конечных автоматов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

М.В.КостиковаИсчисления с конкатенацией

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

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

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

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

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

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

М.Г.Иванов1988

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

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

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

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

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

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

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

Н.В.Петри1966