Головна » Співробітники

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

доцент

кандидат фізико-математичних наук

603

521-33-45

shyshatska@knu-dot-ua

формальна розробка програм, програмні алгебри, багатозначні логіки

Біографія

В 1991 р. закінчила Петрокорбівську СШ з золотою медаллю, 1996 р. – фізико-математичний ф-т Кіровоградського педагогічно­го інституту, отримала диплом спеціаліста з відзнакою. З 1996 по 1988 р. – асистент кафедри інформатики Кіровоградського державного педагогічного університету ім. В. Винниченка. З 1998 по 2006 р. (з перервою у 5 років декрету) навчалася в аспірантурі кафедри теорії та технології програмування ф-ту кібернетики.

Навчальні дисципліни

 

  • Теорія програмування, бакалавр, 3-й курс, лекції, практичні
  • Парадигми та технології програмування, бакалавр, 3-й курс, лекції
  • Специфікації програм, бакалавр, 4-й курс, семінарські
  • Теорія табличних алгебр, магістр, 2-й курс, семінарські
  • Системне програмування, бакалавр, 3-й курс, лабораторні
  • Математична логіка та теорія алгоритмів, бакалавр, 2-й курс, практичні

 

 

Профілі в Е-системах

Google Scholar
Scopus
Web of Science
ORCID ID

Публікації

 

  1. Методичні аспекти інтеграції навчальних курсів в галузі інформаційних технологій / Ткаченко О.М., Омельчук Л.Л., Шишацька О.В. // Математична логіка та програмування. Досвід викладання: Колективна монографія. – Одеса: Видавничий дім “Гельветика”, 2022. – С. 194-205.
  2. 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
  3. Шишацька О. В. Семантичні властивості п’ятизначних логік / М. С. Нікітченко, О .В .Шишацька // Проблеми програмування. – 2018. – № 1. – С. 22-35. 
  4. Шишацька О. В. П’ятизначні логіки: побудова та інтерпретація / О. В. Шишацька // Вісник Київського національного університету імені Тараса Шевченка. Серія: Фізико-математичні науки. – 2017. – Вип. 4. – С. 143-151.
  5. Шишацкая Е.В. Математические основания алгоритмов линеаризации: рефлексивно-транзитивное замыкание бинарных отношений / Д.Б. Буй, Е.В. Шишацкая, К.Д. Мохаммед, Ф. Санмейд // Вісник Харківського національного університету ім. В.Н. Каразіна. Серія: “Математичне моделювання. Інформаційні технології. Автоматизовані системи управління”. – 2016. – №28. – С.19-33. 
  6. Шишацкая Е.В. Рефлексивно-транзитивные замыкания бинарных отношений. / Д.Б. Буй, Е.В. Шишацкая, К.Д. Мохаммед, Ф. Санмейд // Электротехнические и компьютерные системы. – 2016. – №22(98). – С.272-276