Математическая логика и теория алгоритмов 3. Конечные и бесконечные множества. Фундированность

Таймкоды: 00:00:00 - Начало 00:00:50 - Теорема 0 (правило произведения) 00:01:40 - Следствие 1 (A - конечно, n - натур., значит A^n конечно) 00:04:50 - Следствие 2 (A и B конечно, значит B^A конечно) 00:08:30 - Следствие 3 (A конечно, значит P(A) конечно) 00:15:20 - Лемма 4 (A бесконечно и B конечно, значит A\B бесконечно) 00:17:00 - Теорема 5 (ответ на вопрос: Если A бесконечно, то N вкладывается в A) 00:24:51 - Вспомогательное утверждение 00:33:05 - Следствие 6 (A бесконечно, значит N вкладывается в A) 00:37:10 - Теорема 7 00:56:50 - Определение фундированности 01:02:58 - Теорема 8 (Равносильные условия фундированности) Дата лекции: 18.02.2026 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажер: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_239