Шкільняк Степан Степанович

Закінчив з відзнакою факультет кібернетики Київського університету в 1973 році. Працює в університеті з 1973 року. У 1979 році під керівництвом В.Н. Редька захистив кандидатську дисертацію на тему “Дослідження синтаксичної структури мов програмування”. Посідає посаду доцента кафедри з 1983 року, наукове звання доцента отримав у 1987 році. У 2010 році захистив докторську дисертацію на тему “Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм” за спеціальністю 01.05.01 – теоретичні основи інформатики та кібернетики.

Займався дослідженнями синтаксичної структури мов програмування, вивченням про­грамних алгебр та логік. У співпраці з проф. М.С. Нікітченком на базі спільного для логіки й програмування композиційно-номінативного підходу ним побудовано широкий спектр прог­рамно-орієнтованих логічних формалізмів, що знаходяться на різних рівнях абстрактності й загальності. Описано мови та досліджено семантичні властивості композиційно-номіна­тивних логік відповідного рівня. Виділено та досліджено неокласичні логіки, які близькі до класичної логіки предикатів і зберігають основні її закони, водночас ці логіки мають більші виразні можливості та істотно ширші класи семантичних моделей. Для композиційно-номі­нативних логік різних рівнів побудовано і досліджено формально-аксіоматичні системи гільбертівського та секвенційного типу, доведено їх коректність і повноту. Досліджено ком­позиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та част­кових неоднозначних квазіарних предикатів. Для них запропоновано різні семантики та різні формалізації відношення логічного наслідку, побудовано числення секвенційного типу. Низка отриманих результатів є узагальненнями відомих тверджень класичної логіки. Результати досліджень застосовуються при розробці інформаційних та програмних систем, зокрема, систем специфікації та верифікації програм.

Математична логіка
Теорія алгоритмів

1. Шкільняк С.С. Секвенційні числення першопорядкових логік однозначних квазіарних предикатів // Проблеми програмування. – 2012. – № 1 – C. 34–51
2. Шкільняк С.С. Спеціальні відношення логічного наслідку в логіках квазіарних предикатів // Проблеми програмування. – 2011. – № 4 – C. 36–48
3. Шкільняк С.С. Логики квазиарных предикатов первого порядка // Кибернетика и системный анализ. – 2010. – № 6 – С. 32–49
4. Шкільняк С.С., Нікітченко М.С. Композиційно-номінативні логіки над ієрархічними даними // Проблеми програмування. – 2010. – № 2–3 – C. 48–57
5. Шкільняк С.С. Відношення логічного наслідку в композиційно-номінативних логіках // Проблеми програмування. – 2010. – № 1 – C. 15–38
6. Шкільняк С.С. Неокласичні алгебри та їх гомоморфізми // Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2009. – Т. 99. – C. 14–22
7. Шкільняк С.С., Нікітченко М.С. Інтенсіонально-орієнтований підхід до побудови логічних систем // Пробл. програмування. – 2007. – № 2. – C. 15–40