|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Компьютерные доказательствавыступление в СМИ
- Автор (участник): Беклемишев Лев Дмитриевич
- СМИ: Телеканал "ПостНаука"
- Дата: 7 июня 2013 г.
- Продолжительность: 14 минут
-
Аннотация:
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Страница выступления в Интернет
- Добавил в систему: Золин Евгений Евгеньевич