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




Surname: Шкильняк

Name: Степан

Last name: Степанович

Доктор физ.-мат. наук

sssh@unicyb.kiev.ua

Профессор, доктор физико-математических наук.

Окончил с отличием факультет кибернетики Киевского университета в 1973 году. Работает в университете с 1973 года. В 1979 году под руководством В.Н. Редька защитил кандидатскую диссертацию на тему «Исследование синтаксической структуры языков программирования». Занимает должность доцента кафедры с 1983 года, научное звание доцента получил в 1987 году. В 2010 году защитил докторскую диссертацию на тему «Спектр логик частичных предикатов, ориентированных на композицийнo-номинативные модели программ» по специальности 01.05.01 – теоретические основы информатики и кибернетики.

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

Область научных интересов:
программно-ориентированные логические формализмы;
логики с нетрадиционными семантики;
исчисления секвенциального типа.

С.С. Шкильняк читает лекции и проводит практические занятия по следующим нормативных курсов:
«Логика» (2 курс специальности Информатика)
«Теория алгоритмов» (2 курс специальности Информатика)
«Теория алгоритмов и математическая логика» (3 курс специальности Прикладная математика);
«Прикладная логика» (2 курс магистратуры заочной формы обучения специальности Информатика).

Степан Степанович является руководителем производственной и ассистентской практики, руководителем курсовых, бакалаврских, дипломных и магистерских работ.

С.С.Шкильняк является автором 160 научных и учебно-методических работ, в том числе 15 учебных пособий и учебника «Математическая логика и теория алгоритмов» (в соавторстве с М.С.Никитченком), отмеченного в 2010 г. премией имени Тараса Шевченко Киевского национального университета имени Тараса Шевченко.

Основные учебно-методические публикации:

1. Н.С. Никитченко, С.С. Шкильняк. Синтаксический анализ языков программирования методом развертки / / Программирование. – 1975. – №. 6. – С. 3-11.

2. С.С. Шкильняк. Синтаксический анализ языков с использованием прерывистых контекстов / / Программирование. – 1976. – №. 3. – С. 22-30.

3. В.Н. Редько, С.С. Шкильняк. Структуры синтаксических дефиниций языков программирования / / Программирование. – 1979. – №. 4. – С. 3-15.

4. Н.С. Никитченко, С.С. Шкильняк. Программные дефиниторы / / Программирование. – 1983. – №. 1. – С. 3-10.

5. С.С. Шкильняк. Исследование программных алгебр функций натуральных аргументов и значений / / Модели и системы обработки информации. – 1989. – Вып. 8. – С. 9-16

6. М.С. Никитченко, С.С. Шкильняк. Алгебры эквитонных функций и их свойства / / Вестник Киевского университета. Серия: физ.-мат. науки. – 1998. – Вып. 2. – С. 222-232.

7. М.С. Никитченко, С.С. Шкильняк. Принципы S-рефлексии и S-параметризации в логиках структурированных данных / / Вестник Киевского университета. Серия: физ.-мат. науки. – 1998. – Вып. 4. С. 169-179.

8. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных логики эквитонных предикатов / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2000. – Вып. 2. С. 300-314.

9. М.С. Никитченко, С.С. Шкильняк. Чистые композиционно-номинативных исчисления / / Вестник Киевского университета. Серия: физ.-мат. науки. – 2000. – Вып. 3. – С. 290-303.

10. Н.С. Никитченко, С.С. Шкильняк. Неоклассические логики предикатов / / Проблемы программирования. – 2000. – № 3-4. – С. 3-17. (Н.С.Никитченко)

11. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных логики первого порядка / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2001. – Вып. 1. – С. 260-274.

12. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных исчисления первого порядка / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2001. – Вып. 2. – С. 302-313.

13. М.С. Никитченко, С.С. Шкильняк. Семантические аспекты постклассического логик / / Проблемы программирования. – 2001. – № 1-2. – С. 3-12.

14. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных логики неоклассического типа / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2001. – Вып. 2. – С. 48-57.

15. С.С. Шкильняк. Нормальные формы в неоклассической логике / / Проблемы программирования. – 2001, № 3-4. – С. 14-22.

16. С.С. Шкильняк. Безкванторни неоклассические логики / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2001. – Вып. 4. – С. 323-331.

17. М.С. Никитченко, С.С. Шкильняк. Частичные и модальные логики – средства моделирования предметных областей / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2001. – Вып. 5. – С. 138-147.

18. С.С. Шкильняк. Безкванторни неоклассические исчисления / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2002. – Вып. 1. С. 276-282.

19. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных модальные логики / / Проблемы программирования. – 2002. – № 1-2. – С. 27-33.

20. С.С. Шкильняк. Эквивалентные преобразования и нормальные формы в неоклассической логике / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2002. – Вып. 2. – С. 278-287.

21. С.С. Шкильняк. Функционально-еквацийни неоклассические логики: синтаксические свойства и нормальные формы / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2002. – Вып. 3. – С. 260-267.

22. С.С. Шкильняк. Неоклассические секвенциальные исчисления / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2002. – Вып. 4. – С. 261-274.

23. С.С. Шкильняк. Неоклассические кванторного логики с равенством / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2003. – Вып.1. – С. 222-225.

24. С.С. Шкильняк. Cеквенцийни исчисления неоклассических логик функционального уровня / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2003. – Вып.2. – С. 223-228.

25. С.С. Шкильняк. Tеория алгоритмов: примеры и задачи. Учебное пособие. – K.: ИПЦ Киевский университет, 2003. – 93 с.

26. С.С. Шкильняк. Cеквенцийни исчисления неоклассических логик / / Доклады Академии наук Украины. СЕКЦИЯ: Кибернетика и вычислительная техника. – 2003. – № 6. – С. 58-63.

27. М.С. Никитченко, С.С. Шкильняк. Логики локально-эквитонных предикатов: семантические свойства и секвенциальные исчисления / / Проблемы программирования. – 2003. – № 2. – С. 28-41.

28. Л.П. Леший, С.С. Шкильняк. Tеория алгоритмов. Учебное пособие. – K.: ИПЦ Киевский университет, 2003. – 164 с.

29. М.С. Никитченко, С.С. Шкильняк. Математическая логика. Учебное пособие. – K.: ИПЦ Киевский университет, 2003. – 120 с.

30. М.С. Никитченко, С.С. Шкильняк. Композиционные логики номинативных данных / / Проблемы программирования. – 2003. – № 3. – С. 29-40.

31. С.С. Шкильняк. Функционально-еквацийни неоклассические логики: исчисление секвенциального типа / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2003. – Вып. 4. – С. 302-309.

32. М.С. Никитченко, С.С. Шкильняк. Семантические свойства неоклассических логик и секвенциальные исчисления / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2003. – Вып. 4. – С. 25-35.

33. С.С. Шкильняк. Свойства неоклассических секвенциальных исчислений / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2004. – Вып. 1. – С. 286-293.

34. М.С. Никитченко, С.С. Шкильняк. Композицийнo-номинативнi логики предикатов над данными с неполной информацией / / Проблемы программирования. – 2004. – № 2-3. – С. 74-80.

35. М.С. Никитченко, С.С. Шкильняк. Иерархия композиционно-номинативных логик / / Проблемы программирования. – 2004. – № 4. – С. 5-14.

36. С.С. Шкильняк. Композиционно-номинативных логики квазиарних предикатов / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2004. – Вып. 4. – С. 278-287

37. С.С. Шкильняк. Финитарни логики квазиарних предикатов / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2005. – Вып. 6. – С. 47-55.

38. М.С. Никитченко, Л.Л.Омельчук, С.С. Шкильняк. Логики, ориентированные на спецификации программ / / Проблемы программирования. – 2006. – № 2-3. – С. 17-24.

39. М.С. Никитченко, С.С. Шкильняк. Спектр композиционно-номинативных логик / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2006. – Вып.7. – С. 44-48.

40. N. Nikitchenko, L. Omelchuk,, S. Shkilniak. Formalisms for Specification of Programs over Nominative Data / / Electronic computers and informatics (ECI 2006): international conference: proceedings. – Košice-Herl’any, Slovakia, 2006. – P. 134-139.

41. М.С. Никитченко, С.С. Шкильняк. Основы математической логики. Учебное пособие. – K.: ИПЦ Киевский университет, 2006. – 246 с.

42. М.С. Никитченко, С.С. Шкильняк. Интенсиональных-ориентированный подход к построению логических систем / / Проблемы программирования. – 2007. – № 2. – C. 15-40.

43. С.С. Шкильняк. Математическая логика. Примеры и задачи. Учебное пособие. – М.: ИПЦ Киевский университет, 2007. – 144 с.

44. М.С. Никитченко, И.А. Антонова, С.С. Шкильняк. Композиционно-номинативных логики с операторами неподвижной точки / / Проблемы программирования. – 2008. – № 2-3. – C. 64-74.

45. М.С. Никитченко, С.С. Шкильняк. Математическая логика и теория алгоритмов. Учебник. – K.: ИПЦ Киевский университет, 2008. – 528 с.

46. M.S. Nikitchenko, I.A. Antonova, S.S. Shkilniak. Properties of Fixed Point Operators in Algebras of Partial Predicates / / INFORMATICS 2009: international conference: proceedings. – Herl’any, Slovakia, 2009. – P.184-191.

47. С.С. Шкильняк. Неоклассические алгебры и их гомоморфизмах / / Научные записки НаУКМА. Серия: Компьютерные науки. – К., 2009. – Том 99. – C. 14-22.

48. М.С.Никитченко, И.А.Антонова, С.С. Шкильняк. Операторы неподвижной точки в алгебрах частичных предикатов / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2009. – Вып. 9. – C. 23-32.

49. С.С. Шкильняк. Отношение логического следствия в композиционно-номинативных логиках / / Проблемы программирования. – 2010. – № 1 – C. 15-38.

50. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных логики над иерархическими данными / / Проблемы программирования. – 2010. – № 2-3 – C. 48-57.

51. С.С. Шкильняк. Логики квазиарных предикатов первого порядка / / Кибернетика и системный анализ. – 2010. – № 6 – С. 32-49.

52. М.С. Никитченко, А.С. Шкильняк, С.С. Шкильняк. Построение модальных логик темпорального и эпистемической типа на основе композиционно-номинативных подхода / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2011. – Вып. 3. – С. 204-211.

53. М.С. Никитченко, С.С. Шкильняк. Композиционно-номинативных логики кванторного-еквацийного уровня / / Вестник Киевского ун-та. Серия: кибернетика. – К., 2011. – Вып. 11. – C. 32-40.

54. С.С. Шкильняк. Специальные отношение логического следствия в логиках квазиарних предикатов / / Проблемы программирования. – 2011. – № 4 – C. 36-48.

55 М.С. Никитченко, С.С. Шкильняк. Першопорядкови композиционно-номинативных логики / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2011. – Вып. 4. – С. 176-185.

56. С.С. Шкильняк. Секвенциальные исчисления першопорядкових логик однозначных квазиарних предикатов / / Проблемы программирования. – 2012. – № 1 – C. 34-51.

57. С.С. Шкильняк. Композиционно-номинативных логики квазиарних предикатов и многозначные логики / / Искусственный интеллект. – 2012. – № 1. – C. 66-74.

58. С.С. Шкильняк. Логическое следствие и его формализации в композиционно-номинативных логиках / / Искусственный интеллект. – 2012. – № 1. – C. 307-319.

59. М.С. Никитченко, А.С. Шкильняк, С.С. Шкильняк. Двузначные и многозначные композиционно-номинативных логики / / Вестник Киевского ун-та. Серия: физ.-мат. науки. – 2012. – Вып. 1. – С. 199-206.

60. С.С. Шкильняк. Секвенциальные исчисления композиционно-номинативных логик квазиарних предикатов / / Проблемы программирования. – 2012. – № 2-3 – C. 33-43.

61. С.С. Шкильняк. Теория алгоритмов. Примеры и задачи. Учебное пособие. – М.: ИПЦ Киевский университет, 2012. – 151 с.

62. М.С. Никитченко, С.С. Шкильняк. Логики квазиарних предикатов кванторного-еквацийного уровня / / Проблемы программирования. – 2012. – № 4 – C. 3-17.

Новини
Дошка оголошень
Цікаві факти