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

професор

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

професор

611

521-33-45

Програмно-орієнтовані логічні формалізми, числення секвенційного типу, математична логіка Закінчив з відзнакою факультет кібернетики Київського університету в 1973 році. Працює в КНУ з 1973 року на посадах інженера, старшого наукового співробітника, асистента, доцента, професора. У 1979 році під керівництвом проф. В.Н. Редька захистив кандидатську дисертацію на тему “Дослідження синтаксичної структури мов програмування”. Наукове звання доцента отримав у 1987 році. У 2010 році захистив докторську дисертацію на тему “Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм” за спеціальністю 01.05.01 – теоретичні основи інформатики та кібернетики. Із 2013 року посідає посаду професора кафедри ТТП, наукове звання професора отримав у 2014 році. Гарант освітньо-наукової програми «Інформатика» другого (магістерського) рівня вищої освіти за спеціальністю F3 «Комп’ютерні науки». Автор понад 200 наукових та навчально-методичних робіт. Займався вивченням синтаксичної структури мов програмування, дослідженням програмних алгебр та логік. У співпраці з проф. М.С.   Нікітченком на базі спільного для логіки й програмування композиційно-номінативного підходу ним побудовано широкий спектр програмно- орієнтованих логічних формалізмів, що знаходяться на різних рівнях абстрактності й загальності. Досліджує логіки однозначних та неоднозначних квазіарних предикатів, загальних недетермінованих предикатів, модальні логіки часткових предикатів. Для них запропоновано низку формалізацій відношення логічного наслідку, побудовано відповідні числення секвенційного типу.

Біографія

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

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

Академічні нагороди та премії

Лауреат Державної премії України в галузі освіти 2018 року
Лауреат премії імені Тараса Шевченка КНУ імені Тараса Шевченка 2010 року
Подяка Київського Міського Голови (2004)
Подяка Міністерства освіти і науки України (2020)
Грамотa КНУ імені Тараса Шевченка (2023)

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

Математична логіка (бакалаври ОПП Інформатика, 2 курс)
Теорія алгоритмів (бакалаври ОПП Інформатика, 2 курс)
Прикладні та програмно-орієнтовані логіки (магістри ОНП Інформатика, 2 курс)

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

Публікації

  1. 1. М.С.   Нікітченко, С.С.   Шкільняк. Математична логіка та теорія алгоритмів.
    Підручник. – K.: ВПЦ Київський університет, 2008. – 528 с.
    2. М.С.   Нікітченко, O.С.   Шкільняк, С.С.   Шкільняк. Чисті першопорядкові логіки

    квазіарних предикатів // Проблеми програмування, 2016, № 2–3. – C. 73–86.
    3. М.С.   Нікітченко, O.С.   Шкільняк, С.С.   Шкільняк. Логіки загальних недетермінованих
    предикатів: семантичні аспекти // Проблеми програмування, 2018, № 2–3. – C. 31–45.
    4. С.С.   Шкільняк. Першопорядковi композиційно-номінативні логіки з предикатами
    слабкої та строгої рівності // Проблеми програмування, 2019, № 3. – C. 28–44.
    5. M.   Nikitchenko, O.   Shkilniak, S.   Shkilniak. Sequent Calculi of First-order Logics of Partial
    Predicates with Extended Renominations and Composition of Predicate Complement //
    Proceedings of the UkrPROG 2020. Kyiv, Ukraine, September 15-16, 2020. CEUR Workshop
    Proceedings (CEUR-WS.org), 2020, pp. 182–197.
    6. С.С.   Шкільняк Математична логіка. Приклади й задачі. Навчальний посібник. – K.:
    ВПЦ Київський університет, 2022. – 304 c.
    7. С.С. Шкільняк Теорія алгоритмів. Приклади та задачі. Навчальний посібник. – K.:
    ВПЦ Київський університет, 2023. – 191 c.
    8. O.S   Shkilniak, S.S.   Shkilniak Transitional Modal Logics of Quasiary Predicates with
    Equality and Sequent Calculi for these Logics // Proceedings of the UkrPROGР2024. Kyiv,
    Ukraine, May 14–15, 2024. CEUR Workshop Proceedings (CEUR-WS.org), 2024, pp. 30–49.
    9. S.   Shkilniak. Varieties of pure first-order logics of partial quasiary predicates // Bulletin of
    Taras Shevchenko National University of Kyiv. Physical and Mathematical Sciences, Vol.79,
    No2 (2024), pp. 80–88.