Математическая логика и теория алгоритмов 12. Арифметическая иерархия.

Математическая логика и теория алгоритмов 12. Аксиомы Пеано. Теорема Гёделя о неполнотеПодробнее

Математическая логика и теория алгоритмов. Лекция 10. Арифметическая иерархияПодробнее

Математическая логика и теория алгоритмов. Лекция 12. Формальные системыПодробнее

Математическая логика и теория алгоритмов 11. Арифметическая иерархияПодробнее

Математическая логика и теория алгоритмов 12. Автоморфизмы. Элиминация кванторовПодробнее

Математическая логика и теория алгоритмов. Лекция 11. Универсальные функции и множества.Подробнее

Математическая логика и теория алгоритмов 11. О выразимости предикатовПодробнее