RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Санкт-Петербургский логический семинар
19 мая 2020 г. 18:30, г. Санкт-Петербург, online
 


О $\Sigma$-определимых структурах в $\mathbb{HF} ( \mathbb{R} )$

А. С. Морозов

Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск
Видеозаписи:
MP4 231.3 Mb
Материалы:
Adobe PDF 649.3 Kb

Количество просмотров:
Эта страница:99
Видеофайлы:6
Материалы:3
Youtube Video:

А. С. Морозов


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке



Аннотация: Доклад представляет собой обзор результатов об алгебраических структурах, $\Sigma$-определимых в наследственно конечной надстройке над вещественными числами, $\mathbb{HF} ( \mathbb{R} )$, являющейся частным случаем допустимых множеств. Это понятие можно рассматривать как одно из обобщений классического понятия вычислимой структуры на ситуацию, когда в качестве основного множества рассматривается множество всех мыслимых конечных программистских конструкций типа ‘список’, ‘массив’, ‘конечное множество’, ‘конечный граф’ и т.п., а в качестве вычислимости — возможность определить функции в некотором алгоритмическом языке высокого уровня, позволяющего вычислять основные операции над $\mathbb{R}$, находить и использовать в дальнейших вычислениях корни уравнений.
Приводятся общие результаты о $\Sigma$-определимых структурах и подмножествах $\mathbb{HF} ( \mathbb{R} )$, а также примеры и некоторые общие методы доказательства неопределимости различных структур.

Материалы: morozov_spb_2020_slides.pdf (649.3 Kb)

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020