Лекции/Курсы

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

(Различия между версиями)
Перейти к: навигация, поиск
(Отмена правки № 1345 участника 88.191.68.198 (обсуждение))
 
Строка 1: Строка 1:
[[Лекции|Вернуться к списку лекций]]
[[Лекции|Вернуться к списку лекций]]
 +
 +
== Лекции (9 семестр) ==
 +
{{Курс МФСП}}
 +
{{Курс Тигры}}
 +
{{Курс История математики}}
 +
{{Курс Основы российского права}}
 +
{{Курс История религии}}
 +
{{Курс ПОД (3 поток)}}
 +
 +
== Лекции (8 семестр) ==
 +
{{Курс ВПнМ}}
 +
{{Курс МОТП}}
 +
{{Курс ОКФиКВ}}
 +
{{Курс Методы оптимизации}}
 +
{{Курс РОС}}
 +
 +
== Лекции (7 семестр) ==
 +
{{Курс Вычислительные Системы}}
 +
{{Курс ООАиП}}
 +
{{Курс Искусственный Интеллект}}
 +
{{Курс Параллельная Обработка Данных}}
 +
{{Курс Математическая Логика}}
 +
{{Курс Функциональный Анализ}}
 +
{{Курс Социология}}
== Лекции (6 семестр) ==
== Лекции (6 семестр) ==
Строка 11: Строка 35:
{{Курс Языки Программирования}}
{{Курс Языки Программирования}}
{{Курс Экономика}}
{{Курс Экономика}}
 +
 +
== Спецкурсы (осень 2008) ==
 +
{{Курс UNИX, осень 2008}}
 +
{{Курс Обработка сигналов}}
 +
 +
== Спецкурсы (весна 2008) ==
 +
{{Курс UNИX, весна 2008}}
 +
{{Курс ВОВКнОUС}}
 +
{{Курс Философия математики}}
 +
 +
== Спецкурсы (осень 2007) ==
 +
{{Курс UNИX, осень 2007|UNИX}}
== Спецкурсы (весна 2007) ==
== Спецкурсы (весна 2007) ==
{{Курс Спецкурс по Linux, весна 2007}}
{{Курс Спецкурс по Linux, весна 2007}}
{{Курс Практика мультипарадигмального программирования}}
{{Курс Практика мультипарадигмального программирования}}
-
{{Курс Параллельные вычисления}}
 
== Спецкурсы (осень 2006) ==
== Спецкурсы (осень 2006) ==
{{Курс Введение в теорию построения оптимизирующих компиляторов}}
{{Курс Введение в теорию построения оптимизирующих компиляторов}}

Текущая версия

Вернуться к списку лекций

Содержание

[править] Лекции (9 семестр)


Формальная спецификация и верификация программ


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
12 19 26
Декабрь
03 17
Семинары

01 02 03 04 05 06


Календарь

Сентябрь
01 08 15 22 29
Октябрь
06

Оформление задач|Проведение экзамена


Теория игры и исследования операций


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

Сентябрь
04 11 18 25
Октябрь
02 09 16 23 30
Ноябрь
06 13 20 27
Декабрь
04 11 18



Материалы по курсу
Контрольная 1 | Контрольная 2 | Контрольная 3


История математики


01 02 03 04 05 06 07 08 09 10 11 12 13


Календарь

2008 год 2009 год
Сентябрь
04 11 18 25
Октябрь
02 09 16 23 30
Ноябрь
06 13 20 27
Сентябрь
02 09 16 23 30
Октябрь
07 14 21 28
Ноябрь
04 11 18 25

Программа курса | Теоретический минимум


Основы российского права


01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

Сентябрь
05 12 19 26
Октябрь
10 17 24
Ноябрь
07 14 21 28
Декабрь
05 12 19

Дополнительные материалы
Списки вопросов к зачёту и тем рефератов


История религии


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

2008 год 2009 год
Сентябрь
05 12 19 26
Октябрь
03 10 17 24 31
Ноябрь
07 14 21 28
Декабрь
05 12 19
Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
05 12 19 26
Декабрь
03 10 17


Параллельная обработка данных (курс третьего потока)


Вопросы | Ответы | Тестовые вопросы

[править] Лекции (8 семестр)


Верификация программ на моделях


01 02 03 04 05 06 07 08 09 10


Календарь

пт пт пт пт пт
Февраль
  08 15 22 29
Март
  14 21 28
Апрель
04 11 18

Материалы по курсу
Список вопросов к экзамену | Примеры задач: 1 2 3 4 5 | Теормин

Математические основы теории прогнозирования


Материалы по курсу
Билеты (2009) | Примеры задач (2009) | Примеры задач контрольной работы (2013) | Определения из теории вероятностей


Основы квантовой физики и квантовых вычислений


01 02 03 04 05 06 07 08 09 10 11 12


Календарь

Февраль
13 20 27
Март
05 12 19 26
Апрель
02 09 16 23 30


Методы оптимизации


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15


Календарь

пт пт пт пт пт
Февраль
  08 15 22 29
Март
06 13 20 27
Апрель
04 11 18 25
Май
02   16 23

Материалы
Упражнения || Задачи | Определения | Утверждения | Теоремы || Теормин | Обозначения


Распределённые операционные системы


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15


Календарь

пт пт пт пт пт
Февраль
  08 15 22 29
Март
06 13 20 27
Апрель
04 11 18 25
Май
02   16 23

Ответы на задачи

[править] Лекции (7 семестр)


Вычислительные Системы


01 02 03 04 05 06 07 08 09 10 11


Календарь

пн пн пн пн пн
Сентябрь
03 10 17
Октябрь
01 08 15 22 29
Ноябрь
05 12 19

Материалы
Вопросы по курсу


Объектно-ориентированные анализ и проектирование


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15


Календарь

Ноябрь
07 08 14
Октябрь
05 12 19 26
Ноябрь
02 09 16 23 30
Декабрь
07 14 21


Искусственный Интеллект


01 02 03 04 04 06 ... -3 -2 -1


Календарь

вт вт ср вт ср вт
Сентябрь
04 11 12 18 19 25
Ноябрь
      20   27
Декабрь
04

Материалы
Фактический материал | Вопросы на экзамене


Параллельная Обработка Данных


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

вт вт вт вт вт
Сентябрь
04 11 18 25
Октябрь
02 09 16 23 30
Ноябрь
06 13 20 27
Декабрь
04 11 18

Материалы к зачету

Вопросы к зачету по курсу Параллельная обработка данных


Математическая Логика


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

Сентябрь
24 25 26
Октябрь
02 03 10 17 24 31
Ноябрь
07 14 21 28
Декабрь
05 12 19
Семинары

01 02 03 04 05 06 07


Календарь

Сентябрь
26
Октябрь
10 24
Ноябрь
07 21
Декабрь
05 19

Ссылки
Официальная страница курса | Задачи
Проведение экзамена | Решение задач: Решение задач методички | Решение задач варианта экзамена 2004 года | Алгоритмы решения задач


Функциональный Анализ


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

пн пн пн пн пн
Сентябрь
07 14 21 28
Октябрь
05 12 19 26
Ноябрь
02 09 16 23 30
Декабрь
07 14 21

Материалы к зачёту
Список вопросов | Список задач


Социология


01 02 03 04 05 06 07 08


Календарь

ср ср ср
Сентябрь
05 19
Октябрь
03 17 31
Ноябрь
  14 28
Декабрь
  12

Материалы к экзамену

Билеты к экзамену 2010 (new!) | Ответы на билеты 2010 (new!)

[править] Лекции (6 семестр)


Основы Кибернетики


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

пт пт пт пт пт
Февраль
09 16 26
Март
02 09 16 23 30
Апрель
06 13 20 27
Май
04 11 18 25

Материалы к экзамену

Экзаменационные вопросы 3 потока 2007 (new!) | Алгоритмы решения задач | Теормин | Определения


Численные Методы


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22


Календарь

Февраль
пн
12 19
вт
13 20 27
Март
пн
05 12 19 26
вт
06 13 20 27
Апрель
пн
02 09 16 23 29
вт
03 10 17 24

Дополнительная информация

Содержание курса | Задачи на лекциях

Материалы к экзамену

Вопросы по курсу | Определения


Конструирование Компиляторов


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

пн пн пн пн пн
Февраль
12 19 26
Март
05 12 19 26
Апрель
02 09 16 23 30
Май
07 14 21 28

Материалы к экзамену
Проведение экзамена | Определения | Теормин: 2007, 2009, 2012 | Алгоритмы решения задач


Компьютерные Сети


Материалы
Вопросы: 1 | 2 | 3 | 4 | 5 | 6 | 7

[править] Лекции (5 семестр)


Базы Данных


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28


Календарь

пт чт пт чт пт чт пт чт пт чт
Сентябрь
01 07 14 15 21 22 28 29
Октябрь
  05 06 12 13 19 20 26 27
Ноябрь
  02 03 09 16 17 23 24 30
Декабрь
  07 08 14 15

Вопросы к экзамену
1999 2000 2001 2002 2003 2004 2005 2006


Дополнительная информация к экзамену


Языки Программирования


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28


Календарь

чт вт чт вт чт вт чт вт чт вт
Сентябрь
  05 07 12 14 19 21 26 28
Октябрь
  03 05 10 12 17 19 24 26 31
Ноябрь
02 14 16 21 23 28 30
Декабрь
05 07 12 14

Материалы к экзамену
Сравнение языков программирования


Введение в курс экономической теории


01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

пн пн пн пн пн
Сентябрь
  11 18 25
Октябрь
02 09 16 23 30
Ноябрь
06 13 20 27
Декабрь
04 11

[править] Спецкурсы (осень 2008)


UNИX, осень 2008


Лекции

01 02 03 04 05 06 07 08 09 10 11 12


Календарь

Октябрь
01 08 15 22 29
Ноябрь
05 12 19 26
Декабрь
03 10 17
Семинары

01 02


Календарь

Сентябрь
01
Ноябрь
02

Шаблон:Курс Обработка сигналов

[править] Спецкурсы (весна 2008)


UNИX, весна 2008


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

Февраль
13 20 27
Март
05 12 19 26
Апрель
02 09 16 23 30
Май
07 14
Семинары

01 02 03 04 05 06 07


Календарь

Март
21
Апрель
04
Май
16 30
Июль
11 18
Август
15


Вопросы организации вычислительных кластеров на основе UNIX-серверов


01 02 03 04 05 06 07 08 09 10 11


Календарь

пт пт пт пт пт
Февраль
    15 22 29
Март
07 14 21 28
Апрель
04 11 18 25


Философия математики


01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

Февраль
18 25
Март
03 10 17 24 31
Апрель
07 14 21 28
Май
05 12 19

[править] Спецкурсы (осень 2007)


UNИX, осень 2007


01 02 03 04 05 06 07 08 09 10 11


Календарь

Октябрь
05 12 19 26
Ноябрь
02 09 16 23 30
Декабрь
07 14

Экзамены
21 декабря: информация, конспект
11 января: информация, конспект, быстрые вопросы

[править] Спецкурсы (весна 2007)


Спецкурс по Linux, весна 2007


01 02 03 04 05 06 07 08 09 10 11 12


Календарь

Февраль
16
Март
02 09 16 23 30
Апрель
06 13 20 27
Май
04 11

18 мая 2007 года прошёл экзамен по курсу. Краткий конспект экзамена.
22 мая 2007 года прошёл экзамен по курсу для студентов 3 курса и тех, кто не сдал экзамен 18 мая. Подробности здесь.
12 июня 2007 года (вторник) пройдёт экзамен по курсу. Информация об экзамене отсюда.


Практика мультипарадигмального программирования


01 02 03 04 05 06 07 08


Календарь

пн пн пн пн пн
Февраль
12 19
Март
12 19 26
Апрель
02 09 16

[править] Спецкурсы (осень 2006)


Введение в теорию построения оптимизирующих компиляторов


01 02 03 04 05 06 07 08 09 10


Календарь

вт вт вт вт вт
Сентябрь
    19 26
Октябрь
  10   24 31
Ноябрь
07 14 21
Декабрь
05 12
Личные инструменты
Разделы