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

Семинар 8

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

Описание

  1. Установка SWI-Prolog.
  2. Разделы 1 и 2 туториала (сколько успеем, с упражнениями). Ссылки на код в подразделах 2.1-19 внизу страниц.