Курс "Функцiональне програмування" для студентiв напрямів пiдготовки "Програмна інженерія" і "Програмне забезпечення АС" факультету КНіТ очної, заочної і очно-заочної форм навчання [Курс "Функциональное программированние" для студентов направлений подготовки "Программная инженерия" и "Программное обеспечение АС" факультета КНиТ очной, заочной и очно-заочной форм обучения]:
- Предмет, структура, зміст, мета дисципліни.
- Ретроспектива та перспектива розвитку функціонального програмування.
- Програмування за допомогою функцій і процедур.
- Строго функціональна мова. Основні поняття.
- Рекурсія у функціональні мовах. λ-вирази.
- Додаткові можливості СФМ.
- Функціонали та функції вищих порядків.
- Інтерпретатор мови LISP.
- Лiспiвська пам'ять і точковий запис виразiв. Приклади функціональних програм.
- Преподаватель: Евгения Геннадьевна Петрова
- Преподаватель: руководитель проекта
- Преподаватель: Администратор Сайта
Курс "Логiчне програмування" для студентiв напрямів пiдготовки "Програмна інженерія" і "Програмне забезпечення АС" факультету КНіТ очної, заочної і очно-заочної форм навчання [Курс "Функциональное программированние" для студентов направлений подготовки "Программная инженерия" и "Программное обеспечение АС" факультета КНиТ очной, заочной и очно-заочной форм обучения]:
- Ретроспектива i перспектива розвитку логiчного програмування
- Загальнi вiдомостi про мову Пролог
- Основнi елементи мови Пролог
- Арифметика в мовах Пролог i Турбо-Пролог
- Узгодження цільових тверджень
- Рекурсивне подання даних і програм
- Відсікання в мові Пролог
- Позалогiчнi предикати мови Пролог
- Преподаватель: Евгения Геннадьевна Петрова
- Преподаватель: руководитель проекта
- Преподаватель: Администратор Сайта
Курс "Логічне програмування і бази даних" для студентiв напрямів пiдготовки "Програмна інженерія" і "Програмне забезпечення АС" факультету КНіТ очної форми навчання [Курс "Функциональное программированние" для студентов направлений подготовки "Программная инженерия" и "Программное обеспечение АС" факультета КНиТ очной формы обучения]:
- Логiчне програмування як мова запитiв реляцiйних баз даних. Екстенсiональна i iнтенсiональна бази даних мови Пролог
- Реляцiйнi бази даних i реляцiйна алгебра
- Зв'язування систем логiчного програмування i БД. Пролог i Дейталог
- Основи мови Дейталог
- Преподаватель: Евгения Геннадьевна Петрова
- Преподаватель: руководитель проекта
- Преподаватель: Администратор Сайта
- Преподаватель: Пушкаренко Сергей
- Преподаватель: Евгения Геннадьевна Петрова
- Преподаватель: руководитель проекта
- Преподаватель: Администратор Сайта