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