Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/courses/q3p2006.doc Дата изменения: Tue Jul 7 15:58:19 2009 Дата индексирования: Mon Oct 1 20:04:33 2012 Кодировка: koi8-r

Вопросы к госэкзамену (дополнительная часть) 2006 г.
Для кафедр АСВК, системного программирования и алгоритмических языков

1. Теорема Поста о полноте систем функций в алгебре логики.
2. Графы, деревья, планарные графы, их свойства. Оценка числа деревьев.
3. Логика 1-го порядка. Выполнимость и общезначимость. Общая схема метода
резолюций.
4. Логическое программирование. Декларативная семантика и операционная
семантика, соотношение между ними. Стандартная стратегия выполнения
логических программ.
5. Транзакционное управление в СУБД. Методы сериализации транзакций.
6. Аппаратно-программные средства поддержки мультипрограммного режима -
система прерываний, защита памяти, привилегированный режим.
7. Организация взаимодействия процессов и средства их синхронизации.
Классические задачи синхронизации.
8. Виртуальная память. Модели организации оперативной памяти.
9. Алгоритм Сети-Ульмана оптимального распределения регистров и его
обоснование.
10. Основные принципы объектно-ориентированного программирования.
11. Основные этапы компиляции (лексический анализ, синтаксический анализ,
семантический анализ, генерация кода и т.д.).
12. Построение детерминированного конечного автомата по регулярному
выражению.
13. Построение канонического множества LR(1) ситуаций и таблиц действий
и переходов для LR(1) грамматик.
14. Архитектура параллельных вычислительных систем.
15. Технологии параллельного программирования.
16. Методы представления знаний в системах искусственного интеллекта
(язык предикатов, семантические сети, фреймы, продукции).
17. Методы поиска решения задач в системах искусственного интеллекта
(эвристический поиск в пространстве состояний и на И/ИЛИ деревьях).
18. Организация сетевого взаимодействия. Эталонная модель OSI ISO.
Основные элементы и архитектура OSI ISO. Уровни протоколов и их
основные функции.
19. Организация сетевого взаимодействия. Семейство протоколов TCP/IP.
Сравнение с эталонной моделью OSI ISO. Основные функции протоколов IP
и TCP. Основные прикладные протоколы архитектуры TCP/IP.
20. Средства межсетевого взаимодействия (мосты, маршрутизаторы, шлюзы).
21. Методы защиты от несанкционированного доступа в компьютерных сетях.
22. Унифицированный язык моделирования UML. Основные средства языка.
23. Основы программной инженерии.
24. Глобальные и локальные модели освещения в компьютерной графике. Модель
Фонга.

Литература к дополнительной части вопросов для кафедр

1. Шикин Е.В., Боресков А.В. Компьютерная графика. Динамика,
реалистические изображения. - М.: Диалог-МИФИ, 1995.
2. Яблонский С.В. Введение в дискретную математику. - М.: Наука, 1986.
3. Алексеев В.Б., Ложкин С.А. Элементы теории графов, схем и автоматов
(учебное пособие для студентов). - М.: Издательский отдел ф-та ВМК МГУ,
2000 г.
4. Ложкин С.А. Лекции по основам кибернетики. - М.: Издательский отдел ф-та
ВМК МГУ, 2004.
5. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство
теорем. - М.: Мир, 1983.
6. Братко И. Программирование на языке Пролог для искусственного
интеллекта. - М.: Мир, 1990.
7. Дейт К. Введение в системы баз данных. - М.: Вильямс. 2001.
8. Кауфман В. Ш. Языки программирования. Концепции и принципы. - М.: Радио
и связь, 1993.
9. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и
трансляции, т.1, т.2. - М. Мир, 1978.
10. Королев Л.Н. Архитектура ЭВМ - М.: Научный мир. 2005.
11. А. Ахо, Р. Сети, Дж. Ульман. Компиляторы. Принципы, технологии,
инструменты. - М.: Вильямс, 2003.
12. Джеймс Ф. Куроуз, Кит В. Росс. Компьютерные сети. Многоуровневая
архитектура Интернета. - СПб.: Питер, 2004.
13. Э. Таненбаум. Компьютерные сети. - СПб.: Питер, 2003.
14. Крюков В. А. Распределенные операционные системы. Конспект лекций
http://sp.cmc.msu.ru/courses/os/
15. Нильсон Н. Принципы искусственного интеллекта. - М.: Радио и связь,
1985.
16. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. - СПб. БХВ,
2002.
17. А. Элиенс. Принципы объектно-ориентированной разработки программ. - М.:
Вильямс.2002.
18. Г. Хелд. Технологии передачи данных. - СПб.: Питер, БХВ, 2003.
19. Вендров А.М. Проектирование программного обеспечения экономических
информационных систем - М.: Финансы и статистика, 2000.
20. Г. Буч, А. Якобсон, Дж. Рамбо UML. Серия: Классика CS. 2-е изд. - СПб.:
Питер, 2006.
21. В. Столингс Современные компьютерные сети. Серия: Классика CS - СПб.:
Питер, 2003.
22. Робачевский А., Немнюгин С., Стесик О. Операционная система UNIX. 2-е
издание. - СПб.: БХВ, 2005.
23. Дж. Бэкон, Т. Харрис. Операционные системы. Параллельные и
распределенные системы. - СПб.: Питер. 2004.
24. Вендров А.М. Объектно-ориентированный анализ и проектирование
программного обеспечения. - М.: Издательский отдел ф-та ВМК МГУ, 2004.