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

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