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

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





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








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


Модальная математика и рассуждения в условиях интервальной неопределённости

В. Я. Крейнович

Department of Computer Science, University of Texas at El Paso
Видеозаписи:
MP4 204.4 Mb
Материалы:
Adobe PDF 578.4 Kb

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

В. Я. Крейнович


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

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



Аннотация: Как мы можем делать заключения о реальном мире? Как мы можем предсказать будущее? В идеализированной ситуации, когда мы можем всё померить с идеальной точностью, единственная проблема — как решить соответствующие уравнения. На основе этих решений мы всё и предскажем. В реальной жизни точность измерений ограничена. Часто единственное, что мы знаем о погрешности измерений, — это верхняя граница абсолютной величины этой погрешности. В этом случае единственное, что мы знаем после измерения, — это интервал возможных значений измеряемой величины. При такой интервальной неопределённости для многих свойств мы не можем сказать, выполняется это свойство или нет; иногда мы можем заключить, что точно выполняется, а иногда мы только знаем, что может быть выполняется, а может быть нет — значит надо использовать модальную логику (точнее модальную математику). И всё это надо вычислять, так что надо использовать методы конструктивной и вычислительной математики (и учитывать при этом вычислительную сложность). В докладе мы покажем, как всё это соединяется вместе в интервальной математике. Юрий Матиясевич, один из пионеров этого направления, пришёл туда из конструктивной математики, поэтому для него интервальные вычисления — это прикладная конструктивная математика, но с таким же успехом их можно назвать прикладной модальной математикой.

Материалы: kreinovich_spb_2020_slides.pdf (578.4 Kb)

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