Математическая логика и теория алгоритмов 5. Исчисление высказываний. Схемы аксиом

таймкоды появятся позже Дата лекции: 02.10.24 Лектор: Мусатов Даниил Владимирович Оператор: Давид Чайлахян Монтажёр: Екатерина Мелешко Плейлист:    • Математическая логика (1 курс, осень 2024)...