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

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

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

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

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

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

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

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

А.И.Стукачев
"Относительно -допустимые семейства"

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

Заседание 19 февраля

С.С.Оспичев
"Полурешетки Роджерса конечных семейств"

Автор:  slb [ Пн фев 25, 2013 12:45 pm ]
Заголовок сообщения: 

Заседание 26 февраля

С.Александрова
"Проблема униформизации для предикатов в "

Автор:  N. Bazhenov [ Пн мар 11, 2013 12:26 pm ]
Заголовок сообщения: 

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

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

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

Автор:  N. Bazhenov [ Пт мар 15, 2013 1:47 pm ]
Заголовок сообщения: 

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

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

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

Автор:  N. Bazhenov [ Пт мар 29, 2013 5:01 pm ]
Заголовок сообщения: 

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

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

Автор:  N. Bazhenov [ Сб апр 13, 2013 6:01 pm ]
Заголовок сообщения: 

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

С.С. Гончаров, М.И. Марчук
"Оценка сложности класса моделей автоустойчивых относительно сильных конструктивизаций"

Автор:  N. Bazhenov [ Вс апр 21, 2013 3:19 pm ]
Заголовок сообщения: 

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

М.Г. Перетятькин (Институт математики и математического моделирования, г. Алма-Ата)
"Неограниченное Тьюрингово вычисление в конечно аксиоматизируемой теории и общая проблема выразительной силы логики предикатов"

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