Лекции

1

Лекция 1. Аксиоматика. Логические формулы

00:38:21

2

Лекция 2. Оценки. Булевы функции

01:25:58

3

Лекция 3. Булева алгебра

01:33:51

4

Лекция 4. Булева алгебра

01:27:39

5

Лекция 5. Система аксиом

01:28:16

6

Лекция 6. Логика предикатов

01:29:29

7

Лекция 7. Эквивалентность моделей

01:29:22

8

Лекция 8. Нормальные модели

01:33:30

9

Лекция 9. Теории и модели

01:28:14

10

Лекция 10. Преобразование формул к стандартному виду

01:31:50

11

Лекция 11. Исчисление предикатов

01:27:50

12

Лекция 12. Модальная логика

01:27:38

13

Лекция 13. Модальная логика

01:30:42

14

Лекция 14. Модальная логика. Теория множеств Цермело

01:29:59

15

Лекция 15. Теория алгоритмов

01:35:46