3 курс

Языки программирования (5 семестр)

Основная литература по курсу

• В. Ш. Кауфман. Языки программирования: концепции и принципы. — М.: Радио и связь, 1993.
• М. Бен-Ари. Языки программирования. Практический сравнительный анализ. — М.: Мир, 2000.
• Т. Пратт, М. Зелковиц. Языки программирования: разработка и реализация. — СПб.: Питер, 2002.
• Р. У. Себеста. Основные концепции языков программирования. — М.: Издательский дом «Вильямс», 2001.

Дополнительная литература

• Б. Страуструп. Дизайн и эволюция Си++. — М.: ДМК Пресс, 2000.
• Б. Страуструп. Язык программирования Си++. — М., СПб.: «Издательство БИНОМ» - «Невский Диалект», 2001.
• Д. Вандевурд, Н. М. Джосаттис. Шаблоны Си++, справочник разработчика. — М.: Издательский дом «Вильямс», 2003.
• К. Арнолд, Д. Гослинг, Д. Холмс. Язык программирования Java. — М.: Издательский дом «Вильямс», 2001.
• Н. Вирт. Программирование на языке Модула-2. — М.: Мир, 1987.
• Н. Джехани. Язык Ада. — М.: Мир, 1988.
• Г. Шилдт. С# 2.0. Полное руководство. — М.: ЭКОМ Паблишерс, 2007.
• Т. Нэш. C# 2008: ускоренный курс для профессионалов. — М.: ООО И.Д. Вильямс, 2008.

Варианты экзамена по курсу «Языки программирования»

•  И. Г. Головин. Курс «Языки программирования». Варианты письменного экзамена (234.09 Кбайт) — М.: Издательский отдел факультета ВМиК МГУ им. М. В. Ломоносова. 2009.
• 1997. Вариант 1 (пересдача) (см. оригинал).
• 1999. Вариант 1 (см. оригинал).
• 1999. Вариант 2 (см. оригинал).
• 2003. Вариант 1
• 2004. Вариант 1
• 2005. Вариант 1
• 2006. Вариант 1
• 2007. Вариант 1
• 2008. Вариант 1 (пересдача)

Варианты заданий по практикуму для студентов 3-го курса

• Практические задания для 327, 328 группы на осенний и весенний семестр.

Технологии программирования (5 семестр)

• Материалы к курсу:
  • Конспект лекций по курсу «Технологии программирования», 1999/2000 учебный год (оригинал здесь)
    Лектор — профессор Е.А. Жоголев
    • В формате Adobe PDF:
      •  Надежное программное средство как продукт технологии программирования (366.08 Кбайт) (оригинал здесь)
      •  Источники ошибок в программном средстве (371.21 Кбайт) (оригинал здесь)
      •  Общие принципы разработки программных средств (389.29 Кбайт) (оригинал здесь)
      •  Внешнее описание программного средства (398.21 Кбайт) (оригинал здесь)
      •  Методы спецификации семантики функций (442.17 Кбайт) (оригинал здесь)
      •  Архитектура программного средства (341.5 Кбайт) (оригинал здесь)
      •  Разработка структуры программы и модульное программирование (422.5 Кбайт) (оригинал здесь)
      •  Разработка программного модуля (390.44 Кбайт) (оригинал здесь)
      •  Доказательство свойств программ (350.33 Кбайт) (оригинал здесь)
      •  Тестирование и отладка программного средства (394.54 Кбайт) (оригинал здесь)
      • Обеспечение функциональности и надежности программного средства (оригинал здесь)
      • Обеспечение качества программного средства (оригинал здесь)
      • Документирование программных средств (оригинал здесь)
      • Управление разработкой и аттестация программного средства (оригинал здесь)
      • Объектный подход к разработке программных средств (оригинал здесь)
      • Компьютерная поддержка разработки и сопровождения программных средств (оригинал здесь)
      •  Вопросы к экзамену (96.9 Кбайт), 2002 год (оригинал здесь)
    • В формате MS Word:
      •  Надежное программное средство как продукт технологии программирования (37.3 Кбайт) (оригинал здесь)
      •  Источники ошибок в программном средстве (40.85 Кбайт) (оригинал здесь)
      •  Общие принципы разработки программных средств (46.79 Кбайт) (оригинал здесь)
      •  Внешнее описание программного средства (40 Кбайт) (оригинал здесь)
      •  Методы спецификации семантики функций (63.71 Кбайт) (оригинал здесь)
      •  Архитектура программного средства (53.93 Кбайт) (оригинал здесь)
      •  Разработка структуры программы и модульное программирование (74.7 Кбайт) (оригинал здесь)
      •  Разработка программного модуля (64.19 Кбайт) (оригинал здесь)
      •  Доказательство свойств программ (36.4 Кбайт) (оригинал здесь)
      •  Тестирование и отладка программного средства (47.37 Кбайт) (оригинал здесь)
      • Обеспечение функциональности и надежности программного средства (оригинал здесь)
      • Обеспечение качества программного средства (оригинал здесь)
      • Документирование программных средств (оригинал здесь)
      • Управление разработкой и аттестация программного средства (оригинал здесь)
      • Объектный подход к разработке программных средств (оригинал здесь)
      • Компьютерная поддержка разработки и сопровождения программных средств (оригинал здесь)