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

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

В прилагаемых файлах представлены расписание предзащит ВКР бакалавров и магистров
и расписание защит курсовых работ магистрантов 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

Продолжается чтение спецкурса "Визуализация графов" в дистанционном режиме по четвергам в 17:00. Лектор - к.ф.-м.н. Зинаида Владимировна Апанович.

Первая лекция в этом семестре состоится 25 февраля 2021 в 17:00 .

Для посещения курса просьба связаться с Апанович З.В. (apanovich_09@mail.ru)

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

Лекции будут проходить по четвергам с 13:00.
25 февраля - первая лекция.

Практика будет объявлена позднее (Татьяна Анатольевна Андреева)

В курсе будут рассмотрены вопросы:

- Почему стремительно растёт число языков программирования (ЯП)?
- Что позволяет обосновывать выбор ЯП для решения конкретной задачи?
- Какие параметры позволяют определять парадигму, поддерживаемую ЯП?
- Как прогнозировать трудоёмкость разработки программы на базе определённой системы программирования (СП)?

Доцент Лидия Васильевна Городняя начинает чтение спецкурса "Функциональное программирование".

Лекции будут проходить по четвергам с 12:00.
25 февраля - первая лекция.

Практика будет объявлена позднее (Татьяна Анатольевна Андреева).

Курс посвящён идеям функционального программирования, начало которому положил Джон Мак-Карти при создании языка Lisp (1958) на базе лямбда-исчисления Алонсо Чёрча (1936).