В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Математическая логика
/
осень 2020
/

Лекция 7. Проверка выполнимости формулы в логике первого порядка

Среда, 21 октября 2020
Онлайн, занятие в zoom