Ребята, покидайте, плиз, в комментариях ещё хороших каналов по математике!

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

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

Формальная арифметика Пеано. Неразрешимые проблемы
Канал: Руслан Погодин

18:20
0
Теоремы smn, Райса, Поста

Теоремы smn, Райса, Поста
Канал: Руслан Погодин

18:20
0
Универсальные функции

Универсальные функции
Канал: Руслан Погодин

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

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

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

Теоремы Мальцева, теорема о связи ЧРФ и ПВТ
Канал: Руслан Погодин

18:20
0
ТОСМ. Эндшпиль

ТОСМ. Эндшпиль
Канал: Руслан Погодин

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

ТОСМ. Построение теории. Лемма Хенкина
Канал: Руслан Погодин

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

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

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

Исчисление предикатов, семантика, теории
Канал: Руслан Погодин

18:20
0
Конгруэнция

Конгруэнция
Канал: Руслан Погодин

18:20
0
Подмодели

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

18:20
0
*морфизмы

*морфизмы
Канал: Руслан Погодин

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

Секвенциальное исчисление высказываний
Канал: Руслан Погодин

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

Машины Тьюринга [запись семинара]
Канал: Руслан Погодин

18:20
0
Рекурсивные функции

Рекурсивные функции
Канал: Руслан Погодин

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

Счётные и континуальные множества
Канал: Руслан Погодин

18:20
0
Теорема Кантора — Бернштейна

Теорема Кантора — Бернштейна
Канал: Руслан Погодин

18:20
0
Теорема Стоуна

Теорема Стоуна
Канал: Руслан Погодин

18:20
0
Bull'евы алгебры

Bull'евы алгебры
Канал: Руслан Погодин

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

Эквивалентность и частичный порядок
Канал: Руслан Погодин

18:20
0
Истинность формул на модели

Истинность формул на модели
Канал: Руслан Погодин

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

Предикаты для бандитов [без дискотеки]
Канал: Руслан Погодин

18:20
0
Предикаты для бандитов

Предикаты для бандитов
Канал: Руслан Погодин

18:20
0