Математическая логика и теория алгоритмов 6. Лемма о дедукции. Правила вывода
HTML-код
- Опубликовано: 8 фев 2025
- Дата лекции: 09.10.2024
Лектор: Мусатов Даниил Владимирович
Оператор: Давид Чайлахян
Монтажёр: Екатерина Мелешко
Плейлист: • Математическая логика ...