Посада: | доцент |
---|---|
Науковий ступінь: | кандидат фізико-математичних наук |
Звання: | |
Аудиторія: | 603 |
Телефон: | (044)521-33-45 |
E-mail: | shyshatska@knu.ua |
Наукові інтереси: | формальна розробка програм, програмні алгебри, багатозначні логіки |
Теорія програмування, бакалаври, 3 курс
Методи специфікації програм, бакалаври, 4курс
Математична логіка та теорія алгоритмів, бакалаври, 2курси
Теорія табличних алгебр, магістри, 2 курс
1.SMT-LIB Theory of Nominative Data / Omelchuk L. and Shyshatska O. //Springer Nature Switzerland AG, Communications in Computer and Information Science, 1175 CCIS, pp. 89-110, 2020.https://doi.org/10.1007/978-3-030-39459-2_5
2.Шишацька О. В. Семантичні властивості п’ятизначних логік / М. С. Нікітченко, О .В .Шишацька // Проблеми програмування. – 2018. – № 1. – С. 22-35.
3.Шишацька О. В. П’ятизначні логіки: побудова та інтерпретація / О. В. Шишацька // Вісник Київського національного університету імені Тараса Шевченка. Серія: Фізико-математичні науки. – 2017. – Вип. 4. – С. 143-151.
4.Шишацкая Е.В. Математические основания алгоритмов линеаризации: рефлексивно-транзитивное замыкание бинарных отношений / Д.Б. Буй, Е.В. Шишацкая, К.Д. Мохаммед, Ф. Санмейд // Вісник Харківського національного університету ім. В.Н. Каразіна. Серія: “Математичне моделювання. Інформаційні технології. Автоматизовані системи управління”. – 2016. – №28. – С.19-33.