Информация для студентов кафедры СП ФУПМ МФТИ


Студентам

Расписание занятий

Расписание занятий студентов МФТИ в ИСП РАН на 2019-2020 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2018-2019 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2017-2018 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2015-2016 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2014-2015 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2013-2014 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2012-2013 гг.

Расписание занятий студентов МФТИ в ИСП РАН на 2010-2011 гг.

Учебные курсы

Основные направления, по которым ведется подготовка студентов МФТИ:

  • Объектно-ориентированное программирование.
  • Формальные методы спецификации программ.
  • Технология компиляторов.
  • Математические основы информатики.
  • Реинжениринг программного обеспечения.
  • Компьютерная графика и визуализация научных исследований.
  • Распределенные и параллельные вычислительные системы.
  • Базы данных и базы знаний.
  • Телекоммуникации, сети и Интернет.

1. Конструирование оптимизирующих компиляторов. (к.ф.-м.н. С.С. Гайсарян).

2. Сложность комбинаторных алгоритмов. (к.ф.-м.н. А.В. Шокуров)

3. Теоретическая криптография. (Н.П. Варновский)

4. Решетки, алгоритмы, теория чисел и современная криптография. (к.ф.-м. А.В. Шокуров)

5. Теоретические основы численного анализа. (к.ф.-м.н. А.В. Шокуров)

6. Современные компьютеры и сети передачи данных. Часть I. «Современные компьютеры». (д.т.н. В.З. Шнитман)

7. Современные компьютеры и сети передачи данных. Часть II. «Организация сетей открытых систем и обеспечение их безопасности». (д.т.н. В.З. Шнитман)

8. Системы параллельного программирования. (д.ф.-м.н. А.И. Аветисян)

9. Технология программирования в среде UNIX. (д.т.н. С.Д. Кузнецов)

10. Системы управления базами данных. (д.т.н. С.Д. Кузнецов)

11. Научная визуализация. (д.ф.-м.н. В.А. Семенов)

12. Распределенные алгоритмы. (д.ф.-м.н. В.А. Захаров)

13. Верификация программного обеспечения. Часть I. (к.ф.-м.н. Мутилин В.С.)

14. Верификация программного обеспечения. Часть II. (к.ф.-м.н. А.С. Камкин)

15. Конструирование ядра операционной системы. (к.ф.-м.н. А.В. Хорошилов)

Список студентов

[1995-1996] [1996-1997] [1997-1998] [1998-1999] [1999-2000] [2000-2001] [2001-2002]

[2002-2003] [2003-2004] [2004-2005] [2005-2006] [2006-2007] [2007-2008] [2008-2009]

[2009-2010] [2010-2011] [2011-2012] [2012-2013] [2013-2014] [2015-2016]

Государственный экзамен для студентов

Программа итогового государственного экзамена по специальности 0103060 "Системное программирование"

Темы дипломных работ

[2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006] [2006-2007]

[2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013] [2013-2014]

[2014-2015]