НГУ
http://forum.nsu.ru/

Спецсеминар "Теория вычислимости"
http://forum.nsu.ru/viewtopic.php?f=24&t=11367
Страница 1 из 7

Автор:  slb [ Чт мар 16, 2006 2:48 am ]
Заголовок сообщения:  Спецсеминар "Теория вычислимости"

Традиционно проходит по вторникам в 17.45 в аудитории 313 главного корпуса НГУ. Руководители: академик РАН Ю.Л.Ершов, член-корр.РАН С.С.Гончаров, профессор А.С.Морозов.

Автор:  slb [ Чт мар 16, 2006 2:49 am ]
Заголовок сообщения: 

Заседание 21 марта

И.Калимуллин, В.Пузаренко "К сводимости на семействах"

Автор:  slb [ Вт мар 21, 2006 9:32 pm ]
Заголовок сообщения: 

На заседании 28 марта - продолжение предыдущего доклада.

Автор:  slb [ Ср мар 29, 2006 3:17 am ]
Заголовок сообщения: 

Заседание 4 апреля, 11 апреля:

День проблем

Автор:  Коба [ Пн апр 17, 2006 1:54 pm ]
Заголовок сообщения: 

Завтра, 18 апреля, семинар будет?

Автор:  slb [ Сб апр 22, 2006 7:31 pm ]
Заголовок сообщения: 

Заседание 18 апреля

С.Л.Березнюк "Омега-вычислимые нумерации"

Автор:  slb [ Сб апр 22, 2006 7:32 pm ]
Заголовок сообщения: 

Заседание 25 апреля

С.Ю.Подзоров реферирует статью Ю.Л.Ершова
"Полурешётки Роджерса конечных частично упорядоченных множеств" (часть 1)

Автор:  slb [ Вт апр 25, 2006 7:41 pm ]
Заголовок сообщения: 

Заседание 16 мая

С.Ю.Подзоров реферирует статью Ю.Л.Ершова
"Полурешётки Роджерса конечных частично упорядоченных множеств" (часть 1)

(продолжение)

Автор:  Коба [ Пн сен 11, 2006 1:42 pm ]
Заголовок сообщения: 

Я бы хотел доклад сделать в ближайшее время, как только семинар начнёт работать.

Автор:  slb [ Вт сен 12, 2006 4:42 pm ]
Заголовок сообщения: 

Коба писал(а):
Я бы хотел доклад сделать в ближайшее время, как только семинар начнёт работать.


19-го будет УС ММФ, а вот про 26-е можно подумать. Поговорю с начальством.

Автор:  slb [ Пт сен 22, 2006 1:20 pm ]
Заголовок сообщения: 

В общем, всё начальство в разъездах: АСМ и ССГ уезжают на месяц-другой, а ЮЛЕ ещё не приехал. Так что 26-го семинар ИМХО проводить не стоит. После возвращения ЮЛЕ постараюсь его перехватить и узнать про его график присутствия в Н-ске.

Автор:  slb [ Ср ноя 29, 2006 7:50 pm ]
Заголовок сообщения: 

Заседание 5 декабря

А.С.Морозов
О структурах понятий в вычислимых формальных контекстах

Автор:  slb [ Ср дек 13, 2006 3:50 pm ]
Заголовок сообщения: 

Заседание 19 декабря

А.С.Морозов
О представимости счётных моделей над вещественными и комплексными числами

Автор:  slb [ Пт мар 09, 2007 8:07 pm ]
Заголовок сообщения: 

Заседание 13 марта

В.Г.Пузаренко
О семействах вычислимых множеств

Автор:  slb [ Пн мар 19, 2007 4:08 pm ]
Заголовок сообщения: 

Заседание 20 марта

В.Г.Пузаренко
Большие счётные Омега-структуры

Страница 1 из 7 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/