Перейти до головного вмісту

KMADistEdu

Українська ‎(uk)‎
Українська ‎(uk)‎ English ‎(en)‎
  • Список курсів

Додаткові ресурси

  • Центр електронної освіти
  • Офіційний сайт НаУКМА
  • Інструкції ЦЕО
Потрібна допомога?
Підтримка
Вхід
  1. На головну
  2. Курси
  3. Факультет інформатики
  4. бакалаврат 3-й рік

бакалаврат 3-й рік

  • 1 (current)
  • 2
  • 3
  • » Далі

Технології електронних видань

бакалаврат 3-й рік
Переглянути

Інформаційна безпека веб-застосунків // 2021

бакалаврат 3-й рік
Переглянути

Теорія складності обчислень (КН 3)

Викладачі:
Богдана Віталіївна Олійник
Віта Анатоліївна Ольшевська

Олійник БогданаОльшевська Віта
бакалаврат 3-й рік
Переглянути

Логічне програмування

"Логічне програмування"

Кафедра інформатики
Викладач
Ющенко Юрій Олексійович, кандидат фіз.-мат. наук, старший викладач
Yury.Yuschenko@ukma.edu.ua

Дисципліна "Логічне програмування" є нормативною дисципліною для студентів спеціальності «Комп`ютерні науки» та "Інженерія програмного забезпечення" факультету інформатики, що ведеться на 3 курсі в ІI семестрі.

Головні дані:
Всього годин – 122(ІПЗ) та 120(КН), з них: лекційних – 20 (ІПЗ) та 14 (КН), практичних – 24 (ІПЗ) та 28(КН), самостійна робота – 78 
Форма контролю – екзамен
Кредитів за курс - 4
Мета курсу – познайомитися з функціональним програмуванням і навчитися складати логічні програми для розв'язку логічних задач, для розробки реляційних баз даних, ігор тощо.

Тематика лекцій:

Вступна лекція (про все).
Місце дисципліни.
Основні поняття. Логічний вивід. Правила виводу.
Приклади.

Структура логічної програми. Правила, факти, запит.

Мова предикатів першого порядку.
Атоми, імена індивідуумів, предикати, формули, речення.
Інтерпретація. Квантори. Оцінення речень на істину та хибність.

Уніфікація. Подстановка. Загальна резолюція зверху-вниз.

Здобуття відповіді.

Оператор відсікання. Бектрекінг.

Процедурна інтерпретація логічного програмування.
Розділ, процедура, виклик процедури, вхід в процедуру, процедура відповідає на виклик, вихід з процедури, розв'язаний/вирішений виклик.

Стандартна стратегія вибору виклику, вибору процедури.
Стандартна стратегія керування виконанням програми.

Послідовне виконання предикатів. Розгалуження. Цикли. Рекурсія.

Заключна лекція. Підведення підсумків. Висновки.

Модулі і класи. Модулі. Операції введення-виведенняю Класи типів.
Робота з Haskell. Монади. Управління проектом.

Оцінювання

За виконання завдань в семестрі можна отримати до 75 балів.
Робота студентів протягом семестру оцінюється за результатами виконання 
самостійних тематичних завдань.
Студенти виконують індивідуальне завдання на розробку реляційної бази даних на Пролозі. 
Під час останньої лекції студенти проходять тестування.
За екзамен (при дистанційній формі навчання) проводиться у формі тестування.
Максимальна кількість балів за іспит – 25 балів.
Для допуску до екзамену потрібно протягом семестру отримати не меньше 45 балів.

Література

бакалаврат 3-й рік
Переглянути

Методи та засоби офісного програмування // 2020

бакалаврат 3-й рік
Переглянути

Архітектура прикладних програм рівня підприємства // 2020

бакалаврат 3-й рік
Переглянути

Бази даних

бакалаврат 3-й рік
Переглянути

Вступ до загальної топології

Фундаментальна математична дисципліна. Розглядаються основні властивості топологічних просторів та неперервних відображень між ними. Курс має на меті узагальнити поняття і результати класичного аналізу та забезпечити студентів теоретичною базою для вивчення багатьох розділів сучасної математики, зокрема: функціонального аналізу, теорії динамічних систем та топологічного аналізу даних.

бакалаврат 3-й рік
Переглянути

Програмування під iOS

бакалаврат 3-й рік
Переглянути

Курсові Гороховський К.С. 2021

бакалаврат 3-й рік
Переглянути

Основи штучного інтелекту 2020

бакалаврат 3-й рік
Переглянути

Дослідницька практика для ПМ 3

Дуденко Маргарита
бакалаврат 3-й рік
Переглянути

Машинне навчання

бакалаврат 3-й рік
Переглянути

Вибрані питання програмної інженерії. Стратегії проектування.

Науковий семінар за книгою А.Александреску "Современное проектирование на С++"

бакалаврат 3-й рік
Переглянути

Вибрані питання програмної інженерії. Проектні взірці.

Вибрані питання програмної інженерії.

Науковий семінар за книгою Е.Гамми, Р.Хелма, Р.Джонсона, Дж.Влісідес "Приемы объектно-ориентированного проектирования. Патерны проектирования" та на прохання студентів додатково за іншими джерелами, наприклад, книгами О.Швеця "Занурення в патерни проектування", А.Будая "Дизайн патерн - просто як двері" та ін.

бакалаврат 3-й рік
Переглянути

Теорія ймовірностей

Братик Михайло
бакалаврат 3-й рік
Переглянути

Чисельні методи

бакалаврат 3-й рік
Переглянути

Технології обчислювального експерименту / Технології чисельного моделювання

бакалаврат 3-й рік
Переглянути

Програмування в .Net

бакалаврат 3-й рік
Переглянути

Основи блокчейн та криптовалют

бакалаврат 3-й рік
Переглянути
  • 1 (current)
  • 2
  • 3
  • » Далі

KMADistEdu

KMADistEdu

  • На головну

Додаткові ресурси


Центр електронної освіти

Офіційний сайт НаУКМА

  • Національний університет «Києво-Могилянська академія»
KMADistEduВсі права на розміщені на платформі DistEdu матеріали захищені. У разі цитування, копіювання або іншого використання розміщених на платформі DistEdu матеріалів, посилання на цей сайт обов'язкове. Повне або часткове відтворення чи тиражування будь-яким способом цих матеріалів без дозволу НаУКМА заборонено.
Отримайте мобільний додаток