№ | Название | Длительность | Лектор | Время | Место |
---|---|---|---|---|---|
1. | Визуализация графов | год | Апанович Зинаида Владимировна | понедельник, 17:00 | дистанционно |
2. | Графы в программировании | год | Касьянов Виктор Николаевич | понедельник, 18:10 | дистанционно |
3. | Методы и системы искусственного интеллекта | год | Загорулько Юрий Алексеевич | вторник, 16:20 | ауд 4204 НГУ |
4. | Менеджмент программных проектов (Руководство командой и управление инновационными наукоемкими программными проектами) | год | Скопин Игорь Николаевич | вторник, 16:20 | ауд. 338 ГК НГУ |
5. | Основы компьютерной лингвистики | 1-е полугодие | Сидорова Елена Анатольевна | вторник, 16:20 | ауд. 4211 НГУ |
6. | Методы компьютерной лингвистики | 2-е полугодие | Сидорова Елена Анатольевна | ||
7. | Язык программирования Java | год | Донских Владимир Алексеевич | среда, 16:20 | ауд. 332 ГК НГУ |
8. | Основы методов трансляции | 1-е полугодие | Михеев Виталий Витальевич | ||
9. | Принципы, методы и средства связывания данных в приложениях Semantic Web | 1-е полугодие | Апанович Зинаида Владимировна | пятница, 9:50 | ауд. 1154 НГУ |
10. | Методы дедуктивной верификации программ | 2-е полугодие | Марьясов Илья Владимирович | ||
11. | Структуры данных: парадигмы и технологии | 1-е полугодие | Марчук Александр Гурьевич | ||
12. | Теория вычислений | 1-е полугодие | Касьянов Виктор Николаевич | четверг, 18:10 | дистанционно |
13. | Формальные методы в программной инженерии (обязательный для магистрантов) | 1-е полугодие | Шелехов Владимир Иванович, Зубарев Алексей Юрьевич |
среда, 16:20 | ауд. 5272 НГУ |
14. | Функциональное программирование (лекции и практика) | 1-е полугодие | Городняя Лидия Васильевна, Андреева Татьяна Анатольевна | четверг, 11:30 | 254 ауд. ИСИ СО РАН |
15. | Язык программирования Zonnon | 1-е полугодие | Касьянова Елена Викторовна | среда, 14:30 | ауд. 4231 НГУ |
16. | Методы оптимизирующей компиляции | 2-е полугодие | Михеев Виталий Витальевич | ||
17. | Парадигмы программирования (лекции и практика) | 2-е полугодие | Городняя Лидия Васильевна, Андреева Татьяна Анатольевна | ||
18. | Методы верификации моделей для классов программ и систем | 2-е полугодие | Гаранина Наталья Олеговна | ||
19. | Гуманитарные факторы программирования | 2-е полугодие | Городняя Лидия Васильевна | ||
20. | Разработка интерфейсов программных систем | 1-е полугодие | Скопин Игорь Николаевич | четверг, 16:20 | ауд. 342 ГК НГУ |