Вопросы к госэкзамену (дополнительная часть) 2006 г
| Вид материала | Документы |
- Вопросы к госэкзамену по педагогике, 35.54kb.
- Вопросы к госэкзамену 2009/2010, 52.08kb.
- Вопросы к госэкзамену для магистров по специальности 131000., 68.4kb.
- 2011/12 учебный год вопросы к госэкзамену по специальности «реклама», 413.9kb.
- Вопросы к госэкзамену по специализации «психология развития и возрастная психология», 944.43kb.
- Учебное пособие Челябинск 2006 ббк т3(2)я7, 19242.67kb.
- Вопросы к магистерскому госэкзамену ( каф. Эт и пэмс), 2011, 101.47kb.
- А. В. Маркетинговые коммуникации. М.: Эксмо, 2006. Дополнительная литература, 36.36kb.
- Правила логистики, описывающие конечную цель логистического управления. Предприятия,, 38.32kb.
- Вопросы к междисциплинарному госэкзамену (бух. Учет, анализ и аудит), 30.47kb.
Вопросы к госэкзамену (дополнительная часть) 2006 г.
Для кафедр АСВК, системного программирования и алгоритмических языков
- Теорема Поста о полноте систем функций в алгебре логики.
- Графы, деревья, планарные графы, их свойства. Оценка числа деревьев.
- Логика 1-го порядка. Выполнимость и общезначимость. Общая схема метода резолюций.
- Логическое программирование. Декларативная семантика и операционная семантика, соотношение между ними. Стандартная стратегия выполнения логических программ.
- Транзакционное управление в СУБД. Методы сериализации транзакций.
- Аппаратно-программные средства поддержки мультипрограммного режима – система прерываний, защита памяти, привилегированный режим.
- Организация взаимодействия процессов и средства их синхронизации. Классические задачи синхронизации.
- Виртуальная память. Модели организации оперативной памяти.
- Алгоритм Сети-Ульмана оптимального распределения регистров и его обоснование.
- Основные принципы объектно-ориентированного программирования.
- Основные этапы компиляции (лексический анализ, синтаксический анализ, семантический анализ, генерация кода и т.д.).
- Построение детерминированного конечного автомата по регулярному выражению.
- Построение канонического множества LR(1) ситуаций и таблиц действий и переходов для LR(1) грамматик.
- Архитектура параллельных вычислительных систем.
- Технологии параллельного программирования.
- Методы представления знаний в системах искусственного интеллекта (язык предикатов, семантические сети, фреймы, продукции).
- Методы поиска решения задач в системах искусственного интеллекта (эвристический поиск в пространстве состояний и на И/ИЛИ деревьях).
- Организация сетевого взаимодействия. Эталонная модель OSI ISO. Основные элементы и архитектура OSI ISO. Уровни протоколов и их основные функции.
- Организация сетевого взаимодействия. Семейство протоколов TCP/IP. Сравнение с эталонной моделью OSI ISO. Основные функции протоколов IP и TCP. Основные прикладные протоколы архитектуры TCP/IP.
- Средства межсетевого взаимодействия (мосты, маршрутизаторы, шлюзы).
- Методы защиты от несанкционированного доступа в компьютерных сетях.
- Унифицированный язык моделирования UML. Основные средства языка.
- Основы программной инженерии.
- Глобальные и локальные модели освещения в компьютерной графике. Модель Фонга.
Литература к дополнительной части вопросов для кафедр
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. Крюков В. А. Распределенные операционные системы. Конспект лекций u.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.