Теория моделей. Часть 1. Формальная теория
Math as a Foreign Language (Nikolai Kazimirov)
0:00 / 0:00
Теория моделей. Часть 1. Формальная теория
420 просмотров · 7 мес. назад
Math as a Foreign Language (Nikolai Kazimirov)
1,52 тыс. подписчиков
420 просмотров · 7 мес. назад
Обсуждаем структуру формального языка, порожденного сигнаурой.
Замыкание множества формул.
Теория и ее аксиоматика.
Донатить можно тут: https://mathem.at/Materials/maglish_i...