Поліщук Наталія Володимирівна
асистент

Information

Position: асистент
Degree:
Title:
Room: 603
Phone: (044)521-33-45
E-mail: polinata46@gmail.com
Research interests:

Courses:

Теорія алгоритмів, бакалаври, 3 курс

Операційні системи для мобільних платформ , бакалаври, 3 курс

Unix-подібні операційні системи , бакалаври, 3 курс

Актуальні пробл. «Data Mining», магістри, 1 курс

Операційні системи, магістри, 1 курс

Системне програмування, бакалаври, 3 курс

Математична логіка, бакалаври, 2курси

Об'єктно-орієнтоване програмування, бакалаври, 2курси

Publications:

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.