Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

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






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


Занятие 3

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

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

А. Х. Шень


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

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


Точная тема курса будет выбрана 19 июля на открытии школы в зависимости от пожеланий слушателей.
Цикл лекций

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