Вступительный экзамен по специальности 05.13.11 |
Программа вступительного экзамена в аспирантуру по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»
Скачать документ
Технические и физико-математические науки
I. ТЕОРИЯ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ
- Исчисление высказываний и его свойства.
- Исчисление предикатов первого порядка и его свойства.
- Исчисление предикатов с равенством.
- Формальная арифметика.
II. ТЕОРИЯ АЛГОРИТМОВ
- Машина Тьюринга.
- Нормальные алгоритмы.
- Элементарные по Кальмару алгоритмы.
III. ЯЗЫКИ ПРОГРАММИРОВАНИЯ
- Языки программирования. Основные понятия и определения. История и эволюция. Классификация языков. Проблемы и перспективы развития.
- Языки, поддерживающие классические технологические процессы.
- Языки моделирования. Моделирование на основе структурной методологии. Моделирование на основе объектно-ориентированной методологии.
- Языки программирования высокого уровня: обзор языков, ориентированных на предметную область.
- Языки программирования для задач искусственного интеллекта.
- Естественные языки. Особенности естественных языков и культурных сред.
IV. СИСТЕМЫ ПРОГРАММИРОВАНИЯ
- Системы программирования. Основные понятия и определения. История и эволюция. Классификация. Проблемы и перспективы развития.
- Процесс-ориентированный инструментарий, применяемый в рамках процессов: возникновение и исследование идеи, управление, анализ требований и проектирование.
- Процесс-ориентированный инструментарий, применяемый в рамках процессов: программирование (реализация). Трансляторы. Компиляторы. Системы генерации трансляторов. Системы анализа корректности программного кода. Интерпретаторы. Декомпиляторы. Системы управления компиляцией и построением программ.
- Процесс-ориентированный инструментарий, применяемый в рамках процессов: тестирование и отладка. Тестовые мониторы. Средства отслеживания тестового покрытия. Средства динамического построения профиля программы. Системы построения срезов программы. Отладчики. Системы отслеживания проблем (ошибок).
- Универсальный инструментарий: инструменты работы с текстом. Средства, базирующиеся на регулярных выражениях. Средства поиска различий. Средства поиска на основе шаблонов. Обозреватели и базы данных программ. Текстовые редакторы. Синтаксически-ориентированные редакторы. Гипертекстовые средства
- Универсальный инструментарий: электронные библиотеки и инструментарий Интернета. Профессиональный поиск информации. Коллекции информационных ресурсов в Интернете.
- Инструментальные системы: инструментальные среды программирования, средства автоматизации разработки программ (CASE-средства), интегрированные среды. Репозитории проекта.
- Средства поддержки коллективной разработки. Системы разделения файлов: управления версиями файлов, управления пространствами, синхронизации удаленных пространств. Системы поддержки работы виртуальных групп
V. БАЗЫ ДАННЫХ
- Языки описания данных, концептуальная, внешняя схемы и схема хранения.
- Модели данных концептуального уровня, модель данных "сущность-связь".
- Реляционная модель данных, реляционная алгебра и исчисление.
- Целостность в модели данных сущность-связь и в реляционной модели данных.
- Язык SQL и его соотношение с реляционными языками запросов.
- Основные алгоритмы выполнения реляционных операций.
- Структуры хранения баз данных, индексы.
- Объектные расширения реляционной модели: структуры данных и языки запросов.
- Согласованность данных и транзакции.
VI АРХИТЕКТУРНАЯ ПЛАТФОРМА
- Основы архитектуры ЭВМ. Основные понятия и определения. История и эволюция компьютерных архитектур. Классификация вычислительных систем. Проблемы и перспективы развития.
- Цифровая логика и цифровые системы. Представление данных в памяти компьютера. Оценка производительности вычислительных систем.
- Микропрограммная реализация ЭВМ.
- Основные архитектуры набора команд. Классические архитектуры: Фон Неймановская, аккумулятор, стековая, регистр-регистр. Архитектуры CISC и RISC.
- Организация вычислительной системы: процессор, память, шина, устройства ввода и вывода данных. Функциональное описание.
- Параллельные и распределенные архитектуры. Основные классы параллельных архитектур. Коммутаторы вычислительных систем.
- Архитектура компьютерных сетей. Классификация сетей и сетевые топологии. Стандарты в области сетей. Аппаратная поддержка локальных сетей. Глобальная сеть Интернет.
VII ОПЕРАЦИОННАЯ ПЛАТФОРМА
- Операционные системы. Основные понятия и определения. История и эволюция операционных систем. Поколения операционных систем. Краткий обзор истории создания операционных систем. Классификация операционных систем. Проблемы и перспективы развития.
- Процессы и потоки (нити) управления. Коммуникация и синхронизация процессов в централизованных архитектурах. Аппаратная поддержка взаимоисключений. Семафоры. Мониторы. Тупики. Модели для анализа свойств процессов.
- Коммуникация процессов в сетях. Уровневые протоколы. Адресация и маршрутизация в сетях. Средства коммуникации высокого уровня. Синхронизация процессов в распределенных системах.
- Планирование и диспетчеризация процессов.
- Память. Основная память. Привязка адресов. Управление виртуальной памятью. Распределенная общая память.
- Внешняя память. Управление внешней памятью. Файлы и файловые системы. Распределенные файловые системы. Драйверы.
- Операционные системы реального времени. Отказоустойчивые операционные системы.
- Оболочки операционных систем. Администрирование операционных систем.
- Сетевая безопасность. Основы криптографии.
- Сравнительный анализ операционных систем семейств Windows и Unix.
- Распределенные вычисления. Web как пример архитектуры "клиент-сервер". Web-технологии, Web-сервера и Web-протоколы.
VIII. ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ
- Технологии программирования. Основные понятия и определения. История и эволюция. Классификации. Проблемы и перспективы развития.
- Классические технологические процессы: возникновение и исследование идеи, управление.
- Классические технологические процессы: анализ требований и проектирование, программирование (реализация).
- Классические технологические процессы: тестирование и отладка, ввод программы в действие, эксплуатация и сопровождение, завершение эксплуатации.
- Основные технологические подходы: ранние технологические подходы, группа подходов быстрой разработки, адаптивные технологические подходы, подходы исследовательского программирования.
- Основные технологические подходы: каскадные технологические подходы, каркасные технологические подходы, генетические технологические подходы, подходы на основе формальных преобразований.
- Технологии коллективной разработки.
- Качество программного обеспечения.
Литература:
- Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. — М.: МЦНМО, 1999.
- Косовский Н.К. Основы теории элементарных алгоритмов. — Л.: Изд. Ленингр. ун-та, 1987.
- Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. — М.: Наука, 1987.
- Грэхем Р., Кнут Д., ПаташникО. Конкретная математика. Основание информатики. — М.: Мир, 1998.
- Пратт Т., Зелковиц М. Языки программирования: разработка и реализация. 4-е издание. — СПб.: Питер, 2002.
- Себеста Р. У. Основные концепции языков программирования, 5-е изд. — М.: Издательский дом "Вильяме", 2001.
- Бабаев И.О., Герасимов М.А., Косовский Н.К. Интеллектуальное программирование. Турбо Пролог и Рефал-5 на персональных компьютерах. -СПб.: Издательство СПбУ, 1992.
- Вендров А. М. CASE-технологии. Современные методы и средства проектирования информационных систем. — М.: Финансы и статистика, 1995.
- Калянов Г. Н. CASE структурный системный анализ (автоматизация и применение). — М.: ЛОРИ, 1996.
- Кожохарь С. К., Евстюнин М. В., Терехов А. Н., Уфнаровский В. А. Как Паскаль и Оберон попадают на "Самсон", или искусство создания трансляторов. — Кишинев: "Штиинца", 1992.
- Дейт К. Введение в системы баз данных, 6-е изд. — К.; М.; СПб.: Издательский дом "Вильяме", 2000.
- Гарсиа-Молина, Ульман, Видом. Системы баз данных. Полный курс."Вильямс", 2003.
- Воеводин В. В., Воеводин Вл. В. Параллельные вычисления. — СПб.: БХВ-Петербург, 2002.
- Таненбаум Э. Архитектура компьютера. — СПб.: Питер, 2002.
- Иртегов Д. В. Введение в операционные системы. — СПб.: БХВ-Петербург, 2002.
- Таненбаум 3. Современные операционные системы. - СПб.: Питер, 2002.
- Таненбаум Э. Компьютерные сети. - СПб.: Питер, 2002.
- Брукс Ф. Мифический человеко - месяц или как создаются программные системы. — СПб.: Символ-Плюс, 1999.
- Керниган Брайан В., Пайк Роб. Практика программирования. — СПб.: Невский диалект, 2001.
- Соммервилл И. Инженерия программного обеспечения. - М.: Издательский дом "Вильяме", 2002.
|
|