На главную страницу Английский вариант

Участники Школы

Большинство выложенных тезисов доступны в формате PostScript. Вы можете взять здесь программу GhostScript для Windows, позволяющую смотреть PS-файлы

Программа GhostScript


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

 



Последнее изменение: 4 октября 2001