|
|
Летняя школа «Современная математика», 2004
20 июля 2004 г. 17:00, г. Дубна
|
 |
|
 |
|
|
|
Занятие 1
А. Х. Шень |
| Видеозаписи: |
 |
MP4 |
523.0 Mb |
| Количество просмотров: |
| Эта страница: | 462 | | Видеофайлы: | 202 |
|
Аннотация:
Александр Ханиевич Шень планирует провести 2-3 занятия (или больше, в зависимости от запросов слушателей). Возможные темы:
- Доказуемость и недоказуемость (почему некоторые утверждения нельзя ни доказать, ни опровергнуть?)
- Вычислимые функции (почему некоторые функции нельзя вычислить на компьютере?)
- Сложность алгоритмов
- Формальные языки и исчисления
Точная тема курса будет выбрана 19 июля на открытии школы в зависимости от пожеланий слушателей.
Цикл лекций
|
|
Обратная связь: