Видеоуроки по математике для студентов Руслан Погодин Руслан Погодин Формальная арифметика Пеано. Неразрешимые проблемы Канал: Руслан Погодин 26.10.2021 18:20 0 Теоремы smn, Райса, Поста Канал: Руслан Погодин 26.10.2021 18:20 0 Универсальные функции Канал: Руслан Погодин 26.10.2021 18:20 0 Нумерация программ МТ. Теорема о нормальной форме Клини Канал: Руслан Погодин 26.10.2021 18:20 0 Теоремы Мальцева, теорема о связи ЧРФ и ПВТ Канал: Руслан Погодин 26.10.2021 18:20 0 ТОСМ. Эндшпиль Канал: Руслан Погодин 26.10.2021 18:20 0 ТОСМ. Построение теории. Лемма Хенкина Канал: Руслан Погодин 26.10.2021 18:20 0 ТОСМ. Переход к предложениям. Конструирование множества предложений Канал: Руслан Погодин 26.10.2021 18:20 0 Исчисление предикатов, семантика, теории Канал: Руслан Погодин 26.10.2021 18:20 0 Конгруэнция Канал: Руслан Погодин 26.10.2021 18:20 0 Подмодели Канал: Руслан Погодин 26.10.2021 18:20 0 *морфизмы Канал: Руслан Погодин 26.10.2021 18:20 0 Секвенциальное исчисление высказываний Канал: Руслан Погодин 26.10.2021 18:20 0 Машины Тьюринга [запись семинара] Канал: Руслан Погодин 26.10.2021 18:20 0 Рекурсивные функции Канал: Руслан Погодин 26.10.2021 18:20 0 Счётные и континуальные множества Канал: Руслан Погодин 26.10.2021 18:20 0 Теорема Кантора — Бернштейна Канал: Руслан Погодин 26.10.2021 18:20 0 Теорема Стоуна Канал: Руслан Погодин 26.10.2021 18:20 0 Bull'евы алгебры Канал: Руслан Погодин 26.10.2021 18:20 0 Эквивалентность и частичный порядок Канал: Руслан Погодин 26.10.2021 18:20 0 Истинность формул на модели Канал: Руслан Погодин 26.10.2021 18:20 0 Предикаты для бандитов [без дискотеки] Канал: Руслан Погодин 26.10.2021 18:20 0 Предикаты для бандитов Канал: Руслан Погодин 26.10.2021 18:20 0