Спецкурс "Язык программирования Java" начнётся с октября и будет проводиться в дистанционном формате. Для получения материалов спецкурса и ссылок на соответствующие zoom-конференции необходимо присоединиться к чату спецкурса в телеграм: https://t.me/joinchat/BiQhPxF65IleyYPMAWbq8w .
Там же с помощью голосования определится день и время проведения лекций.

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

Желающие сдать зачет по полугодовому с/курсу профессора А.Г. Марчука «Клиент-серверные технологии» приглашаются для участия в Zoom конференциях

11 мая 10:45 – консультация

13 мая 10:45 – зачет

15 мая 10:45 – зачет, резервное время

Приглашение:

https://zoom.us/j/2628911594?pwd=TmQ4cVZ5M3dHTFdNSmMvNTNhUkU3Zz09

идентификатор конференции: 262-891-1594

пароль: 5iPXmA

С вопросами обращайтесь по email: mag@iis.nsk.su

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

В прилагаемом файле представлено расписание защит.

К защите курсовой работы необходимо подготовить текст работы. Требования к оформлению курсовой работы такие же, как к тексту диплома, их можно посмотреть на сайте факультета: https://www.nsu.ru/n/mathematics-mechanics-department/studentam/thesis/
Пример титульного листа можно посмотреть в разделе "Организационные материалы".

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

В прилагаемом файле представлено расписание предзащит ВКР.

Предзащиты будут проходить в онлайн-режиме на платформе Zoom. Ссылка на онлайн-конференцию будет выложена на сайте позже.
К предзащите необходимо подготовить презентацию работы на 7 минут.
Кроме того, за день до предзащиты необходимо выслать секретарю кафедры последний вариант текста ВКР, который будет разослан членам кафедры для ознакомления.

Студентам 3 курса необходимо получить зачет по учебной практике за 2 семестр.

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

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

Научный руководитель принимает реферат и отчет у студента, пишет краткий отзыв о его работе, после чего пересылает реферат и отчет секретарю кафедры.

Студентам 4 курса и магистрантам 2 года необходимо получить зачет по производственной практике за 2 семестр.

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

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

Отчеты будут рассмотрены на заседании кафедры 15 мая.
Оценки за производственную практику будут переданы в деканат.

В связи с переходом на дистанционную форму обучения кафедра решила снизить требования к количеству спецкурсов и спецсеминаров до минимальных требований деканата.

Магистрантам 2-го года необходимо иметь зачеты за 2 года спецсеминаров и 3 года спецкурсов за все время обучения в магистратуре.

Бакалаврам необходимо иметь 1,5 годa спецкурсов (для ПМИ), 1 год спецкурсов (для МКН) и 1 год спецсеминаров (для всех).

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

Лектор -- Шелехов Владимир Иванович.

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

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

В связи с переводом НГУ на дистанционную форму обучения с 19 марта 2020 г. временно отменяются заседания семинара ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ.

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