2019-2020

С/к Методы и системы искусственного интеллекта

10.09.2019

Доцент кафедры программирования Ю.А. Загорулько начинает читать годовой спецкурс "Методы и системы искусственного интеллекта".

Лекции будут проходить по четвергам в 16:20 в ауд. 5272 нового корпуса НГУ.

Первая лекция состоится 12 сентября.

С/к "Методы верификации программ"

30.08.2019

Полугодовой спецкурс "Методы верификации программ" будет проходить по средам в 09:00, в семинарской комнате ИСИ СО РАН (к.254).
Лектор: к.ф.-м.н. Марьясов И.В.

Первая лекция состоится 11 сентября 2019 года.

С/к Визуализация графов

29.08.2019

Начинается чтение спецкурса "Визуализация графов".
Лектор: к.ф.-м.н Апанович З.В. (apanovich@iis.nsk.su)

Занятия будут проходить по понедельникам в 14.30, аудитория 1156 нового учебного корпуса НГУ.

Первая лекция состоится 2 сентября 2019 года