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