ПЕРЕЛІК ПИТАНЬ, ЩО ВИНОСЯТЬСЯ НА ДЕРЖАВНИЙ
ІСПИТ (магістри, «інформатика»)
Бази даних та інформаційні системи (Кулябко П.П.)
1.
ER – модель.
2.
Класифікація
запитів.
3.
Реляційна
модель Кодда. Реляційна алгебра.
4.
Функціонально
повна залежгість. 2-нормальна форма (2НФ).
5.
Мінімальна
структура функціональних залежностей.
6.
Аксіоми
Армстронга.
7.
Третя нормальна
форма та третя нормальна форма Бойса-Кодда.
8.
Стратегії
розподілу даних в розподілених базах даних.
9.
Багатозначні
залежності. 4-нормальна форма.
1.
Дейт К. Введение
в системы баз данных. – М., Издательский дом “Вильямс”, 2000.
2.
Ульман Дж.
Основы баз данных. – М., Статистика, 1982.
3.
Дрибас В.П.
Основы теории реляционных баз данных. – Минск, 1982.
Системне програмування (Волохов В.М. )
1.
Поняття мовного
процесора. Типи мовних процесорів. Основні фази мовного процесора.
2.
Скінченні
автомати. Методика побудови лексичного аналізатора на основі скінченного
автомата.
3.
Регулярні
множини та регулярні вирази, їх звязок із скінченними автоматами. Основні
тотожності в алгебрі регулярних виразів.
4.
Вивід у
граматиці. Дерево виводу. Лівостороння та правостороння стратегії виводу.
5.
LL(k)- граматики.
Перевірка LL(1)- умови для довільної КВ- граматики.
6.
Побудова LL(1)-таблиці для
управління LL(1)-
синтаксичним аналізатором.
7.
Атрибутний метод
визначення семантики програм. Синтезовані та успадковані атрибути. Порядок та
правила обчислення атрибутів.
8.
Машинно-орієнтовані
мови програмування. Асемблери. Структура асемблера, перегляди тексту програми
та відповідні бази даних.
4.
Ахо А. Ульман Дж.
Теория синтаксического анализа, перевода и компиляции. Т1. М. Мир. 1978.
5.
Грис Д. Построение компиляторов для ЦЭВМ. М.
Мир. 1976..
6.
Льюис Ф., Стирнз Р., Розенкранц Д. Теоретические основы постр. компиляторов. М.
Мир. 1979.
Архітектура ЕОМ (Івохін Є.В.)
1. Апаратні та програмні засоби ПЕВМ.
2.
Розподід
оперативної пам’яти, поняття сторінки ОП, сегменту та зсуву, сторінкова організація
пам”яти.
3.
Канали та порти
вводу-виводу.
4.
Поняття про
переривання та їх класифікація.
5.
Організація
буферу клавіатури.
6.
Поняття про
відеосистему. Режими роботи відеосистеми.
7.
Структура
таблиці розміщення файлів на магнітних дисках.
8.
Фізичний та
логічний формати магнітних дисків. Коренева директорія.
1.
Мюллер С.
Модернизация и ремонт ПК.
2.
Скляров В.А.
Программное и лингвистическое обеспечение. Системы общего назначения.
Комп’ютерні мережі (Бондарчук Ю.В.)
1.
Означення
систем телеобробки даних. Функціональне середовище для взаємодії систем
телеобробки. Етапи у взаємодії систем телеобробки.
2.
Поняття: модель
відкритої системи, стек протоколів. Концепція еталонної моделі OSI.
3.
Стек протоколів TCP/IP:
топологічні особливості, функції рівнів.
4.
Поняття
архітектур мережевої телеобробки: однорангова, клієнт/сервер, трирівнева.
5.
Поняття
надійності систем телеобробки та комп’ютерних мереж. Поняття класів безпеки. Міжмережеві
екрани. Proxy-сервери, брандмауери.
6.
Мультиплексування
цифрових каналів з розділенням у часі (TDM). Поняття плезіохронних та синхронних цифрових
ієрархій. Широкополюсні канали зв’язку.
7.
Поняття:
повторювачі, мости, маршрутизатори, шлюзи та їх місце в профілі OSI.
8.
Поняття мереж
комутації: пакетів, каналів, повідомлень. Контроль перевантажень в мережах
комутації пакетів.
1.
Олифер В.Г.,
Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы. – С.-П., 2000.
672 с.
2.
Вернер Ф.
Энциклопедия современных сетевых технологий. – К., Комиздат, 1998.
3.
Мартин Дж.
Вычислительные сети и распределенная обработка данных. – М., Финансы и
статистика, Т.1,2, 1986.
4.
Марк А.
Спортак, Франк Ч. Паппас и др. Высокопроизводительные сети. Энциклопедия
пользователя. – К., Диа-Софт, 1997. – 432 с.
5.
Зайцев С.С.,
Кравцунов М.И., Ротанов С.В. Сервис открытых информационно-вычислительных
сетей. Справочник. – М., Радио и связь, 1990.
Інтелектуальні системи (Глибовець М.М.)
1. Фреймова модель задання
знань.
3.
Семантичні
мережі.
4.
Продукційна
модель задання знань.
5.
Сучасні
проблеми лінгвістики.
6.
Розпізнавання
образів.
Теорія обчислень (Лісовик Л.П.)
1. Функції складності (сигналізуючі) за часом та за пам’яттю. Теорема
про прискорення.
2. Функції, елементарні за Кальмаром.
3. Співвідношення між класами примітивно рекурсивних та елементарних
функцій.
4. Техніка слідів. Лема про заміщення.
5. Функції, обчислювані за реальний час
1.
Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ
вычислительных алгоритмов. – М., Мир, 1979.
2.
Гэри М., Джонсон Д. Вычислительные машины и
трудноразрешимые задачи. – М., Мир, 1982.
3.
Катленд Н. Вычислимость. Введение в теорию
рекурсивных функций. – М., Мир, 1983.
4. Лісовик Л.П., Шкільняк С.С. Основи теорії алгоритмів. К., ВПЦ Київський університет, 2003.
Обчислювальна геометрія та комп’ютерна графіка (Терещенко В.М.)
1.
Складність
алгоритмів, зведення задач, нижні оцінки складності задач.
2.
Дерево
відрізків та реберний список з подвійними зв’язками.
3.
Локалізація
точки на планарному розбитті. Методи.
4.
Регіональний
пошук. Методи.
5.
Побудова
опуклої оболонки. Методи.
6.
Найближча пара,
метод «Розділяй та пануй».
7.
Означення та
властивості діаграми Вороного.
8.
Побудова
діаграми Вороного.
9.
Перетин та об’єднання опуклих
многокутників
10.
Перетин
відрізків.
1.
Препарата Ф.Ю
Шеймос М. Вычислительная геометрия. – М., Мир. –
2.
Ахо Х.,
Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. – М.,
Мир. –
3.
Роджерс Д.
Алгоритмические основы машинной графики. -
Інформаційні технології (Кузенко В.Ф.)
1.
Інструментальні засоби розробки інформаційних технологій. CASE-технології.
1.
Критерії
надійності та якості інформаційних систем.
2.
Застосування
інформаційних технологій у виробництві.
3.
Застосування
інформаційних технологій у банківській та фінансовій справі.
4.
Безпека
функціонування інформаційних систем.
5.
Засоби
моделювання автоматизованих інформаційних систем.
6.
Моделі
життєвого циклу програмних засобів.
1.
Эммерих В., Конструирование распределенных объектов,
М., Мир, 2002.
2.
Хармон Э. Разработка СОМ-приложений в среде Delphi. М.: Издательский дом “Вильямс”,
2000.
3.
Буч Т., Рамбо Дж., Джекобсон А. Язык UМL. Руководство пользователя. М.: ДМК,
2000.
4. Роджерсон Д. Основы СОМ. М. Издательский отдел. Русская редакция, 1997.
5.
Цимбал
А. Технология CORBA. СПБ.: Питер, 2001.
Теорія програмування (Нікітченко М.С.)
1.
Основні аспекти
програм.
2.
Основні поняття
програмування.
3.
Методи подання
синтаксису мов програмування.
4.
Класифікація
породжуючих граматик.
5.
Автоматна
характеристика основних класів мов.
6.
Метод нерухомої
точки.
7.
Методи
формальної семантики.
8.
Формальні
методи програмування.
1.
Басараб И.А.,
Никитченко Н.С., Редько В.Н. Композиционные базы данных. – К., Либідь, 1992.
2.
Грис Д. Наука
программирования. – М., Мир, 1982.
3.
Лавров С.
Программирование. Математические основы, средства, теория. – С.Петербург,
СПб-БХВ, 2000.
Штучний інтелект (Марченко О.О.)
1.
Знання.
Класифікація знань.
2.
Поняття
діалогової системи та її компоненти.
3.
Теорія ігор.
Експліцитні та імпліцитні дерева гри.
4.
Метод резолюцій
як основа логічного виведення.
5.
Мова
функціонального програмування ЛІСП.
6.
Мова логічного
програмування ПРОЛОГ.
Література
1.
Анисимов А.В.
Компьютеорая лингвистика. – К., Изд.-во КГУ. –
2.
Леонтьев А.А.
Психолингвистика. – М., Наука, 1998. –
3.
Глибовець М.,
Кравченко М. та ін. Системи штучного інтелекту. – Навч. Пос. КНУ.
Комп’ютерна алгебра (Ставровський А.Б.)
1.
Поняття
замкненого півкільця. Приклади.
2.
Лінійні коди.
Алгебраїчна характеризація лінійних кодів. Породжуюча та перевірочна матриці.
3.
Теорема про
степінь суми в кільці з простою характеристикою.
4.
Простий
многочлен над скінченним полем та поле остач від ділення на цей многочлен.
5.
Примітивний
елемент поля та примітивний многочлен.
6.
Кільце остач
від ділення на многочлен над скінченним полем.
1.
Блейхут Р.
Теория и практика кодов, контролирующих ошибки. – М., Мир, 1986.
2.
Глушков В.М.,
Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – К., Наукова
думка, 1988.
3.
Ахо А.,
Хопкрофт Дж., Ульман Дж. Построение м анализ вычислительных алгоритмов. – М.,
Мир, 1979.
Інформаційні мережі (Коваль Ю.В.)
1.
Інформаційна
глобальна мережа INTERNET.
2.
Система
доменних імен глобальної мережі INTERNET.
3.
Система
електронної пошти глобальної системи INTERNET.
4.
Поняття універсального
вказівника ресурсу. Основні типи ресурсів.
5.
Поняття
раутінгу в мережах TCP/IP.
6.
Технології, що
забезпечують відмовостійкість мереж TCP/IP.
7.
Класифікація
комп’ютерних мереж.
1.
Олифер В.Г.,
Олифер Н.А. Компьютерные сети. Принципы. Технологии. Протоколы. – С.Петербург,
СПб “Питер”, 2001.
2.
Манн С., Крелл
М. LINUX. Администрирование в сетях TCP/IP, 2003.