6. Логіка предикатів

Поняття предиката. Одномісні та двомісні предикати. Операції алгебри висловлювань над предикатами. Рівносильність формул. Побудова доведень у логіці предикатів. Числення висловлювань. Аксіоматичний метод доведения в логіці висловлювань. Коструктивпий метод доведения в логіці висловлювань.

3. WEB-застосування

Тема 1. Включення PHP в HTML. Виклик парсера PHP.

Тема 2. Мова програмування РНР Типи змінних. Оператори. Відмінності echo та print Константи

Тема 3 Цикли, Організація циклів Цикли for while,do while

Тема 4. Оновлення файлів. Загрузка файлів на WEB сервер Блокування файлів при колективному доступі.

Тема 5. Загальні характеристики MySQL Загальні положення баз даних

Тема 6. Робота з базою MySQL через phpMyAdmin Типи даних MySQL

Тема 7. Створення запитів до бази данных МуSQL Встановлення звязку мыж таблицями Використання логічних операторів.

Тема 8. Проектування бази даних. Первинні ключі. Нормалізація форм Відношення "Один до одного""Один до багатьох" "Багато до багатьох"Трназакції

Тема 9. Функції в PHP для роботи з базою даних MySQL Область видимості змінних. Інструкція include та Require

Тема 10. Використання cookie в РНР Установка сооkie Доступ до сооkie Видалення сооkie використання сооkie

Тема 11. Використання сесій Збереження імені користувача і паролів

4. Комп’ютерні мережі

1. Призначення та класифікація комп’ютерних мереж.

2. Мережеве обладнання . Середовища передачі даних

3. Мережеві топології .

4. Пролеми стандартизації.. Багаторівневий підхід. Протокол. Інтерфейс.Стек комунікаційних протоколів.

5. Модель OSI. Уровні моделі OSI.. Мережевозалежні та немережевозалежні рівні

6. Мережеві архітектури. Ethernet-приклад рішення мрежевих проблем. Tooking-Ring та ін.

7. IP-адресація .Класи IP-адрес. Доменна система.

8. Настройка TCP/IP протоколів у локальних мережах

9. Сервіси, протоколи Internet.Електорнна пошта. Додатки до повідомлень. Групи новин.Телеконференціії.Радіо

10. Всесвітня павутиння WWW.Переглядання web-сторінок. Використання гіперпосилань . Пошук необхідної інформації в Internet

11. Internet Explorer. Пошук інформації .Канали.Завантаження файлів.(FTF)

12. Пошук необхідної інформації в Internet .Отримання файлів.

13. Використання пошти. Застосування серевера новин.

14. Засоби інтерактивного спілкування. Програма ICQ.

15. Використання програми інтерактивного спілкування ICQ

16. Мова HTML.Тегова модель файлу. Форматування тексту для web-сторінок.

17. Гіперпосилання і графічні об’єкти.Списки.

18. Карта посилань.Створення таблиць. Каскадна таблиця стилів.

19. Застосування карт посилань при створенні web-сторінок

20. Застосування різних стилів при створенні web-сторінок

5. Основи програмної інженерії

Держіспит з дисципліни «Основи програмної інженерії» складається з

• теоретичної частини ( тести ) та

• практичної частини (Проектування методом об’єктно-орієнтованого підходу: побудова діаграм прецендентів та класів)

5.1 Теоретична частина з дисципліни «Основи програмної інженерії» :

1. Загальні відомості про Програмну інженерію.

1. Основні поняття програмної інженерії.

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

2. Вибір технологій та методологій для розробки ПЗ.

2.1 Типи та базові позиції технологій розробки ПЗ.

2.2 Типи та базові позиції методологій розробки ПЗ.

3. Аналіз вимог до програмного забезпечення.

3.1 Інженерія вимог.

3.2 Виявлення вимог.

3.3 Документування вимог.

3.4 Аналіз та узгодження вимог.

3.5 Управління вимогами.

4. Бізнес-моделювання. Опис бізнес-процесу.

4.1 Основі поняття процесу бізнес-моделювання систем.

4.2 Засоби опису бізнес-процесу.

4.3 Графічна нотація BPMN.

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

5.1 Основні поняття та визначення.

5.2 Типи проектування.

5.3 Проектування методом структурного підходу. Основні принципи. Набір діаграм.

5.4 Проектування методом об’єктно-орієнтованого підходу. Основні принципи. Набір діаграм.

6. Якість програмного забезпечення.

6.1 Основні визначення та базові позиції.

7. Тестування програмного забезпечення.

7.1 Основні визначення та базові позиції.