Канал: Руслан Погодин

Семинар по булевым алгебрам (30.10.2021)

Семинар по булевым алгебрам (30.10.2021)

Семинар по булевым алгебрам (06.11.21)

Семинар по булевым алгебрам (06.11.21)

Формальная арифметика Пеано. Неразрешимые проблемы

Формальная арифметика Пеано. Неразрешимые проблемы

Теоремы smn, Райса, Поста

Теоремы smn, Райса, Поста

Универсальные функции

Универсальные функции

Нумерация программ МТ. Теорема о нормальной форме Клини

Нумерация программ МТ. Теорема о нормальной форме Клини

Теоремы Мальцева, теорема о связи ЧРФ и ПВТ

Теоремы Мальцева, теорема о связи ЧРФ и ПВТ

ТОСМ. Эндшпиль

ТОСМ. Эндшпиль

ТОСМ. Построение теории. Лемма Хенкина

ТОСМ. Построение теории. Лемма Хенкина

ТОСМ. Переход к предложениям. Конструирование множества предложений

ТОСМ. Переход к предложениям. Конструирование множества предложений

Исчисление предикатов, семантика, теории

Исчисление предикатов, семантика, теории

Конгруэнция

Конгруэнция

Подмодели

Подмодели

*морфизмы

*морфизмы

Секвенциальное исчисление высказываний

Секвенциальное исчисление высказываний

Машины Тьюринга [запись семинара]

Машины Тьюринга [запись семинара]

Рекурсивные функции

Рекурсивные функции

Счётные и континуальные множества

Счётные и континуальные множества

Теорема Кантора — Бернштейна

Теорема Кантора — Бернштейна

Теорема Стоуна

Теорема Стоуна

Bull'евы алгебры

Bull'евы алгебры

Эквивалентность и частичный порядок

Эквивалентность и частичный порядок

Истинность формул на модели

Истинность формул на модели

Предикаты для бандитов [без дискотеки]

Предикаты для бандитов [без дискотеки]

Предикаты для бандитов

Предикаты для бандитов