Название работы	Кол-во страниц	Размер
Рабочая программа учебной дисциплины «Математические основы теории...	1	118.26kb.
Задача для уpавнения колебаний стpуны. Интегpал энеpгии и единственность...	1	24.76kb.
В. С. Буренков > Ю. Ю. Митрушенков	4	1059.15kb.
Программа по курсу: сравнительный анализ языков программирования...	1	122.74kb.
Ванторин В. Д механизмы приборных и вычислительных систем	1	7.3kb.
Программа вступительного экзамена в магистратуру по направлению подготовки...	1	90.38kb.
Создание диалектов языков программирования с инспользованием грамматических...	1	26.84kb.
О. В. Непомнящий, И. В. Кочан, К. В. Кондратьев, В. А. Митюков	1	183.83kb.
Вопросы по автоматизации производственных процессов	1	40.66kb.
Оле-Йохан Даль	1	19.92kb.
Учебный поток №180 с 22 по 27 апреля 2013	1	20.81kb.
Дмитрий Поспелов: искусственный интеллект и гуманитарные науки	1	144.87kb.
Викторина для любознательных: «Занимательная биология»	1	9.92kb.

2013 г. 3 поток Вопросы к госэкзамену (дополнительная часть)
Кафедры:

Автоматизации систем вычислительных комплексов, Системного программирования и Алгоритмических языков

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. Шикин Е.В., Боресков А.В. Компьютерная графика. Динамика, реалистические изображения. - М.: ДИАЛОГ-МИФИ.

2. Яблонский С.В. Введение в дискретную математику. - М.: Наука, 1986.

3. Алексеев В.Б., Ложкин С.А. Элементы теории графов и схем. Методическая разработка.

4. Ложкин С.А. Лекции по онсовам кибернетики.М.2004.ВМК

5. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем.

6. Братко И. Программирование на языке Пролог для искусственного интеллекта. М.МИР.1990

7. Введение в системы БД. К.Дейт. Вильямс. 2001.

8. Кауфман В.Ш. Языки программирования. Концепции и принципы. - М.: Радио и связь, 1993.

9. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и трансляции, т.1, т.2.

10. Королев Л.Н. Архитектура ЭВМ М. Научный мир. 2005..

11. Компиляторы. А.Ахо, Р.Сети, Д.Ульман. Вильямс.2001

12. Компьютерные сети. Многоуровневая система Интернета.Д.Кроуз, К.Росс. Питер2004.

13. Компьютерные сети. Э.Таненбаум.Питер 2002.

14. Крюков В.А. Распределенные операционные системы. http://sp.cmc.msu.ru в разделе информация

15. Нильсон Н. Принципы искуственного интеллекта. - М.: Радио и связь, 1985.

16. Параллельные вычисления. Воеводин В.В., Воеводин Вл.В.БХВ.2002.

17. Принципы объектно-ориентированной разработки программ. А.Элиенс.Вильямс.2002.

18.Технологиии передачи данных. Г.Хелд, Питер. 2003.

19. Вендров А.М. Проектирование программного обеспечения экономических информационных систем - М.: Финансы и статистика, 2000.

20. UML.Г.Буч,А.Якобсон,Дж.Рамбо Питер, 2006.

21. Современные компьютерные сети. В. Столингс, Питер, 2003.

22. Робачевский А.,Немнюгин С.,Стесик О.Операционная система UNIX.2 –е издание. 2005.

23. Операционные системы. Параллельные и распределенные системы. Питер. 2004.

24. Вендров А.М. Объектно-ориентированный анализ и проектирование программного обеспечения. М.ВМК МГУ,2004.