Тема лекций и консультаций "Вычислимые функционалы конечных типов"

Вид материала

Лекция

Содержание Вычислимые нумерации Теорема Райса Нумерованные множества с аппроксимацией Вычислимые нумерации морфизмов Проблема P существования главной вычислимой нумерации морфизмов Условия разрешимости проблемы P Вычислимые функционалы всех конечных типов

Подобный материал:

• Основными задачами данного цикла лекций являются: изложение основных положений метода, 18.46kb.
• Расписание проведения обзорных лекций и консультаций по итоговому государственному, 16.67kb.
• Программа курса лекций (4 курс, 8 сем., 32 ч., экзамен) Профессор, д ф. м н., Лариса, 14.31kb.
• Рабочая программа дисциплины уравнения в конечных разностях направление подготовки, 90.19kb.
• Презентация к циклу лекций » Цикл лекций «Механические модели элементов строительных, 20.63kb.
• Тема курсовой работы выбирается произвольно и согласовывается с преподавателем во время, 84.79kb.
• Программа курса лекций, 51.42kb.
• Рабочая программа учебной дисциплины (модуля) Метод конечных элементов и программы, 141.68kb.
• Самостоятельные занятия (в скобках даны даты консультаций), 43.39kb.
• Некорректные задачи геофизики. План лекций. Лекция I. Функциональные пространства., 64.34kb.

ПРЕДСТАВЛЕНИЕ


График работы академика РАН, профессора Ю.Л.Ершова (Новосибирск)

Тема лекций и консультаций "Вычислимые функционалы конечных типов"

Дата проведения занятий Тема лекции	Время проведения занятий	Место проведения занятий	Кол-во часов
25 октября, вторник Лекция 1: Категория нумерованных множеств	Лекция: 14.10 – 15:55 Консультации: 11:25 – 13:10 16:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408 Ауд 408	2 2 2
26 октября, среда Лекция 2: Вычислимые нумерации	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
27 октября, четверг Лекция 3: Теорема Райса	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
28 октября, пятница Лекция 4: Нумерованные множества с аппроксимацией	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
29 октября, суббота Лекция 5: Вычислимые нумерации морфизмов	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
31 октября, понедельник Лекция 6: Проблема P существования главной вычислимой нумерации морфизмов	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
1 ноября, пятница Лекция 7: Условия разрешимости проблемы P	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
2 ноября, суббота Лекция 8: Вычислимые функционалы всех конечных типов	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
3 ноября, понедельник Лекция 9: Топологический подход к определению классов частичных непрерывных функционалов конечных типов	Лекция: 10:20 – 12:10 Консультации: 14:10 – 17:55	Мехмат КазНУ, Ауд 406 Мехмат КазНУ, Ауд 408	2 4
Итого: 54 часа