2025

С/к Введение в абстрактную интерпретацию

17.09.2025

Начинается чтение спецкурса "Введение в абстрактную интерпретацию",
лектор Емельянов Павел Геннадьевич.

Занятия будут проходить по средам с 18:10.
Первое занятие состоится 01 октября. Подходить к ауд. 4138 (кафедра программирования ММФ).

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

17.09.2025

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

Занятия прооходят в ауд. 1155 по вторникам с 9:00 по нечетным неделям, и с 10:50 по четным.

Со всеми вопросами обращаться к лектору по эл. почте: ivm1999@mail.ru

С/к «Структуры данных: парадигмы и технологии»

17.09.2025

Профессор, д.ф.-м.н. Марчук А.Г. начинает чтение семестрового с/курса «Структуры данных: парадигмы и технологии».

Лекции будут проходить online через систему MS Teams по понедельникам, в 16:20.

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

Ссылка на собрание: Лекции А.Г.Марчука к с/курсу "Структуры данных: парадигмы и технологии" | Microsoft Teams | Присоединение к митапу

С/к Основы компьютерной лингвистики

08.09.2025

Объявляется полугодовой спецкурс: "Основы компьютерной лингвистики" (Доцент НГУ, к.ф.-м.н. Сидорова Е.А.)

Занятия будут проходить по вторникам в аудитории 1156 НГУ (новый корпус), начало в 16:20.
Первое занятие состоится 9 сентября 2025 года.

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

С/к «Принципы, методы и средства связывания данных в приложениях Semantic Web»

30.08.2025

Доцент НГУ, к.ф.-м.н. АПАНОВИЧ З.В. начинает чтение полугодового спецкурса «Принципы, методы и средства связывания данных в приложениях Semantic Web».

Занятия будут проходить по пятницам в аудитории 336 ГК НГУ, начало в 10.50. Первое занятие состоится 5 сентября 2025 года.