| На главную страницу | Английский вариант |
| Алаев Павел Евгеньевич (Новосибирск)
Вычислимость семейств суператомных булевых алгебр |
| Арсланов Марат Мирзаевич (Казань)
Критерии полноты для табличных сводимостей и колмогоровская сложность вычислений |
| Ашаев Игорь Викторович, Мавликасова Гульназ Чулпановна (Омск)
Об одном варианте Сигма-определимости алгебраических систем |
| Бадаев Серикжан Агыбаевич (Алматы, Казахстан)
Глобальные и локальные свойства полурешеток Роджерса арифметических нумераций |
| Березнюк Станислав Леонидович (Новосибирск) |
| Бузыкаева Анна Николаевна (Новосибирск) |
| Власов Владимир Николаевич (Новосибирск) |
| Гайлит Евгения Валерьевна (Новосибирск)
Моделирование пульсирующего процесса |
| Гайлит Михаил Владимирович (Новосибирск) |
| Ганов Валерий Александрович (Барнаул)
Обобщенно-конструктивное моделирование математических теорий |
| Гончаров Сергей Савостьянович (Новосибирск)
Инварианты в конструктивных моделях |
| Дзгоев Валерий Дмитриевич (Владикавказ) |
| Добрица Вячеслав Порфирьевич (Алматы, Казахстан)
Индексные множества в обобщенных нумерациях |
| Дроботун Борис Николаевич (Павлодар, Казахстан) |
| Ершов Юрий Леонидович (Новосибирск)
Хорошие локально-глобальные поля |
| Жерлов Александр Константинович (Иркутск)
Обратный вывод для некоторого класса позитивно образованных формул |
| Жуков Антон Владимирович (Новосибирск) |
| Калимуллин Искандер Шагитович (Казань)
Слабые представления частичных порядков |
| Касымканулы Борибай (Костанай, Казахстан) |
| Касымов Надимулла Хабибулаевич (Ташкент, Узбекистан)
Об универсальной определимости позитивных моделей |
| Когабаев Нурлан Талгатович (Новосибирск)
Конструктивные булевы алгебры с выделенными идеалами |
| Коровина Маргарита Владимировна (Дания), Кудинов Олег Викторович
(Новосибирск)
Вещественнозначная вычислимость |
| Корольков Юрий Дмитриевич (Иркутск)
Вычислимые семейства общерекурсивных функций |
| Косовский Николай Кириллович (Санкт-Петербург)
Two personal computer logics |
| Латкин Иван Васильевич, Латкина Людмила Петровна (Усть-Каменогорск,
Казахстан)
Теоретико-категорные свойства нумерованых алгебр Операторные алгоритмы Минского и алгоритмические проблемы. Одно условие конструктивизируемости нильпотентного произведения. |
| Морозов Андрей Сергеевич (Новосибирск)
Некоторые примеры Сигма-подмножеств натуральных чисел |
| Найт Джулия (Нотр-Дам, США)
Последовательности n-диаграмм (совместно с В. Харизановой и А.С. Морозовым) |
| Нис Андре (Чикаго, США)
Lowness properties of sets and randomness |
| Одинцов Сергей Павлович (Новосибирск) |
| Перязев Николай (Иркутск) |
| Подзоров Сергей Юрьевич (Новосибирск)
Строение полурешеток Роджерса арифметических нумераций |
| Приходовский Михаил Анатольевич (Томск)
T-кольца и T(R)-модули |
| Пузаренко Вадим Григорьевич (Новосибирск) |
| Ремесленников Владимир Никанорович (Омск)
Сложность алгоритмов комбинаторной теории групп |
| Рыбина Татьяна (Манчестер, Англия)
Верификация систем с бесконечным множеством состояний (совместно с А. Воронковым) |
| Садовой Григорий Степанович (Новосибирск)
Вычислимые автоморфизмы полей Галуа |
| Селиванов Виктор Львович (Новосибирск)
Позитивные модели |
| Солон Борис Яковлевич (Иваново)
Нетотальные степени перечислимости |
| Сорби Андреа (Сиена, Италия)
Полные нумерации и пополнения |
| Стукачев Алексей Ильич (Новосибирск) |
| Тусупов Джамал (Джамбул, Казахстан) |
| Хисамиев Асылхан Назифович (Новосибирск)
О верхней полурешетке Сигма-степеней |
| Хисамиев Назиф Гарифуллинович (Усть-Каменогорск, Казахстан) |
| Хусаинов Бахадыр Мамасадикович (Окленд, Новая Зеландия)
Некоторые проблемы Гончарова в теории конструктивных моделей |