Шаблон:Лекции

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
Строка 3: Строка 3:
[[Лекции]]<br />
[[Лекции]]<br />
{|align="center"
{|align="center"
 +
!style="text-align:right"|9&nbsp;семестр
 +
|style="text-align:left"| [[МФСП|Формальная спецификация и верификация программ]] | [[Тигры|Теория игры и исследования операций]] | [[История математики|История и методология прикладной математики]] | [[Основы российского права]] | [[История религии]] | [[ПОД (3 поток)|Параллельная обработка данных]]
 +
|-
!style="text-align:right"|8&nbsp;семестр
!style="text-align:right"|8&nbsp;семестр
|style="text-align:left"| [[ВПнМ|Верификация программ на моделях]] | [[МОТП|Математические основы теории прогнозирования]] | [[ОКФиКВ|Основы квантовой физики и квантовых вычислений]] | [[Методы оптимизации]] | [[РОС|Распределённые операционные системы]]
|style="text-align:left"| [[ВПнМ|Верификация программ на моделях]] | [[МОТП|Математические основы теории прогнозирования]] | [[ОКФиКВ|Основы квантовой физики и квантовых вычислений]] | [[Методы оптимизации]] | [[РОС|Распределённые операционные системы]]

Версия 15:11, 12 сентября 2008


Лекции

9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки

Спецкурсы
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim
Личные инструменты
Разделы