Лев Беклемишев - Компьютерные доказательства
8 362
14.1
ПостНаука1.35 млн
Следующее
27.06.13 – 10 42614:20Популярные
266 дней – 31 9780:56
359 дней – 9 3791:00Опубликовано 26 июня 2013, 10:02
Это видео было опубликовано на сайте ПостНаука (postnauka.ru/). Больше лекций, интервью и статей о фундаментальной науке и ученых, которые ее создают, смотрите на сайте postnauka.ru/. ПостНаука - все, что вы хотели знать о науке, но не знали, у кого спросить.
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Свежие видео
6 дней – 83 04410:52
9 дней – 25 0921:19:47
10 дней – 31 4872:21:46
Случайные видео
54 дня – 3 46921:06
178 дней – 18 59719:09
06.08.22 – 7 7806:36
10.02.21 – 78 7219:05
14.10.09 – 45 5234:00
9 дней – 1 23312:17
5 дней – 3 04016:11
5 дней – 1 7353:37:36
6 дней – 63055:27
7 дней – 9785:04
7 дней – 37 82326:35
11 дней – 2890:46
13 дней – 35 2320:57
6 дней – 71 4411:00