Новости

Веб-почта

Ссылки

Карта сайта
Подразделения ИМ

Лаборатория теории вычислимости и прикладной логики

Основные направления деятельности:
  
теория вычислимости и ее приложения; теория вычислимых моделей; проблемы существования вычислимых и разрешимых моделей, проблемы характеризации моделей различных алгоритмических размерностей и вычислимости классов; общая теория вычислимых нумераций для различных классов иерархий – арифметической, аналитической, Ершова и т.д. (свойств нумераций с различными свойствами в полурешетках Роджерса и характеризация алгебраических свойств полурешеток Роджерса); проблемы построения гибридных систем А.Нероуда на основе определимости; взаимоотношения различных типов вычислимости над абстрактными структурами; проблемы построения денотационных сементик, их свойства вычислимости.
  
Руководитель
Рабочие телефоны 3297603 3297626 3297631 3297655 3297684 3297688 3297689 3297691
Внутренние телефоны 322 348 353 416 445 449 450 452
Факс 3332598
Комнаты 322 348 353 416 445 449 450 452
  

  Home page

  Список сотрудников


    © Федеральное государственное бюджетное учреждение науки
      Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук, 2009
 
пр. ак. Коптюга, 4, 630090, г. Новосибирск, Россия
Приемная: (383) 333-28-92; Канцелярия: (383) 333-27-93
Бухгалтерия: (383) 333-09-96; Отдел кадров: (383) 333-25-93
Факс: (383) 333-25-98; e-mail: im@math.nsc.ru