Лекции

1

Лекция 1. Элементы теории множеств

02:30:47

2

Лекция 2. Алгоритмическая теория множеств

01:35:57

3

Лекция 3. Математические модели вычислимости

01:44:20

4

Лекция 4. Неразрешимые алгоритмические проблемы

01:32:19

5

Лекция 5. Логика высказываний

01:27:49

6

Лекция 6. Исчисление высказываний

01:25:59

7

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

01:12:37

8

Лекция 8. Математические структуры

01:17:49

9

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

01:28:33

10

Лекция 10. Теорема Гёделя о полноте

01:26:04

11

Лекция 11. Элементарные теории

01:22:43

12

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

01:41:15

13

Лекция 13. Формальная арифметика

01:37:34

14

Лекция 14. Интуиционистская логика

01:37:05

15

Лекция 15. Теорема Эрбрана

01:27:55

16

Лекция 16. Метод резолюций и логическое программирование

02:13:29