Научный семинар Интеллектуальные системы 21 декабря

Научный семинар в рамках практики для магистрантов 1-2 курса: ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ
Руководитель: к.т.н. Загорулько Ю.А.
четверг, 21 декабря, 9:30, к.254 ИСИ СО РАН

Язык формальной логики в задачах интервального анализа,  С.П. Шарый  (ИВТ СО РАН)