НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЯДЕРНЫЙ
УНИВЕРСИТЕТ «МИФИ»
Факультет кибернетики
Утверждено
Ученым советом факультета «КиБ»
протокол № от
ПРОГРАММА
ВСТУПИТЕЛЬНОГО ИСПЫТАНИЯ – СОБЕСЕДОВАНИЯ
ДЛЯ МАГИСТЕРСКОЙ ПРОГРАММЫ
«ТЕХНОЛОГИИ РАЗРАБОТКИ ВЫСОКОКРИТИЧНЫХ КИБЕРНЕТИЧЕСКИХ СИСТЕМ»
НАПРАВЛЕНИЕ ПОДГОТОВКИ 231000 «Программная инженерия»
МОСКВА, 2014г.
1. Общие положения
Данная программа составлена в соответствии с ФГОС-3 для бакалавров и специалистов направления подготовки 231000 «Программная инженерия».
Вступительный экзамен по магистерской программе «Технологии разработки высококритичных кибернетических систем» включает разделы:
· Фундаментальные основы информационных технологий;
· Математические основы программной инженерии;
· Базы данных;
Вступительное собеседование по программе «Технологии разработки высокотехнологичных кибернетических систем» осуществляется в устной форме в виде вопросов по темам дисциплин.
Оценка выставляется по 5-балльной системе.
2. Содержание программы вступительного собеседования
Фундаментальные основы информационных технологий
Понятие предметной области (ПО). Назначение информационной системы.
Процессы именования, отбора, классификации в предметной области. Возникновение типов.
Гипотеза о возможности моделирования предметной области и ее варианты.
Присваивание имен объектам. Получение отображенной ПО. Пример.
Отбор и классификация. Строение проклассифицированной ПО и типы. Пример.
Схема представления ПО. Пространство выбора решений. Пример.
Работа системного аналитика при создании схемы ПО.
Принцип фиксации соотнесения ПО и семантический аспект базы данных.
Модели предметной области. Формализации и задачи формализации.
Связь формализаций и содержательных описаний ПО.
Содержательная модель объектов данных. Погружение. Концептуальная схема.
Учет изменений ПО. Состояния ПО. Управляющее воздействие и его характеристика.
База объектов (мета)данных в автоматизированной информационной системе (полная характеристика.
Представление о проектировании информационной системы (пошаговая процедура).
Динамика базы данных и соотнесение. Фиксация соотнесения предметной области (схема).
Операционная система. Функции, назначение. Многопользовательские системы.
Управление данными на носителях. Ограничения доступа к наборам данных.
Математические основы программной инженерии
Условная вероятность события. Формула полной вероятности и формула Байеса. Независимость событий (попарная и в совокупности). Примеры.
Одномерные и многомерные случайные величины. Их основные характеристики: функции распределения и плотности распределения, свойства. Функции случайного аргумента в одномерном и двумерном случаях.
Точечные оценки и их свойства: несмещенность, состоятельность и эффективность.
Проверка статистических гипотез. Статистические гипотезы простые и сложные. Основная и альтернативная гипотезы. Ошибки 1-го и 2-го рода. Критическая область. Критерий проверки основной статистической гипотезы и его основное свойство. Примеры проверки статистических гипотез относительно параметров нормального закона в различных случаях.
Проверка гипотез о виде закона распределения. Примеры.
Алгоритм линейного поиска в одномерном массиве. Зависимость затрат на линейный поиск в среднем и в худшем случае от числа элементов массива. Улучшение линейного поиска: поиск с барьером.
Алгоритм двоичного поиска в одномерном отсортированном массиве. Зависимость затрат на двоичный поиск от числа элементов массива
Алгебра множеств, свойства операций объединения, пересечения и дополнения.
Бинарное отношение. Операции над отношениями. Обратное и дополнительные отношения. Композиция отношений. Ядро отношения.
Свойства бинарных отношений. Рефлексивность, симметричность, транзитивность, иррефлексивность, антисимметричность, интранзитивность.
Классы бинарных отношений. Отношение порядка и его свойства.
Логическое высказывание и его свойства. Логические операции (связки). Формализация логических суждений.
Алгебра логики. Свойства операций алгебры логики. Проблема разрешимости.
Размещения, размещения без повторения, перестановки, сочетания. Их комбинаторные характеристики. Формула включений и исключений.
Операции над графами.
Машина Тьюринга, ее структура и свойства. Проблема остановки МТ.
Базы данных
Функции СУБД.
Трехуровневая архитектура схем баз данных в СУБД
Реляционная и объектно-реляционная модели данных СУБД.
XML базы данных. DTD и XML Shema
Реляционная алгебра.
Нормальные формы отношений. 1НФ, 2НФ, 3НФ, БКНФ.
Представление операций реляционной алгебры средствами языка SQL.
Структура языка SQL. Оператор SELECT. Типы соединений таблиц.
Подзапросы в языке SQL. Подзапросы с операторами SELECT, UPDATE, INSERT, DELETE.
Функции в языке SQL.
3. Рекомендуемая литература
1. Вентцель и упражнения по теории вероятностей : Учеб. пособие для вузов, ,М.,Academia,2004
2. Сборник задач по математике для втузов. Часть 4. Под общей редакцией и . Издательство Физико-математической литературы, 2003 г.
3. Яглом и информация: , , Москва, КомКнига,2007
4. Мишулина теории вероятностей: учебное пособие для вузов, , НИЯУ МИФИ, 2011
5. Болотская основы кибернетики (основы теории вероятностей): текст лекций, , М., МИФИ, 2006
6. Малыхина данных: основы, проектирование, использование: учебное пособие для вузов, , Санкт-Петербург, БХВ-Петербург, 2007
7. Кузовкин данными : учебник для вузов, , Москва, Академия, 2010
8. Алгоритмы : построение и анализ, Т. Кормен [и др.],Москва [и др.],Вильямс,2007
9. Синицын на языке высокого уровня : учебник для вузов, , Москва, Академия,2010
10. , , . Дискретная математика: Учебник для студентов втузов. – М.: АСТ»: , 2003
11. Вольфенгаген и средства вычислений с объектами. Аппликативные вычислительные системы. -- М.:АО ``Центр ЮрИнфоР’’, 2004. - xvi+789 с.
12. Вольфенгаген логика в программировании. Вычисления с объектами в примерах и задачах. -- М.:МИФИ, 1994; 2-е изд. – М.: АО “Центр ЮрИнфоР”, 2003. – 336 с.; 3-е изд., дополн. и перераб. -- М.: Институт “ЮрИнфоР-МГУ”, 20Х+384 с.
13. Косиков системы: категорный подход. -- М.: ЮрИнфоР-Пресс, 2005. – 96 с.
Председатель аттестационной
комиссии по направлению //
231000 «Программная инженерия»
д. ф.-м. н., профессор
