Интересные ссылки (видео) — Кафедра математической логики и теории алгоритмов механико-математического факультета Московского государственного университета

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