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

Лекция 8. Логика первого порядка: обзор методов и инструментов

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