Для получения зачета по производственной практике за первый семестр текущего учебного года всем студентам 4 курса и магистрантам, специализирующимся на кафедре, необходимо написать краткий отчет о проделанной работе за семестр. Бланк отчета можно скачать с сайта кафедры (раздел Организационные материалы). На этом отчете научный руководитель должен написать свой отзыв на работу студента, указать рекомендуемую оценку и расписаться. Отчет сдать секретарю кафедры до 30 декабря.

В зачетную книжку оценку ставит научный руководитель.

22 ноября (в четверг) в 17:15 в 239 к. ИСИ СО РАН состоится заключительное заседание кафедры программирования, посвященное утверждению тем студентов и аспирантов кафедры.

На заседание приглашаются научные руководители студентов и аспиранты.

В течение всего октября и первых двух недель ноября по четвергам с 17:15 в 239 к. ИСИ СО РАН будут проводиться заседания кафедры программирования, посвященные утверждению тем курсовых и выпускных квалификационных работ студентов кафедры (4 курс, магистранты 1-го и 2-го годов).

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

Первое заседание назначено на 18 октября.

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

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

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

Спецкурс будет читаться по средам с 16:20 в ауд. 5210 нового учебного корпуса НГУ.

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

Начинает работу годовой спецкурс ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ.

Лекции будут проходить по четвергам в 12-40, к. 254 (семинарская ИСИ) в здании ИВМиМГ.

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

Лидия Васильевна Городняя (лекции)

Татьяна Анатольевна Андреева (практика)

5 октября д.ф.-м.н. С.П.Одинцов начинает чтение годового спецкурса "Введение в неклассические логики", объявленный на кафедре алгебры и математической логики.

Курс будет читаться по пятницам в 16:20 в 4204 ауд. нового учебного корпуса НГУ.

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

Доцент Е.В. Касьянова начинает чтение спецкурса "Язык программирования Zonnon".

Занятия будут проходить по четвергам с 14:30 в ауд. 3255 нового учебного корпуса.

Первая лекция состоится 4 октября

.

Профессор В.Н. Касьянов начинает чтение годового спецкурса "Графы в программировании". Занятия будут проходить по понедельникам в 18:10, в ауд. 321 старого главного корпуса НГУ.

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

Профессор В.Н. Касьянов начинает чтение полугодового спецкурса "Теория вычислений". Занятия будут проходить по четвергам в 16:20, в ауд. 321 старого главного корпуса НГУ.

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