Видеоматериалы к курсу «Введение в математическую логику и теорию алгоритмов»

Видеозаписи лекций курса «ВМЛиТА»

• Лекции 2021 года (академик РАН А. Л. Семёнов)
• Лекции 2020 года (акад. РАН Л. Д. Беклемишев, проф. М. Р. Пентус)
• Лекции 2019 года (акад. РАН Л. Д. Беклемишев)
• Лекции 2018 года (проф. В. Б. Шехтман)
• Лекции 2014 года (академик РАН А. Л. Семёнов)
• Лекции 2013 года (академик РАН А. Л. Семёнов)
• Лекции 2012 года (академик РАН А. Л. Семёнов)

Другие видеоматериалы, близкие к курсу «ВМЛиТА»

• Рассказывает проф. Л. Д. Беклемишев (канал «Постнаука»):
  • Аксиоматический метод (11 мин)
  • Компьютерные доказательства (14 мин)
•  
• Вычислимое и невычислимое (Александр Спивак, малый мехмат) — лекция включает такие темы (каждую тему можно посмотреть в отдельном видео):
  1. Вычислимое и невычислимое (14 мин)
  2. Вычислимые функции, перечислимые множества (10 мин)
  3. Разрешимые и перечислимые функции (12 мин)
  4. Универсальная вычислимая функция (6 мин)
  5. Алгоритмическая неразрешимость проблемы остановки (8 мин)
  6. Неразрешимое перечислимое множество (11 мин)
•  
• Владимир Андреевич Успенский (лекции, выступления). В том числе:
  • Выразительные возможности языков математической логики
  • Нестандартные модели — хорошо это или плохо?
•  
• Основы теории вычислимости (Дмитрий Ицыксон, ПОМИ* РАН, 76 мин)
  *ПОМИ — Петербургское отделение Математического института им. В.А.Стеклова.