| № |
Название |
длит. |
Лектор |
Время |
Место |
| 1 |
Основания и обоснования информатики (обязательный) |
год |
Берс Андрей Александрович |
вторник, 16-00 |
254 к. ИСИ СО РАН |
| 2 |
Основы методов трансляции (обязательный) |
1 п/г |
Михеев Виталий Витальевич |
пятница,16-00 |
254 к. ИСИ СО РАН |
| 3 |
Системы баз данных (обязательный) |
год |
Пищик Борис Николаевич |
среда, 17-45
среда, 19-20 |
424 ауд. (лекции)
306 ауд. (практика) |
| 4 |
Объектно-ориентированное программирование (обязательный) |
год |
Костов Юрий Викторович,
Егоров Вячеслав Евгеньевич |
вторник, 17-45 |
254 к. ИСИ СО РАН |
| 5 |
Графы в программировании |
год |
Касьянов Виктор Николаевич |
среда, 17-45 |
416 ауд. гл.корп. НГУ |
| 6 |
Методы и системы искусственного интеллекта |
год |
Загорулько Юрий Алексеевич |
четверг, 17-45 |
254 к. ИСИ СО РАН |
| 7 |
Методы обработки дискретной информации |
год |
Мурзин Федор Александрович |
пятница,
14-15 |
254 к. ИСИ СО РАН |
| 8 |
Введение в обработку изо-бра-жений и вычисли-тель-ную геометрию |
1 п/г |
Мурзин Федор Александрович |
вторник, 18-00 |
239 к. ИСИ СО РАН |
| 2 п/г |
Куликов Александр Иванович |
| 9 |
Интернет-технологии |
год |
Рычкова Елена Владимировна |
понедельник, 17-45 |
307 ауд. гл. корп. НГУ |
| 10 |
Визуализация графов |
год |
Апанович Зинаида Владимировна |
вторник, 12-30 |
254 к. ИСИ СО РАН |
| 11 |
Предикатное программирование |
год |
Шелехов Владимир Иванович |
пятница, 17-45
с 18.09 |
254 к. ИСИ СО РАН |
| 12 |
Функциональное программирование |
год |
Городняя Лидия Васильевна |
четверг, 12-30 |
239 к. ИСИ СО РАН |
| 13 |
Парадигмы программирования |
год |
Городняя Лидия Васильевна |
понедельник, 12-30 |
254 к. ИСИ СО РАН |
| 14 |
Менеджмент программных проектов |
год |
Скопин Игорь Николаевич |
вторник, 10-00 |
239 к. ИСИ СО РАН |
| 15 |
Логические исчисления |
год |
Одинцов Сергей Павлович |
пятница, 16-00 |
321 ауд. НГУ |
| 16 |
Разработка сложных программ и методы программирования |
год |
Чурина Татьяна Геннадьевна |
воскресенье, 10-00 |
комп. Классы гл. корп. НГУ |
| 17 |
Стандарты XML |
1 п/г |
Марчук Александр Гурьевич |
понедельник, 10-45 |
237 к. ИСИ СО РАН |
| 18 |
Методы верификации программ |
1 п/г |
Непомнящий Валерий Александрович |
среда, 10:45 |
254 к. ИСИ СО РАН |
| 19 |
Язык программирования Zonnon |
1 п/г |
Касьянова Елена Викторовна |
пятница, 17-45 |
307 ауд. НГУ |
| 20 |
Введение в математичес-кие основы САПР |
1 п/г |
Ушаков Дмитрий Михайлович |
четверг, 12-30
с 17.09 |
254 к. ИСИ СО РАН |
| 21 |
Система автоматизации доказательства PVS |
1 п/г |
Шелехов Владимир Иванович |
среда, 16-00 |
254 к. ИСИ СО РАН |
| 22 |
Практическое параллельное программирование в системах с общей памятью |
1 п/г |
Калинина Анна Павловна |
вторник, 14-15 |
Интел-лаборатория НГУ (юридический корпус) |
| 23 |
Психология в программировании |
1 п/г |
Городняя Лидия Васильевна |
понедельник, 18-00 |
254 к. ИСИ СО РАН |
| 2 п/г |
Мурзин Федор Александрович |
| 24 |
Операционные системы (обязательный) |
2 п/г |
Иртегов Дмитрий Валентинович |
|
|
| 25 |
Методы оптимизирующей компиляции |
2 п/г |
Михеев Виталий Витальевич |
|
|
| 26 |
Практика программирования САПР |
2 п/г |
Ермолин Егор Николаевич,
Казаков Алексей Юрьевич |
|
|
| 27 |
Клиент-серверные технологии |
2 п/г |
Марчук Александр Гурьевич |
|
|
| № |
Название |
длит. |
Руководители |
Время |
Место |
| 1 |
Системное программирование
(обязательный для 5-6 курсов) |
год |
Бульонков Михаил Алексеевич,
Марчук Александр Гурьевич |
четверг, 11:00 |
254 к. ИСИ СО РАН |
| 2 |
Конструирование и оптимизация программ |
год |
Касьянов Виктор Николаевич |
вторник, 14:15 |
254 к. ИСИ СО РАН |
| 3 |
Современные информационные технологии |
год |
Пищик Борис Николаевич,
Федотов Анатолий Михайлович |
вторник, 14:15 |
конференц-зал ИВТ СО РАН (к.411) |
| 4 |
Интеллектуальные системы |
год |
Загорулько Юрий Алексеевич |
четверг, 9:30 |
254 к. ИСИ СО РАН |
| 5 |
Теоретическое и экспери-мен-тальное программирование
(обязательный для 5-6 курсов) |
год |
Непомнящий Валерий Александрович |
вторник, 10:45
(с 15 сентября) |
254 к. ИСИ СО РАН |
| 6 |
Методы и технологии программирования |
год |
Скопин Игорь Николаевич |
|
|