Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.

Политика конфиденциальности | Согласие на обработку персональных данных

Кузнецов С. Л. - Математическая логика - 6. Параметрическая Δo-полнота

0:00:10 1. Доказуемая Σ1-полнота и параметрическая Δo-полнота 0:45:08 2. Теорема о неподвижной точке 1:06:10 План на следующую лекцию

Смотрите также