Расписание спецкурсов кафедры

№ Название Длительность Лектор Время Место
1. Визуализация графов год Апанович Зинаида Владимировна понедельник, 18:10 дистанционно
2. Графы в программировании год Касьянов Виктор Николаевич понедельник, 18:10 Дистанционно
3. Методы и системы искусственного интеллекта год Загорулько Юрий Алексеевич вторник, 18:10 ауд. 5251 НГУ
4. Менеджмент программных проектов (Руководство командой и управление инновационными наукоемкими программными проектами) год Скопин Игорь Николаевич
5. Основы компьютерной лингвистики 1-е полугодие Сидорова Елена Анатольевна вторник, 16:20 ауд. 1156 НГУ
6. Методы компьютерной лингвистики 2-е полугодие Сидорова Елена Анатольевна
7. Язык программирования Java год Донских Владимир Алексеевич вторник, 16:20 ауд. 5251 НГУ
8. Основы методов трансляции 1-е полугодие Михеев Виталий Витальевич
9. Принципы, методы и средства связывания данных в приложениях Semantic Web 1-е полугодие Апанович Зинаида Владимировна пятница, 10:50 ауд. 336 ГК НГУ
10. Методы верификации программ 1-е полугодие Марьясов Илья Владимирович вторник, 9:00(н/ч), 10:50 (ч) ауд. 1155 НГУ
11. Структуры данных: парадигмы и технологии 1-е полугодие Марчук Александр Гурьевич понедельник, 16:20 дистанционно
12. Клиент-серверные технологии 2-е полугодие Марчук Александр Гурьевич
13. Теория вычислений 1-е полугодие Касьянов Виктор Николаевич четверг, 18:10 дистанционно
14. Формальные методы в программной инженерии (обязательный для магистрантов) 1-е полугодие Шелехов Владимир Иванович,
Зубарев Алексей Юрьевич 		среда, 16:20 ауд. 5272 НГУ
15. Функциональное программирование (лекции и практика) 1-е полугодие Городняя Лидия Васильевна, Андреева Татьяна Анатольевна четверг, 18:10 254 ауд. ИСИ СО РАН
16. Язык программирования Zonnon 1-е полугодие Касьянова Елена Викторовна четверг, 16:20 ауд. 4211 НГУ
17. Методы оптимизирующей компиляции 2-е полугодие Михеев Виталий Витальевич
18. Парадигмы программирования (лекции и практика) 2-е полугодие Городняя Лидия Васильевна, Андреева Татьяна Анатольевна
19. Методы верификации моделей для классов программ и систем 2-е полугодие Гаранина Наталья Олеговна
20. Гуманитарные факторы программирования 1-е полугодие Городняя Лидия Васильевна вторник, 18:10 к. 254 ИСИ СО РАН
21. Разработка интерфейсов программных систем год Скопин Игорь Николаевич
22. Программирование на языке Python 2-е полугодие Палеев Дмитрий Владимирович
23. Базы данных-2 2-е полугодие Пономарев Денис Константинович
24. Введение в абстрактную интерпретацию 1-е полугодие Емельянов Павел Геннадьевич среда, 18:10 ауд. 4204 НГУ
25. Методы разработки формальных семантик языков программирования 1-е полугодие Ануреев Игорь Сергеевич вторник, 18:30 239 к. ИСИ, и
дистанционнно
26. Методы проверки выполнимости булевых формул 1-е полугодие Кондратьев Дмитрий Александрович понедельник, 12:40 ауд. 418 КПА НГУ
27. Основы методов проверки выполнимости формул в теориях 2-е полугодие Кондратьев Дмитрий Александрович