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

Семинар 13

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

Описание

  1. Установка Infer
  2. Запуск на простых примерах
  3. Теоретические основы Infer