Цей курс присв’ячений особливостям роботи з базами даних в фреймворку Spring. В цьому курсі ми докладно познайомимося з Entity, а саме наслідуванням, зв’язками, нюансами Lazy та Eager завантаження. Студенти познайомляться з особливостями роботи з різними типами реляційних та нереляційних баз даних. Також будуть розглянуті наступні питання: Entity Manager, Entity Lifecycle,  JPQL, flyway\liquibase, Hibernate, Criteria Api, Spring Data

Викладач: к. ф.-м. н., доцент Руслан Чорней,

Фундаментальна математична дисципліна. Вимагає знання курсів дискретної математики, математичного аналізу, алгебри, теорії міри. Має на меті забезпечити студентів необхідним математичним апаратом для ґрунтовного вивчення курсів: дослідження операцій, теорія ризику, актуарна математика, теорія керування та прийняття рішень

Заняття починаються 27 січня 2022 о 8:30

Для отримання доступу додайтеся в команду курсу в MS Teams

Цей курс дозволяє глибше зануритися в проектування і створення користувацьких інтерфейсів веб застосунків. Все починається з введення у веб дизайн і ключові принципи зручності веб сайтів. Далі студенти розбираються які є компоненти сайту і як виглядає процес створення інтерфейсу. Окремо надається увага проектуванню мобільної версій веб застосунку. В кінці розглядається веб дизайн з точки зору інтернет маркетингу. Практичною роботою в межах цього курсу буде проектування і створення веб-сайту кожним слухачем. Цей курс є частиною сертифікатної програми «Веб-дизайн».

Даний курс присвячено вивченню мови програмування Swift з усіма її особливостями. Слухачі курсу навчаться не лише використовувати базові операції чи керувати пам'яттю, але й познайомляться з протокольно орієнтованим програмуванням та навчаться поєднувати різні парадигми програмування для забезпечення максимальної продуктивності та підтримуваності коду. Даний курс є базовим для сертифікатної програми "Програмування під iOS" і є вкрай бажаним для прослуховування студентам, що бажають її пройти.

Курс присв'ячений огляду та опануванню front-end технологій

HTML, CSS, JavaScript та багато іншого

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Оцінювання (рейтинг)

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

Література