К.ф.-м.н. Марьясов И.В. начинает чтение спецкурса "Верификация и анализ программ".
Занятия проходят по чётным неделям в четверг с 9:00 в ауд. 1133 и каждую неделю в пятницу с 10:50 в ауд. 1156.

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

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

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

Спецкурс «Принципы, методы и средства связывания данных в приложениях Semantic Web» будет проводиться по четвергам с 9.50 в ауд.3218 нового корпуса НГУ.

Лектор: к.ф.-м.н. доцент НГУ Апанович Зинаида Владимировна.

Первое занятие назначено на четверг 2 сентября.

На сайте кафедры выложена памятка дипломнику кафедры программирования.
В ней указаны сроки подачи документов к защите и приведен перечень этих документов.

Определены даты проведения заседаний кафедры, посвященных предзащитам ВКР бакалавров и магистров.

В прилагаемых файлах представлены расписание предзащит ВКР бакалавров и магистров
и расписание защит курсовых работ магистрантов 1 года.

Заседания кафедры будут проходить в смешанном режиме, в основном, очно в к. 254 ИСИ СО РАН.

К предзащите необходимо подготовить презентацию работы на 7 минут.

Для тех, кто не участвовал в Юбилейных Ершовских лекциях, предлагаем ссылки на их записи:

Предисловие к юбилейным лекциям этого года
https://www.youtube.com/watch?v=koWnP9bIfjw

Лекция Виктора Николаевича Касьянова
https://www.youtube.com/watch?v=rwgNQi0Qro8

Лекция Андрея Михайловича Райгородского
https://www.youtube.com/watch?v=0xrrnW4glDo

В рамках годового магистерского курса "Формальные методы в программной инженерии" в апреле 2021г. будет прочитан курс
"Язык WhyML и методы автоматического доказательства
в системе Why3".

Курс очный, примерно из пяти лекций.
Он будет проходить по вторникам, начало 16-20, ауд. 4117.
Первая лекция: 6 апреля.

Видео-лекции, презентации и другие материалы
будут доступны по адресу: https://persons.iis.nsk.su/files/persons/fmcfiles/why3cdecl.pdf

Возобновляет работу спецсеминар "Теоретическое и экспериментальное программирование".
Руководитель: Непомнящий Валерий Александрович.
Заседания будут проходить по вторникам в 10:50 в к. 254 ИСИ СО РАН.

Первое занятие назначено на 2 марта.

Студентам, желающим посещать этот спецсеминар, требуется записаться на него на сайте кафедры. Это необходимо, чтобы составить список для прохода в институт.

Профессор Марчук А.Г. начитает чтение полугодового спецкурса «Клиент-серверные технологии». Занятия будут проводиться дистанционно по Zoom

Время проведения: по субботам 10:00-11:30

Адрес zoom-конференции:

https://zoom.us/j/2628911594?pwd=TmQ4cVZ5M3dHTFdNSmMvNTNhUkU3Zz09
идентификатор конференции: 262-891-1594
пароль: 5iPXmA

Первая лекция состоится 27 февраля

Доцент Загорулько Ю.А. продолжает чтение лекций по спецкурсу "Методы и системы искусственного интеллекта".
Первая установочная лекция состоится 16 февраля в 18:10 по ссылке:
https://meet.google.com/bux-bdjz-zdk