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

таймкоды появятся позже Дата лекции: 02.10.24 Лектор: Мусатов Даниил Владимирович Оператор: Давид Чайлахян Монтажёр: Екатерина Мелешко Плейлист: https://youtube.com/playlist?list=PL4_hYwCyhAvZPfAgASFWJeg9_86m3wPXK&si=Jyirkxx-oB6YRU7S