2015

С/к "Объектно-ориентированное программирование"

08.09.2015

Ю.В. Костов начинает читать годовой спецкурс "Объектно-ориентированное программирование".

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

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

04.09.2015

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

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

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

С/к "Формальные методы в программной инженерии"

04.09.2015

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

Спецкурс будет читаться по вторникам с 17:45 в ауд. 306 гл. корп. НГУ.

Первое занятие состоится 8 сентября

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

04.09.2015

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

Первая лекция состоится 23 сентября 2015 года.

Всем желающим посещать данный спецкурс просьба зарегистрироваться на сайте в разделе Обучение/Спецкурсы/Запись на спецкурс.

Титульные листы

20.05.2015

В прилагаемом файле находятся шаблоны титульных листов для курсовых и выпускных квалификационных работ студентов ММФ. Пожалуйста, при оформлении своих работ используйте соответствующий вариант.

Титульные листы

Предзащита выпускных квалификационных работ, защита курсовых

28.04.2015

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

На предзащиту не допускаются студенты, не имеющие зачета по производственной практике за первый семестр и/или не выступившие с докладом на спец.семинаре.

Зачеты по производственной или учебной практике, зачеты по НИР

28.04.2015

В конце семестра всем студентам, специализирующимся на кафедре, необходимо получить зачет по производственной практике (для 4 курса и 2 курса магистратуры), по учебной практике (для 3 курса) или по научно-исследовательской работе (для 1 курса магистратуры). Для этого требуется предоставить на кафедру отчет с отзывом и подписью научного руководителя.

Отчеты предоставляются в двух видах: печатном и электронном!

Бланк отчета по производственной практике для студентов 4 курса и 2 курса магистратуры

Расписание предзащит, зачетов и защит курсовых работ

17.04.2015

На 5, 19 и 21 мая назначены заседания кафедры, посвященные предзащите дипломных работ. 29 мая пройдет зачёт по производственной практике на 3 курсе. На 28 мая назначена защита курсовых работ магистрантов 1 года. Предварительное расписание доступно в прилагаемом файле. Оно может изменяться!
Расписание заседаний кафедры

Выступление дипломников на семинарах

17.04.2015

Каждый студент, защищающий в этом году дипломнyю работу, должен до своей предзащиты выступить на одном из срец.семинаров кафедры.
Текущее распределение студентов по семинарам и расписание выступлений выложено в прикрепленном файле.

Текущее расписание выступлений (версия от 17.04.2015)

По согласованию с руководителями семинаров выступление на МНСК-2015 может быть засчитано в качестве доклада на семинаре.

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

Студентам 2 курса: Введение в системную информатику

27.03.2015

Кафедра программирования начинает чтение спецкурса «Введение в системную информатику», предназначенного для студентов 2 курса ММФ НГУ, выбирающих направление специализации.

Лекции будут читать ведущие ученые Института систем информатики им. А.П. Ершова и некоторых других институтов и организаций. Здесь можно будет получить представление о тематике исследований и предлагаемым направлениям студенческой практики, а также познакомиться с потенциальными научными руководителями.