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

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

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

Версия 09:16, 6 марта 2009


Лекции

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

Спецкурсы
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 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
Личные инструменты
Разделы