• Курс "Функцiональне програмування" для студентiв напрямів пiдготовки "Програмна інженерія" і "Програмне забезпечення АС" факультету КНіТ очної, заочної і очно-заочної форм навчання [Курс "Функциональное программированние" для студентов направлений подготовки "Программная инженерия" и "Программное обеспечение АС" факультета КНиТ очной, заочной и очно-заочной форм обучения]:
    1. Предмет, структура, зміст, мета дисципліни.
    2. Ретроспектива та перспектива розвитку функціонального програмування.
    3. Програмування за допомогою функцій і процедур.
    4. Строго функціональна мова. Основні поняття.
    5. Рекурсія у функціональні мовах. λ-вирази.
    6. Додаткові можливості СФМ.
    7. Функціонали та функції вищих порядків.
    8. Інтерпретатор мови LISP.
    9. Лiспiвська пам'ять і точковий запис виразiв. Приклади функціональних програм.

    Self enrolment
  • Курс "Логiчне програмування" для студентiв напрямів пiдготовки "Програмна інженерія" і "Програмне забезпечення АС" факультету КНіТ очної, заочної і очно-заочної форм навчання [Курс "Функциональное программированние" для студентов направлений подготовки "Программная инженерия" и "Программное обеспечение АС" факультета КНиТ очной, заочной и очно-заочной форм обучения]:
    1. Ретроспектива i перспектива розвитку логiчного програмування
    2. Загальнi вiдомостi про мову Пролог
    3. Основнi елементи мови Пролог
    4. Арифметика в мовах Пролог i Турбо-Пролог
    5. Узгодження цільових тверджень
    6. Рекурсивне подання даних і програм
    7. Відсікання в мові Пролог
    8. Позалогiчнi предикати мови Пролог

    Self enrolment
  • Курс "Логічне програмування і бази даних" для студентiв напрямів пiдготовки "Програмна інженерія" і "Програмне забезпечення АС" факультету КНіТ очної форми навчання [Курс "Функциональное программированние" для студентов направлений подготовки "Программная инженерия" и "Программное обеспечение АС" факультета КНиТ очной формы обучения]:
    1. Логiчне програмування як мова запитiв реляцiйних баз даних. Екстенсiональна i iнтенсiональна бази даних мови Пролог
    2. Реляцiйнi бази даних i реляцiйна алгебра
    3. Зв'язування систем логiчного програмування i БД. Пролог i Дейталог
    4. Основи мови Дейталог
    Self enrolment
Skip Navigation

Navigation

    • Courses

      • Факультет комп'ютерних наук і технологій

        • Каф. Прикладна математика і інформатика

          • Напрям підготовки 6.050103 "Програмна інженерія"