Шаблон:Лекции
Материал из eSyr's wiki.
8 семестр | Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы |
---|---|
7 семестр | Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных |
6 семестр | Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети |
5 семестр | Базы Данных | Языки Программирования | Экономические Науки |
Спецкурсы, осень 2007 | UNИX |
Спецкурсы, весна 2007 | UNИX | Практика мультипарадигмального программирования |
Спецкурсы, осень 2006 | Введение в теорию построения оптимизирующих компиляторов |
Отдельные лекции | Bruce Eckel, The State of The Java Union |