Література. Перелік питань, що виносяться на державний

ПЕРЕЛІК ПИТАНЬ, ЩО ВИНОСЯТЬСЯ НА ДЕРЖАВНИЙ

ІСПИТ (спеціалісти, «інформатика»)

 

1. Інформаційні технології та інформаційні системи (Кузенко В.Ф., Кулябко П.П.)

1. Інструментальні засоби розробки інформаційних технологій. CASE-технології.

2. Критерії надійності та якості інформаційних систем.

3. Застосування інформаційних технологій у виробництві.

4. Застосування інформаційних технологій у банківській та фінансовій справі.

5. Безпека функціонування інформаційних систем.

6. Засоби моделювання автоматизованих інформаційних систем.

7. Моделі життєвого циклу програмних засобів.

8. ER–модель.

9. Класифікація запитів.

10. Реляційна модель Кодда. Реляційна алгебра.

11. Функціонально повна залежність. 2-нормальна форма (2НФ).

12. Мінімальна структура функціональних залежностей.

13. Аксіоми Армстронга.

14. Третя нормальна форма та третя нормальна форма Бойса-Кодда.

15. Багатозначні залежності. 4-нормальна форма. 

16. Стратегії розподілу даних в розподілених базах даних.

Література

1. Эммерих В., Конструирование распределенных объектов, М., Мир, 2002.

2. Хармон Э. Разработка СОМ -приложений в среде Delphi. М.: Издательский дом “Вильямс”, 2000.

3. Буч Т., Рамбо Дж., Джекобсон А. Язык UМL. Руководство пользователя. М.: ДМК, 2000.

4. Роджерсон Д. Основы СОМ. М. Издательский отдел. Русская редакция, 1997.

5. Цимбал А. Технология CORBA. СПБ.: Питер, 2001.

6. Дейт К. Введение в системы баз данных. – М., Издательский дом “Вильямс”, 2000.

7. Ульман Дж. Основы баз данных. – М., Статистика, 1982.

8. Дрибас В.П. Основы теории реляционных баз данных. – Минск, 1982.

 

2. Системне програмування (Волохов В.М.)

1. Поняття мовного процесора. Типи мовних процесорів. Основні фази мовного процесора.

2. Скінченні автомати. Методика побудови лексичного аналізатора на основі скінченного автомата.

3. Регулярні множини та регулярні вирази, їх звязок із скінченними автоматами. Основні тотожності в алгебрі регулярних виразів.

4.Вивід у граматиці. Дерево виводу. Лівостороння та правостороння стратегії виводу.

5. LL(k)-граматики. Перевірка LL(1)-умови для довільної КВ- граматики.

6. Побудова LL(1)-таблиці для управління LL(1)-синтаксичним аналізатором.

7. Атрибутний метод визначення семантики програм. Синтезовані та успадковані атрибути. Порядок та правила обчислення атрибутів.

8. Машинно-орієнтовані мови програмування. Асемблери. Структура асемблера, перегляди тексту програми та відповідні бази даних.