Школа "Вычислимость и модели"

Алматы, Казахстан, 24-28 июня 2002 г.


ПРОГРАММА

24 июня, понедельник
830 - 915 Регистрация участников - Институт математики, аудитория 309
915 - 925 Открытие школы - Институт математики, аудитория 306
24 июня, понедельник, Институт математики, аудитория 306
Утреннее заседание. Председательствующий - проф. С.А.Бадаев
930 - 1020 Сергей Савостьянович Гончаров (Россия), Вычислимость и автоустойчивость
1020 - 1040 Кофе-брэйк
1040 - 1130 Julia Knight (USA), Isomorphism Problems
1140 - 1230 Dieter Spreen (Germany),  On the Effective Continuity of Effective Multifunctions
24 июня, понедельник, Институт математики, аудитория 306
Послеобеденное заседание. Председательствующий - проф. М.М.Арсланов
1430 - 1500 Павел Евгеньевич Алаев (Россия), Вычислимые однородные булевы алгебры
1510 - 1530 Куаныш Аблаевич Мейрембеков (Казахстан), Функция Рыль-Нардзевского счетно категоричных теорий
1530 - 1550 Кофе-брэйк
1550 - 1605 Асылхан Назифович Хисамиев (Россия), Условия вычислимой вложимости и степени абелевых групп и булевых алгебр
1610 - 1625 Екатерина Борисовна Фокина (Россия), О степенях несчетно категоричных моделей с вычислимыми моделями
1630 - 1645 Ержан Рахметтоллаевич Байсалов (Казахстан), О гипотезе Эрдеша-Вудса
25 июня, вторник, Институт математики, аудитория 306
Утреннее заседание. Председательствующий - проф. S.B.Cooper
930 - 1020 John Case (USA), A Computability-Theoretic Learning Theory Sampler
1020 - 1040 Кофе-брэйк
1040 - 1130 Frank Stephan (Germany), Learning Classes of Approximations to Non-Recursive Functions
1140 - 1230 Искандер Шагитович Калимуллин (Россия), Оператор скачка определим в степенях по перечислимости
25 июня, вторник, Институт математики, аудитория 306
Послеобеденное заседание. Председательствующий - проф. J.Knight
1430 - 1520 Марат Мирзаевич Арсланов (Россия), В.п. и n-в.п. степени и степени без неподвижных точек
1520 - 1540 Кофе-брэйк
1540 - 1555 Назиф Гарифуллинович Хисамиев (Казахстан), Виталий Анатольевич Романьков (Россия), Конструктивные матричные и упорядоченные группы
1600 - 1615 Анна Валерьевна Ромина (Казахстан), Автоустойчивость моделей в допустимых множествах
1620 - 1635 Джамалбек Алиаскарович Тусупов (Казахстан), Обобщенная вычислимость на счетных булевых алгебрах
1640 - 1655 Пердебек Досанбай (Казахстан), Определимость в арифметических структурах
27 июня, четверг, Институт математики, аудитория 306
Утреннее заседание. Председательствующий - проф. Yang Yue
930 - 1020 Klaus Keimel (Germany), Domain theoretical models for probability and measure
1020 - 1040 Кофе-брэйк
1040 - 1130 Серикжан Агыбаевич Бадаев (Казахстан), Арифметические нумерации
1140 - 1230
27 июня, четверг, Институт математики, аудитория 306
Послеобеденное заседание. Председательствующий - проф. М.Г.Перетятькин
1430 - 1450 Вячеслав Порфирьевич Добрица (Казахстан), О предельно конструктивных моделях
1500 - 1520 Павел Михайлович Семухин (Россия), Спектр идеала безатомных элементов
1520 - 1540 Кофе-брэйк
1540 - 1555 Абыз Темиргалиевич Нуртазин (Казахстан), Два свойства счетно категоричных универсалов
1600 - 1615 Бейбут Шайыкович Кулпешов (Казахстан), О некоторых свойствах слабо o-минимальных теорий
1620 - 1630 Станислав Леонидович Березнюк (Россия), О гиперарифметических нумерациях
1635 - 1650 Олег Викторович Кудинов (Россия),
28 июня, пятница, Институт математики, аудитория 306
Утреннее заседание. Председательствующий - проф. A.Sorbi
930 - 1020 Михаил Георгиевич Перетятькин (Казахстан), Алгебра Линденбаума логики предикатов и ее структура
1020 - 1040 Кофе-брэйк
1040 - 1130 Сергей Юрьевич Подзоров (Россия), Алгебраические свойства полурешеток Роджерса арифметических нумераций
1140 - 1155 Асель Аскаровна Алтаева (Казахстан), Предполные арифметические эквивалентности
1200 - 1220 Зариф Гарифуллинович Хисамиев (Казахстан), О пополнениях арифметических нумераций
27 июня, пятница, Институт математики, аудитория 306
Послеобеденное заседание. Председательствующий - проф. С.С.Гончаров
1430 - 1520 John Case (USA), Machine Learning for a Genomics Analogy Problem
1520 - 1530 Закрытие школы