Введение в математическую логику и теорию алгоритмов 2013-2014 (Семенов)
Лектор: Академик РАН Алексей Львович Семенов
Осень 2013 года
- Плейлист из всех видео лекций осени 2013 года на YouTube
- Лекции:
- 2013.09.07. Лекция 01: слайды | видео 1 | видео 2
- 2013.09.14. Лекция 02: слайды | видео 1 | видео 2 | конспект
- 2013.09.21. Лекция 03: слайды | видео 1 | видео 2
- 2013.09.28. Лекция 04: слайды | видео 1 | видео 2
- 2013.10.05. Лекция 05: слайды | видео 1 | видео 2 | конспект
- 2013.10.12. Лекция 06: слайды | видео 1 | видео 2
- 2013.10.19. Лекция 07: слайды | видео 1 | видео 2
- 2013.10.26. Лекция 08: слайды | видео 1 | видео 2
- 2013.11.02. Лекция 09: слайды | видео 1 | видео 2
- 2013.11.09. Лекция 10: слайды | видео 1 | видео 2
- 2013.11.16. Лекция 11: слайды (10-11 лекции) | видео
- 2013.11.23. Лекция 12: слайды | видео 1 | видео 2
- 2013.11.30. Лекция 13: слайды | видео 1 | видео 2
- 2013.12.07. Лекция 14: слайды | видео 1 | видео 2 | конспект
- 2013.12.14. Лекция 15: слайды | видео | конспект
- Программа курса
- Семинары (В.Н.Крупский)
- Семинары (С.Л.Кузнецов)