Loading [MathJax]/jax/output/SVG/config.js
Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления



Летняя школа «Современная математика», 2004
22 июля 2004 г. 15:30, г. Дубна 		 

Занятие 3

А. Х. Шень
Видеозаписи:
MP4 594.0 Mb

Количество просмотров:
Эта страница:235
Видеофайлы:42

А. Х. Шень



Аннотация: Александр Ханиевич Шень планирует провести 2-3 занятия (или больше, в зависимости от запросов слушателей). Возможные темы:
  • Доказуемость и недоказуемость (почему некоторые утверждения нельзя ни доказать, ни опровергнуть?)
  • Вычислимые функции (почему некоторые функции нельзя вычислить на компьютере?)
  • Сложность алгоритмов
  • Формальные языки и исчисления


Точная тема курса будет выбрана 19 июля на открытии школы в зависимости от пожеланий слушателей.
Цикл лекций
 
  Обратная связь:
math-net2025_03@mi-ras.ru 		 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025