Шкільняк Оксана Степанівна
доцент

Інформація

Посада: доцент
Науковий ступінь: кандидат фізико-математичних наук
Звання: доцент
Аудиторія: 608
Телефон: 259-05-11
E-mail:
Наукові інтереси: логіко-математичні засоби специфікації програм, математична логіка, теоретичні аспекти програмування

Читає курси:

Теорія алгоритмів та математична логіка
Алгоритми та складність
Комп'ютерна графіка
Програмно-орієнтовані логіки
Прикладні логіки та елементи квантових обчислень

Публікації:

  1. Шкільняк О.С., Нікітченко М.С., Шкільняк С.С. Побудова модальних логік темпорального та епістемічного типу на основі композиційно-номінативного підходу. // Вісник Київського університету. Серія: фіз.-мат. науки. Вип. 3 – Київ, 2011, – с. 204–211.
  2. Шкільняк О.С. Kомпозиційно-номінативні мультимодальні логіки. // Штучний інтелект. – 2011, – № 4, – с. 126–133.
  3. Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня. // Проблеми програмування. – 2011, – № 1, – с. 17–28.
  4. Шкільняк О.С. Композиційно-номінативні модальні логіки функціонально-екваційного рівня. // Ж.: «Проблеми програмування». – 2010, – № 2-3, – с. 42-47.
  5. Шкільняк О.С. Семантичні властивості композиційно-номінативних модальних логік. // Ж.: «Проблеми програмування». – 2009, – № 4, – с. 11–23.
  6. Шкільняк О.С. Семантичні аспекти композиційно-номінативних модальних і темпоральних логік. // Вісник Київського університету. Серія: кібернетика. – 2009, – Вип. 9, – с. 49–55.
  7. Шкільняк О.С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік. // Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2009, – Т. 99, – с. 37–44.
  8. Шкільняк О.С. Композиційно-номінативні модальні та темпоральні логіки: семантичні властивості, секвенційні численн. // Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2008, – Т. 86, – с. 25–34.