2014-2015

Спецкурс "Стандарты XML"

17.09.2014

Профессор А.Г. Марчук начинает читать полугодовой спецкурс "Стандарты XML".

Лекции будут проходить по понедельникам в 10:45 в 237 к. ИСИ СО РАН (каб. директора).
Первая лекция состоится 22 сентября.

С/к "Предикатное программирование"

09.09.2014

В.И. Шелехов начал чтение полугодового спецкурса "Предикатное программирование".

Лекции проходят по средам в 14:15 в семинарской комнате ИСИ СО РАН (к. 254).

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

02.09.2014

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

Лекции будут проходить по вторникам в 10:45 в семинарской комнате ИСИ СО РАН (к. 254).
Первая лекция состоится 23 сентября.

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

02.09.2014

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

Лекции будут проходить по вторникам в 17:45 в семинарской комнате ИСИ СО РАН (к. 254).
Первая лекция состоится 16 сентября.

Заявки на посещение спецкурса и на проход в здание ИСИ СО РАН (ИВМ и МГ) подавать Загорулько Юрию Алексеевичу по e-mail: zagor@iis.nsk.su
В заявке указать ФИО, факультет, номер группы.