Шишацька Олена Володимирівна
доцент

Інформація

Посада: доцент
Науковий ступінь: кандидат фізико-математичних наук
Звання:
Аудиторія: 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.