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

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

Автор:  slb [ Ср апр 11, 2012 6:30 pm ]
Заголовок сообщения: 

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

С.Л.Селиванов, А.С.Коновалов
"Булевы алгебры регулярных языков"

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

Автор:  slb [ Пт май 18, 2012 4:37 pm ]
Заголовок сообщения: 

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

И.В.Латкин (ВГКТУ им.Серикбаева, Усть-Каменогорск, Казахстан)
"О диагонализации на оракулах"

Автор:  slb [ Чт сен 06, 2012 5:28 pm ]
Заголовок сообщения: 

Заседание 11 сентября

А.С.Морозов
-представлениях вещественного порядка"

Автор:  slb [ Пт сен 21, 2012 2:39 pm ]
Заголовок сообщения: 

Заседание 18 сентября

А.С.Морозов
-представлениях вещественного порядка"

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

Автор:  slb [ Пт сен 21, 2012 2:40 pm ]
Заголовок сообщения: 

Заседание 25 сентября

А.С.Морозов
-представлениях вещественного порядка"

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

Автор:  slb [ Вт окт 02, 2012 7:06 pm ]
Заголовок сообщения: 

Заседание 2 октября

А.С.Морозов
-представлениях вещественного порядка"

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

Автор:  slb [ Вт окт 02, 2012 7:07 pm ]
Заголовок сообщения: 

Заседание 9 октября

А.И.Стукачев
"О процессах и структурах"

Автор:  slb [ Ср окт 10, 2012 1:09 am ]
Заголовок сообщения: 

Заседание 23 октября

А.И.Стукачев
"О процессах и структурах"

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

Автор:  slb [ Пт окт 26, 2012 11:57 am ]
Заголовок сообщения: 

Заседание 30 октября

А.И.Стукачев
"О процессах и структурах"

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

Автор:  slb [ Ср окт 31, 2012 12:52 pm ]
Заголовок сообщения: 

Заседание 6 ноября

С.О.Сперанский
"О наследственно -полных фрагментах теорий и их приложении к вероятностной логике."

Автор:  slb [ Пн ноя 19, 2012 9:49 am ]
Заголовок сообщения: 

Заседание 20 ноября

А.И.Стукачев
"О процессах и структурах"

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

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

В силу изменившихся обстоятельств на заседании 20 ноября состится доклад

С.О.Сперанский
"О наследственно -полных фрагментах теорий и их приложении к вероятностной логике."

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

Автор:  slb [ Ср ноя 28, 2012 11:41 pm ]
Заголовок сообщения: 

Заседание 27 ноября

А.И.Стукачев
"О процессах и структурах"

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

Автор:  slb [ Пт ноя 30, 2012 5:19 pm ]
Заголовок сообщения: 

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

А.И.Стукачев
"О свойствах -сводимости"

Автор:  slb [ Ср дек 05, 2012 2:53 pm ]
Заголовок сообщения: 

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

Р.А.Корнев реферирует статью А.Мельникова
"Computably Isometric Spaces"

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