Интересные ссылки (видео)
- Map of Mathematics (Карта всей математики);
Map of Computer Science (Карта информатики);
Карты других наук - Алексей Савватеев — лекции (эти и многие другие):
- Андрей Себрант («Яндекс») — выступления (эти и многие другие):
- Доказательность в математике — о проблемах в основаниях математики, о математической логике рассказывает академик РАН Ю.Л.Ершов; передача «Диалоги», ведущий Александр Гордон (выпуск 268, эфир 16.06.2003).
- Аксиоматический метод — рассказывает проф. Л.Д.Беклемишев (канал «Постнаука»)
- Компьютерные доказательства — рассказывает проф. Л.Д.Беклемишев (канал «Постнаука»)
- Кто за стеной? — научно-популярный фильм (ЦентрНаучФильм, 1977) на тему «может ли машина мыслить», журналистам демонстрируется, как компьютер проходит тест Тьюринга.
- Вспоминая Колмогорова — рассказывает заведующий кафедрой математической логики и теории алгоритмов, профессор В.А.Успенский.
- Рассказы о Колмогорове — документальный фильм (ЦентрНаучФильм, 1984).
- В.И.Арнольд об А.Н.Колмогорове — передача «Очевидное–невероятное», посвященная 100-летию Колмогорова; ведущий акад. С.П.Капица.
- Воспоминания об Андрее Андреевиче Маркове (мл.) — рассказывает заведующий кафедрой высшей математики, профессор В.Н.Латышев.
- Задача о четырёх мудрецах — шуточная песенка, исполняет выпускник нашей кафедры Александр Шень.
- Интернет-активность как обязанность ученого (статья) — М.М.Горбунов-Посадов (Институт прикладной математики им. М.В.Келдыша РАН)