2018-2019

С/к Операционные системы

14.02.2019

Студентам, желающим посещать спецкурс "Операционные системы", требуется написать письмо лектору Дмитрию Валентиновичу Иртегову на адрес: fat@nsu.ru для уточнения времени проведения занятий.

с/к СУБД MS SQL Server

06.02.2019

В этом семестре начинается чтение нового спецкурса "СУБД MS SQL Server".

В курсе рассматриваются вопросы, с которыми постоянно приходится сталкиваться разработчикам программного обеспечения с использованием реляционных баз данных. Основное внимание уделено программированию и проектированию БД. В краткой форме рассматриваются вопросы администрирования и оптимизации производительности. Цель курса – заложить основы навыков применения реляционных БД, создать фундамент для дальнейшего самостоятельного обучения по данному направлению.

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

01.02.2019

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

Лекции будут проходить по пятницам в 09:00 в ауд. 2128 нового учебного корпуса НГУ.

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

Зачет по производственной практике

21.12.2018

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

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

Утверждение тем - последняя возможность

20.11.2018

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

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

Утверждение тем

11.10.2018

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

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

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

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

26.09.2018

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

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

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

26.09.2018

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

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

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

С/к "Функциональное программирование"

26.09.2018

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

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

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

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

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

С/к "Введение в неклассические логики"

21.09.2018

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

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

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