Лекция 4. Исчисление предикатов | Математическая логика и теория алгоритмов.

Дата лекции: 27.02.26 Лектор: Зухба Анастасия Викторовна Оператор: Доронина Елизавета Редактор: Загорянский Николай Сайт ВШПИ: https://hsse.mipt.ru