Лекции
![](/img/hd/lecture/2022-03-02-Yavorskaya.jpg?7640)
1
Лекция 1. Логика высказываний
01:18:50
![](/img/hd/lecture/2022-03-09-Yavorskaya.jpg?7641)
2
Лекция 2. Дизъюнктивная нормальная форма
01:03:22
![](/img/hd/lecture/2022-03-14-Yavorskaya-1.jpg?7642)
3
Лекция 3. Генценовское исчисление высказываний
01:11:03
![](/img/hd/lecture/2022-04-18-Yavorskaya-1.jpg?7747)
4
Лекция 4. Логика I порядка. Синтаксис и семантика
01:14:08
![](/img/hd/lecture/2022-04-18-Yavorskaya-2.jpg?7748)
5
Лекция 5. Логика I порядка. Общезначимость. Эквивалентность
01:13:29
![](/img/hd/lecture/2022-04-25-Yavorskaya-1.jpg?7749)
6
Лекция 6. Логика I порядка. Выразимость. Изоморфизм
01:01:31
![](/img/hd/lecture/2022-04-25-Yavorskaya-2.jpg?7750)
7
Лекция 7. Изоморфизм и элементарная эквивалентность структур
01:10:41
![](/img/hd/lecture/2022-05-16-Yavorskaya-1.jpg?7751)
8
Лекция 8. Логика предикатов с равенством
00:35:57
![](/img/hd/lecture/2022-05-16-Yavorskaya-2.jpg?7752)
9
Лекция 9. Выводимость в логике I порядка. Исчисление предикатов
01:01:18
![](/img/hd/lecture/2022-07-06-Yavorskaya.jpg?9263)
10
Лекция 10. Теорема о компактности и её следствия
01:05:16
![](/img/hd/lecture/2022-05-16-Yavorskaya-3.jpg?7753)
11
Лекция 11. Модальная логика
00:36:04
![](/img/hd/lecture/2022-05-30-Yavorskaya-1.jpg?7889)
12
Лекция 12. Модальная логика. Семантика Крипке
01:14:39
![](/img/hd/lecture/2022-05-30-Yavorskaya-2.jpg?7890)
13
Лекция 13. Минимальная модальная логика К и другие логики
00:52:55
![](/img/hd/lecture/2022-06-14-Yavorskaya-1.jpg?7941)
14
Лекция 14. Временная логика
01:22:07
![](/img/hd/lecture/2022-06-14-Yavorskaya-2.jpg?7942)
15
Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество
01:26:42
![](/img/hd/lecture/2022-06-22-Yavorskaya-2.jpg?9262)
16
Лекция 16. Теория алгоритмов. Универсальная вычислимая функция
00:46:04