Во вторник 30 сентября в 14:30 в аудитории 401 (Главный корпус) состоится объединенное занятие семинара и спецкурсов, на котором планируется обсудить вопросы и определить время и место дальнейших занятий.

Семинар "Конструирование и оптимизация программ" (руководитель - профессор, д.ф.-м.н. В.Н. Касьянов) в этом учебном году будет проходить в дистанционном формате по вторникам в 14.30.

Желающим его посещать, просьба записаться на сайте кафедры и сообщить руководителю семинара по адресу kvn@iis.nsk.su о себе следующую информацию: ФИО, номер группы и e-mail.

Профессор, д.ф.-м.н. Виктор Николаевич Касьянов начинает чтение полугодового спецкурса "Теория вычислений" в дистанционном формате по четвергам в 18.10.

Желающим его посещать, просьба записаться на сайте кафедры и сообщить лектору по адресу kvn@iis.nsk.su о себе следующую информацию: ФИО, номер группы и e-mail.

Профессор, д.ф.-м.н. Виктор Николаевич Касьянов начинает чтение годового спецкурса "Графы в программировании" в дистанционном формате по понедельникам в 18.10.

Желающим его посещать, просьба записаться на сайте кафедры и сообщить лектору по адресу kvn@iis.nsk.su о себе следующую информацию: ФИО, номер группы и e-mail.

Доцент Загорулько Юрий Алексеевич начинает чтение годового спецкурса "Методы и системы искусственного интеллекта".
Занятия будут проходить в ауд. 5251 по вторникам в 18:10.
Первое занятие назначено на 23 сентября.
Со всеми вопросами обращаться к лектору по эл. почте: zagor@iis.nsk.su

Лидия Васильевна Городняя начинает чтение спецкурса «Гуманитарные факторы программирования». Он будет проходить по вторникам с 18:10, первое занятие состоится 30 сентября.

Лекции будут проходить в смешанном формате с применением Google Classroom, очная линия будет проходить в семинарской комнате ИСИ СО РАН (к. 254 здание ИВМиМГ).

Для присоединения к спецкурсу надо сообщить университетский логин, ФИО и номер группы по адресу lidvas@gmail.com

Лидия Васильевна Городняя и Татьяна Анатольевна Андреева начинают годовой спецкурс "Функциональное программирование". Он будет проходить по четвергам с 18:10, первая лекция назначена на 18 сентября.

Лекции будут проходить в смешанном формате с применением Google Classroom или чего-нибудь другого, очная линия будет проходить в семинарской комнате ИСИ СО РАН (к. 254 здание ИВМиМГ). Практика в компьютерных классах НГУ.

Время и место практики будут объявлены позднее.

Начинается чтение спецкурса "Введение в абстрактную интерпретацию",
лектор Емельянов Павел Геннадьевич.

Занятия будут проходить по средам с 18:10.
Первое занятие состоится 01 октября. Подходить к ауд. 4138 (кафедра программирования ММФ).

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

Занятия прооходят в ауд. 1155 по вторникам с 9:00 по нечетным неделям, и с 10:50 по четным.

Со всеми вопросами обращаться к лектору по эл. почте: ivm1999@mail.ru

Профессор, д.ф.-м.н. Марчук А.Г. начинает чтение семестрового с/курса «Структуры данных: парадигмы и технологии».

Лекции будут проходить online через систему MS Teams по понедельникам, в 16:20.

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

Ссылка на собрание: Лекции А.Г.Марчука к с/курсу "Структуры данных: парадигмы и технологии" | Microsoft Teams | Присоединение к митапу