Введение в математическую логику и теорию алгоритмов 2012-2013 (Семенов)
Лектор: Академик РАН Алексей Львович Семенов
Осень 2012 года
- Плейлист из всех видео лекций осени 2012 года на YouTube
- Лекции:
- Лекция 01: слайды | видео отсутствует | конспект
- Лекция 02: слайды | видео 1 | видео 2 | конспект
- Лекция 03: слайды | видео 1 | видео 2 | конспект
- Лекция 04: слайды | видео 1 | видео 2
- Лекция 05: слайды | видео
- Лекция 06: слайды | видео 1 | видео 2
- Лекция 07: слайды | видео 1 | видео 2
- Лекция 08: слайды | видео 1 | видео 2
- Лекция 09: слайды | видео 1 | видео 2
- Лекция 10: слайды | видео 1 | видео 2
- Лекция 11: слайды | видео 1 | видео 2 | конспект про ZF
- Лекция 12: слайды | видео 1 | видео 2
- Лекция 13: слайды | видео 1 | видео 2
- Лекция 14: слайды | видео 1 | видео 2
- Лекция 15: слайды | видео 1 | видео 2
- Экзаменационные вопросы