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

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