Шкільняк Степан СтепановичОрляк Нікіта2023-10-132024-05-152023-10-132023Орляк Н. Розробка електронного підручника з курсу “Прикладна логіка” : кваліфікаційна робота … бакалавра : 122 Комп’ютерні науки / Орляк Нікіта. – Київ, 2023. – 55 с.https://ir.library.knu.ua/handle/123456789/5053Метою роботи є розробка електронного підручника з курсу «Прикладна логіка», який дозволяв би користувачам оперативно отримати потрібну інформацію в галузі прикладної логіки, отримати поглиблені знання щодо програмноорієнтованих логік часткових квазіарних предикатів та про секвенційні числення цих логік, про некласичні логіки, зокрема, модальні й темпоральні, та про їх застосування в інформатиці. В процесі виконання випускної кваліфікаційної роботи створено електронний підручник з курсу «Прикладна логіка» із розвинутими методами надання інформації користувачам; проаналізовано та опановано засоби для розробки браузерних застосунків, вироблено практичні навички щодо використання бібліотек та фреймворків; отримано знання щодо програмноорієнтованих логік квазіарних предикатів та їх секвенційних числень, про модальні й темпоральні логіки та про їх застосування в інформатиці й програмуванні. Ключові слова : електронний підручник, JavaScript, HTML, CSS, React, DOM, WEB.uaБакалаврська робота