2017-2018

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

05.09.2017

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

В этом семестре лекции будут посвящены моделям и методам представления знаний и решения задач, применяемым в направлении исследований “искусственный интеллект”.

Лекции будут проходить по вторникам в 12:40 в ауд. 2128 нового корпуса НГУ.

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

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

05.09.2017

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

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

С/к "Формальные методы в программной инженерии"

05.09.2017

Начинает работу годовой спецкурс кафедры программирования, обязательный для всех магистрантов первого года, "Формальные методы в программной инженерии".

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

Первое занятие состоится 12 сентября