Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Математическая Логика и Теория Алгоритмов -- что это и зачем? Рассказывает лектор ФПМИ МФТИ Даниил Владимирович Мусатов. 1 семестр - • Математическая логика и теория алгоритмов ... 2 семестр - • Математическая логика и теория алгоритмов ... Книги: Н. К. Верещагин, А. Шень НАЧАЛА ТЕОРИИ МНОЖЕСТВ - ЯЗЫКИ И ИСЧИСЛЕНИЯ - ВЫЧИСЛИМЫЕ ФУНКЦИИ - 00:00 - Интро 00:27 - Представление лектора 00:51 - Зачем студентам логика? 03:49 - О красивых теоремах и доказательствах в рамках курса 09:22 - Подробнее о принципе трансфинитной индукции 10:50 - О приложениях матлогики и применимости материала курса 14:40 - Полезная и интересная литература 16:43 - За что любить логику? 17:42 - Напутственные слова сдающим экзамен Интервьюер: Юрий Маркелов Оператор: Игорь Жильцов Модель на тестовой записи: Ирина Жулябина Монтажер: Дарья Зенина
