Програма іспиту з професійно-орієнтованих дисциплін кваліфікації «Бакалавр комп’ютерних наук» Організація баз даних та знань (в.А. Дьомін)

1. Архітектура баз даних

2. Логічні та фізичні моделі даних

3. Основні поняття і терміни реляційної бази даних

4. Проектування баз даних

5. Реляційна алгебра. Реляційне числення (на кортежах і на доменах).

6. Оператори SQL, їх визначнення

7. Визначення і зміст понять „транзакція”, "журналізація змін в БД "

8. Нормалізація відношень. Визначення нормальних форм.

9. Визначення цілостності БД.

10. Функціональні і багатозначні залежності у відношеннях.

11.Расподілені БД. Однородні, неоднородні, гетерогенні СУБД.

12. Основні принципи і поняття реалізації клиєнт-серверної технології.

Література:

1. К.Дж.Дейт. Введение в системы баз данных. – Диалектика, 2002.

2. Т. Конноли. Базы данных: проектирование, реализация - ВЛМ, 2000.

3. Берко А.Ю. Верес О.М. Організація баз даних: практичний курс. навч. посібник. – Львівська політехніка, 2003.

Системи штучного інтелекту (а. І. Парамонов)

1. Історія розвитку та галузі застосування штучного інтелекту.

2. Термінологія. Основні підходи до побудови систем штучного інтелекту.

3. Інтелектуальні агенти Види програмних агентів.

4. Пошук рішення проблеми у просторі становищ. Критерії оцінки стратегій пошуку.

5. Парадигма пошуку у просторі становищ. Стратегії сліпого пошуку.

6. Парадигма пошуку у просторі становищ. Стратегії евристичного пошуку.

7. Пошук в умовах протидії.

8. Мінімаксний алгоритм. Алгоритм альфа-бета відсічення.

9. Логічні агенти Історія розвитку експертних систем.

10. Поняття експертної системи.

11. Типи та архітектури експертних систем.

12. Представлення знань. Семантичні мережі. Пропозиціональні мережі. Схеми.

13. Продукційні моделі представлення знань. Продукційні правила.

14. Стратегії виведення у статичних експертних системах.

15. Логічне виведення у логіці першого порядку. Пряме логічне виведення.

16. Логічне виведення у логіці першого порядку. Зворотне логічне виведення.

17. Невизначеність. Аксіоми вірогідності.

18. Правило Байеса та його використання.

19. Імовірнісні міркування. Байесовська мережа.

20. Імовірнісні міркування. Семантика байесовської мережі.

21. Імовірнісне виведення у байесовських мережах.

22. Введення до теорії нечітких множин.

23. Механізми нечіткого виведення.

24. Гібридні моделі. Нечіткі експертні системи.

25. Перспективи розвитку штучного інтелекту

Література:

1. Стюарт Расел, Пітер Норвіг (S.J.Russell, P.Norvig) Штучний інтелект: Сучасний підхід. 2-е видання.: Пер. з англ. / М.: Вид-во «Діалектіка-Вільямс» – 2007 р. – 1408 стор.: мал.

2. Джордж Ф. Люгер Штучний інтелект: стратегії та методи вирішення складних проблем. 4-е видання / М.: Вид-во «Діалектіка-Вільямс» – 2003 р. – 864 стор.

3. Нільсон Н. Штучний інтелект. Методи пошуку рішень. / М.: Вид-во «Мир» – 1973 р. – 270 стор.

4. Джексон П. Введення до експертних систем, 3-е видання. / М.: Вид-во «Діалектіка-Вільямс» – 2001 р. – 624 стор.: мал.

5. Кофман А. Введення до теорії нечітких множин: пер. з франц. / М.: Радіо та зв'язок – 1982 р. – 432 стор.: мал.

6. Солсо Р. Когнитивна психологія (Серія «Майстри психології») / Спб.: Вид-во «Пітер» – 2002 р. – 592 стор.: мал.

7. Каргін А.О. Введення до інтелектуальних машин. Книга 1. Інтелектуальні регулятори / А.О. Каргін. – Донецьк: Норд-Пресс, ДонНУ, 2010. – 526 стор.

Архітектура комп‘ютерів (В.М. Котенко)

1. Поняття конфігурації ЕОМ, архітектури ЕОМ.

2. Поняття архітектури процесора.

3. Структура 16-бітного процесора Intel 8088. Головні регістри.

4. Структура 16- бітного процесора Іntel 8088. Регістр прапорів.

5. Алгоритм роботи процесора Іntel 8088.

6. Процесор Іntel 8088. Мова Асемблер. Типи даних. Псевдооператори визначення даних.

7. Процесор Іntel 8088. Організація пам'яті. Суцільна й сегментна моделі. Псевдооператори визначення сегментів та процедур.

8. Процесор Іntel 8088. Режими адресації до пам'яті.

9. Система машинних команд процесора Іntel 8088. Типи команд. Команди пересилки даних.

10. Система машинних команд процесора Іntel 8088. Команди арифметики.

11. Система машинних команд процесора Іntel 8088. Команди передачі управління.

12. Система машинних команд процесора Іntel 8088. Логічні команди.

13. Система машинних команд процесора Іntel 8088. Команди маніпулювання бітами.

14. Система машинних команд процесора Іntel 8088. Команди обробки рядків.

15. Система машинних команд процесора Іntel 8088. Команди переривань.

16. Система машинних команд процесора Intel 8088. Команди управління роботою процесора.

17. Мова Асемблер процесора Іntel 8088. Макровизначення.

18. Арифметичний сопроцесор 8087. Типи даних.

19. Арифметичний сопроцесор 8087. Головні регістри.

20. Арифметичний сопроцесор 8087. Система команд.

Література:

1. Абель Питер. Язык АССЕМБЛЕРА для IBM РС и программирование. -М.: Высшая школа.-1992г.

2. Скэнлон Л. Персональные ЭВМ IBM PC и ХТ. Программирование на языке Ассемблера. -М.: Радио и связь.-1991г.

3. Джордейн Р. Справочник программиста персональных компьютеров типа IBM PC,XT и AT. -М.: Финансы и статистика. -1992г.

Системне програмування і операційні системи (В.М. Котенко)

1. Функції, що виконуються операційною системою.

2. Класифікація ОС за особливостями алгоритмів управління процесором.

3. Призначення мобільних операційних систем.

4. Системи пакетної обробки. Критерії ефективності.

5. Операційні системи, побудовані на базі мікроядерного підходу, і системи з монолітним ядром. Ефективність функціонування.

6. Концепція множинності прикладних середовищ .

7. Компоненти мережної операційної системи.

8. Редиректор. Виконувані функції.

9. Функції підсистеми керування процесами.

10. Стани процесу.

11. Дескриптор процесу.

12. Черги процесів. Структури для опису черг.

13. Алгоритми планування процесів, засновані на квантуванні.

14. Критичні секції. Способи забезпечення взаємного виключення при реалізації критичних секцій.

15. Алгоритм Дейкстра. Визначення примітивів P і V.

16. Монітор - засіб синхронізації процесів. Виклик процесами процедур монітора.

17. Нитки. Загальні ресурси.

18. Нитки. Власні ресурси.

19. Функції ОС по керуванню пам'яттю.

20. Віртуальний адресний простір процесу.

21. Завантажник, що переміщає. Перетворення віртуальної адреси у фізичну.

22. Методи розподілу пам'яті без використання дискового простору.

23. Метод розподілу пам'яті фіксованими розділами. Недолік методу.

24. Завдання підсистеми керування пам'яттю при реалізації методу розподілу пам'яті розмірами змінної величини.

25. Завдання, розв'язувані віртуальною пам'яттю.

26. Сторінковий розподіл пам'яті. Опис віртуального адресного простору процесу.

27. Сторінковий розподіл пам'яті. Час перетворення віртуальної адреси у фізичну.

28. Достоїнства сегментного розподілу пам'яті.

29. Сторінково-сегментний розподіл пам'яті.

30. Свопінг.

31. Кеш-пам'ять. Визначення.

32. Структура кеш-пам'яті.

33. Адресація в системі з кеш-пам'яттю.

34. Середній час доступу до даних у системі з кеш-пам'яттю.

35. Функції операційної системи при управління пристроями введення-виводу.

36. Механізм виконання введення - виводу операційною системою.

37. Шари програмного забезпечення введення - виводу операційної системи.

38. Функції незалежного від пристроїв шару програмного забезпечення введення-виводу.

39. Спулінг.

40. Структура запису каталогу операційної системи UNІX.

41. Логічна структура файлу в операційній системі UNІX.

42. Функції базового рівня файлової системи.

43. Проблеми при відображенні файлів в адресний простір виконуваного процесу.

44. Додавання драйвера до ланцюжка виклику деякого обладнання в сучасній багаторівневій архітектурі файлових систем.

45. Витіснення процесу, що працює в режимі системи, в Unіx SVR4.

46. Класи пріоритетів процесів в Unіx SVR4.

47. Величина пріоритету, призначуваного процесам поділу часу в Unіx SVR4.

48. Структура індексного дескриптора в Unіx SVR4.

49. Модель пам'яті в Unіx SVR4.

50. Індексні дескриптори спеціальних файлів в Unіx SVR4. Зв'язок ядра системи з драйверами.

Література:

1. Бек Л. Введение в системное программирование. -М.: Мир, 1988 г.

2. Джордейн Р. Справочник программиста персональных компьютеров типа IBM PC,XT и AT. -М.: Финансы и статистика. -1992г.

3. Абель Питер. Язык ассемблера для IBM PC и программирования. -М.: Высшая школа. -1992г.