SE Wiki — различия между версиями
Материал из SEWiki
(→Учебная информация) |
Zalim (обсуждение | вклад) м (→Учебная информация) |
||
| Строка 26: | Строка 26: | ||
* [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]] | * [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]] | ||
* [[Разработка_интерактивных_интерфейсов_2012|Разработка интерактивных интерфейсов]] | * [[Разработка_интерактивных_интерфейсов_2012|Разработка интерактивных интерфейсов]] | ||
| − | * [[SCALA_2012| | + | * [[SCALA_2012|Scala]] |
* [[Сетевые технологии]] | * [[Сетевые технологии]] | ||
* [[Обобщенное и генеративное программирование]] | * [[Обобщенное и генеративное программирование]] | ||
Версия 23:37, 14 сентября 2012
Содержание
Учебная информация
5 курс:
- Базы данных
- Алгебраические структуры
- Алгоритмы и структуры данных
- Операционные системы
- Основы программной инженерии
- Теория графов
- Комбинаторика
- Мат. логика
- Unix и скриптовые языки
- С++
- Технологический семинар
- НИР
6 курс:
- Виртуальные машины
- Машинное обучение
- UML
- Компьютерная графика
- Параллельные и распределенные вычисления
- Программирование в ядре Windows
- Тестирование ПО
- Анализ данных
- Формальные языки
- Методы формальной верификации программ
- Разработка интерактивных интерфейсов
- Scala
- Сетевые технологии
- Обобщенное и генеративное программирование
Архив за прошлые семестры
Практики
Студенты
Важные ссылки
Для 5-го курса:
- cpp - репозиторий для лабораторных по С++.
- aptu-os - репозиторий для лабораторных по операционным системам.
Для 6-го курса:
- hpcource - репозиторий для лабораторных по параллельному программированию.
- mathvm - репозиторий для лабораторных по виртуальным машинам.
- spbau-network-2011 - репозиторий для лабораторных по сетевым технологиям.
