Розробка електронного підручника з курсу “Прикладна логіка”
Дата
2023
Автори
Орляк Нікіта
Назва журналу
ISSN журналу
Назва тому
Видавець
Анотація
Метою роботи є розробка електронного підручника з курсу «Прикладна логіка», який дозволяв би користувачам оперативно отримати потрібну інформацію в галузі прикладної логіки, отримати поглиблені знання щодо програмноорієнтованих логік часткових квазіарних предикатів та про секвенційні числення цих логік, про некласичні логіки, зокрема, модальні й темпоральні, та про їх застосування в інформатиці.
В процесі виконання випускної кваліфікаційної роботи створено електронний підручник з курсу «Прикладна логіка» із розвинутими методами надання інформації користувачам; проаналізовано та опановано засоби для розробки браузерних застосунків, вироблено практичні навички щодо використання бібліотек та фреймворків; отримано знання щодо програмноорієнтованих логік квазіарних предикатів та їх секвенційних числень, про модальні й темпоральні логіки та про їх застосування в інформатиці й програмуванні.
Ключові слова : електронний підручник, JavaScript, HTML, CSS, React, DOM, WEB.
Бібліографічний опис
Галузь знань та спеціальність
12 Інформаційні технології , 122 Комп’ютерні науки
Бібліографічний опис
Орляк Н. Розробка електронного підручника з курсу “Прикладна логіка” : кваліфікаційна робота … бакалавра : 122 Комп’ютерні науки / Орляк Нікіта. – Київ, 2023. – 55 с.