Системное и прикладное программное обеспечение (Соловьёв в.М.)

1. Особенности аппаратно-программных платформ современных вычислительных систем.

2. Понятия вычислительного процесса, состояния процесса, дескриптора процесса. Основные идеологии планирования вычислительных процессов.Технологии взаимодействия процессов. Управление вычислительным процессом.

3. Концепция многопоточности в современной операционной системе. Состояния потоков. Приоритеты потоков. Синхронизация потоков. Управление потоками.

4. Понятие ресурса операционной системы. Управление основными ресурсами вычислительной системы. Организация памяти и принцип перевода виртуального адреса в физический. Управление вводом-выводом. Управление внешними устройствами. Общие принципы механизмов обработки прерываний и исключений. Дисциплины обслуживания. Супервизор.

Список литературы:

1. Олифер В.Г., Олифер Н.А. Сетевые операционные системы: Учебник для вузов. – СПб.: Питер, 2003.

2. Соловьев В.М. Практикум по операционным системам. – Саратов.: Издательство Саратовского университета, 2007.

3. Таненбаум Э. Архитектура компьютера. 5-е изд. – СПб.: Питер, 2007.

4. Бройдо В.Л., Ильина О.П. Архитектура ЭВМ и систем: Учебник для вузов. – СПб.: Питер, 2006.

5. Гергель В.П. Теория и практика параллельных вычислений. – М.: Интернет-Университет Информационных технологий, Бином пресс. 2007.

6. Молчанов А.Ю. Системное программное обеспечение. – СПб.: Питер, 2003.

7. Рудометов Е. Современное железо. Настольные, мобильные и встраиваемые компьютеры. – СПб.: БХВ-Питер, 2010.

8. Симонович С.В. Информатика. Базовый курс: Учебник для вузов.2-е изд. – СПб.: Питер, 2004.

Информатика (Иванов а.С.)

1. Формализованные понятия алгоритма: рекурсивные функции, системы текстовых замен.

2. Управляющие структуры в языках программирования высокого уровня.

3. Абстрактные структуры данных, работа со списками.

4. Древовидные структуры данных в программировании, представление и реализация.

5. Графовые структуры данных в программировании, представление и реализация.

6. Доказательство правильности программ, правила вывода.

Список литературы:

1.     Информатика. Базовый курс: учеб. пособие / под ред. С. В. Симоновича. СПб. [и др.] : Питер, 2010. – 639 с.

2.     Огнева М.В., Кудрина Е.В. Основы программирования на языке С++: Учеб. пособие в 2 ч. Часть 1. - Саратов: Изд. «Научная книга», 2008. -100 с.

3.     Огнева М.В., Кудрина Е.В. Основы программирования на языке С++: Учеб. пособие в 2 ч. Часть 2. - Саратов: Изд. «Научная книга», 2009. -100с

Языки программирования и методы трансляции(Миронов С.В.)

1. Регулярные языки: способы задания. Эквивалентность способов представления регулярных языков.

2. Контекстно-свободные языки: способы задания. Лемма о разрастании контекстно-свободных языков.

3. Перевод. Способы задания перевода.

4. Левый и правый разбор. Левый и правый анализатор. Детерминированный алгоритм нисходящего разбора.

5. Алгоритм Эрли получения правого разбора.

6. LL(k)-языки. LL-анализатор. Построение LL(k)-анализатора.

7. LR(k)-языки. LR-анализатор. Построение LR(1)-анализатора.

Литература:

1. Э. А. Опалева Языки программирования и методы трансляции: учеб. пособие / Э. А. Опалева, В. П. Самойленко.- СПб. : БХВ-Петербург, 2005.

2. А. П. Соколов, Системы программирования:теория, методы, алгоритмы. М.: Финансы и статистика, 2004.

3. Теория и реализация языков программирования: учеб. пособие по курсу теории и реализации языков программирования / В. А. Серебряков и др. - М. : МЗ-Пресс, 2003

4. А. Ахо, Дж. Ульман, Теория синтаксического анализа, перевода и компиляции. В 2-х томах. М.: "Мир", 1978.

5. В. Дж. Рейуорд-Смит, Теория формальных языков. М.: "Радио и связь", 1988.