# Shkilnyak Stepan Stepanovych

### Professor, Doctor of Science.

He graduated with honors from the Faculty of Cybernetics, Kyiv University in 1973. Works at the University since 1973. In 1979, under the direction of VN Radish defended his thesis on “Investigation of syntactic structures of programming languages.” Holds the post of assistant professor in 1983, associate academic title obtained in 1987. In 2010 he defended his doctoral thesis on “Spectrum logics of partial predicates oriented kompozytsiyno nominative model programs” in specialty 01.05.01 – theoretical foundations of computer science and cybernetics.

Engaged in research syntactic structure of programming languages, studying algebra and logic programming. In collaboration with prof. MS Nikitchenko based on a common logic programming and compositional nominative approach it built a wide range of software-oriented logical formalisms that are at different levels of abstraction and generality. We describe the language and semantic properties of composition nominative logics appropriate level. Isolated and studied neoclassical logic, which are close to classical logic and retain its basic laws, both these logics are more expressive features and significantly broader class of semantic models. For compositional nominative logics of different levels built and studied formal axiomatic system hilbertivskoho and sequential type and proved its correctness and completeness. Studied composition nominative logics unambiguous partial, total and partial ambiguous ambiguous quasiary predicates. They offered different semantics and different formalization ratio of logical consequence, built numerous sequential type. Several results are generalizations of well-known classical logic statements. The results are used in the development of information and software systems, including systems specification and verification programs.

Research Interests:

software-oriented logical formalisms;

logic of unconventional semantics;

number of sequential type.

SS Shkilnyak lectures and conducts workshops on the following standard courses:

“Logic” (2 course in Computer Science);

“The theory of algorithms” (2 course in Computer Science);

“The theory of algorithms and mathematical logic” (3 course in Applied Mathematics);

“Applied Logic” (2nd year graduate distance learning specialty Informatics).

Stepan is the head of production and assistant practice manager coursework, undergraduate, diploma and master works.

S.S.Shkilnyak is the author of 160 scientific and educational works, including 15 textbooks and textbook “Mathematical Logic and Theory of Algorithms” (co-authored with M.S.Nikitchenkom) Award in 2010 Shevchenko Prize Kyiv National Taras Shevchenko University.

The basic teaching of publication:

1. NS Nykytchenko, SS Shkylnyak. Syntaksycheskyy analysis yazыkov programming method sweep / / Programming. – 1975. – №. 6. – S. 11.3.

2. SS Shkylnyak. Syntaksycheskyy analysis yazыkov s Using prerыvystыh kontekstov / / Programming. – 1976. – №. 3. – S. 22-30.

3. VN Radish, SS Shkylnyak. Structure syntaksycheskyh defynytsyy yazыkov programming / / Programming. – 1979. – №. 4. – S. 3-15.

4. NS Nykytchenko, SS Shkylnyak. Prohrammnыe defynytorы / / Programming. – 1983. – №. 1. – S. 3-10.

5. SS Shkylnyak. Study prohrammnыh algebra of functions naturalnыh arguments and values / / models and data processing systems. – 1989. – Vol. 8. – S. 9-16

6. MS Nikitchenko, SS Shkilnyak. Algebra Equitone functions and their properties / / Bulletin of Kiev University. Series: Sci. science. – 1998. – Vol. 2. – S. 222-232.

7. MS Nikitchenko, SS Shkilnyak. Principles of reflection and S-S-parameterization in logics structured data / / Bulletin of Kyiv University. Series: Sci. science. – 1998. – Vol. 4. S. 169-179.

8. MS Nikitchenko, SS Shkilnyak. Composition-nominative predicate logic Equitone / / Bulletin of Kyiv University. Series: Sci. science. – 2000. – Vol. 2. S. 300-314.

9. MS Nikitchenko, SS Shkilnyak. Net Composition nominative calculus / / Bulletin of Kyiv University. Series: Sci. science. – 2000. – Vol. 3. – S. 290-303.

10. NS Nykytchenko, SS Shkylnyak. Neoklassycheskye logic predykatov / / Problems programming. – 2000. – № 3-4. – S. 3-17. (N.S.Nykytchenko)

11. MS Nikitchenko, SS Shkilnyak. Composition-nominative first-order logic / / Bulletin of Kyiv University. Series: Sci. science. – 2001. – Vol. 1. – S. 260-274.

12. MS Nikitchenko, SS Shkilnyak. Composition-nominative calculus of first order / / Bulletin of Kyiv University. Series: Sci. science. – 2001. – Vol. 2. – S. 302-313.

13. MS Nikitchenko, SS Shkilnyak. Semantic Aspects of Post-classical logics / / Problems programming. – 2001. – № 1-2. – P. 3-12.

14. MS Nikitchenko, SS Shkilnyak. Composition nominative logics neoclassical type / / Bulletin of Kyiv University. Series: Cybernetics. – K., 2001. – Vol. 2. – S. 48-57.

15. SS Shkilnyak. Normal forms in neoclassical logic / / Problems programming. – 2001, № 3-4. – S. 14-22.

16. SS Shkilnyak. Bezkvantorni neoclassical logic / / Bulletin of Kyiv University. Series: Sci. science. – 2001. – Vol. 4. – S. 323-331.

17. MS Nikitchenko, SS Shkilnyak. Partial and modal logic – means modeling domains / / Bulletin of Kyiv University. Series: Sci. science. – 2001. – Vol. 5. – S. 138-147.

18. SS Shkilnyak. Bezkvantorni neoclassical calculus / / Bulletin of Kyiv University. Series: Sci. science. – 2002. – Vol. 1. S. 276-282.

19. MS Nikitchenko, SS Shkilnyak. Composition-nominative modal logic / / Problems programming. – 2002. – № 1-2. – S. 27-33.

20. SS Shkilnyak. Equivalent transformations and normal forms in neoclassical logic / / Bulletin of Kyiv University. Series: Sci. science. – 2002. – Vol. 2. – S. 278-287.

21. SS Shkilnyak. Functional ekvatsiyni neoclassical logic: syntactic properties and normal forms / / Bulletin of Kyiv University. Series: Sci. science. – 2002. – Vol. 3. – S. 260-267.

22. SS Shkilnyak. Neo-classical sequent calculus / / Bulletin of Kyiv University. Series: Sci. science. – 2002. – Vol. 4. – S. 261-274.

23. SS Shkilnyak. Neoclassical Kvantorni logic with equality / / Bulletin of Kyiv University. Series: Sci. science. – 2003. – Issue 1. – S. 222-225.

24. SS Shkilnyak. Cekventsiyni calculus neoclassical logic functional level / / Bulletin of Kyiv University. Series: Sci. science. – 2003. – Issue 2. – S. 223-228.

25. SS Shkilnyak. Teoriya algorithms: examples and problems. Textbook. – K.: STPC Kyiv University, 2003. – 93 p.

26. SS Shkilnyak. Cekventsiyni calculus neoclassical logic / / Reports of the Academy of Sciences of Ukraine. Session on: Cybernetics and Computer Science. – 2003. – № 6. – S. 58-63.

27. MS Nikitchenko, SS Shkilnyak. Logic locally Equitone predicate: semantic properties and sequent calculus / / Problems programming. – 2003. – № 2. – S. 28-41.

28. LP Goblin, SS Shkilnyak. Teoriya algorithms. Textbook. – K.: STPC Kyiv University, 2003. – 164 p.

29. MS Nikitchenko, SS Shkilnyak. Logic. Textbook. – K.: STPC Kyiv University, 2003. – 120 p.

30. MS Nikitchenko, SS Shkilnyak. Compositional logic nominative data / / Problems programming. – 2003. – № 3. – S. 29-40.

31. SS Shkilnyak. Functional ekvatsiyni neoclassical logic: sequent calculus type / / Bulletin of Kyiv University. Series: Sci. science. – 2003. – Vol. 4. – S. 302-309.

32. MS Nikitchenko, SS Shkilnyak. Semantic properties neoclassical logic and sequent calculus / / Bulletin of Kyiv University. Series: Cybernetics. – K., 2003. – Vol. 4. – S. 25-35.

33. SS Shkilnyak. Properties neoclassical calculi / / Bulletin of Kyiv University. Series: Sci. science. – 2004. – Vol. 1. – S. 286-293.

34. MS Nikitchenko, SS Shkilnyak. Kompozytsiyno-nominatyvni predicate logic over data with incomplete information / / Problems programming. – 2004. – № 2-3. – S. 74-80.

35. MS Nikitchenko, SS Shkilnyak. Hierarchy compositional nominative logics / / Problems programming. – 2004. – № 4. – S. 5-14.

36. SS Shkilnyak. Composition-nominative predicate logic quasiary / / Bulletin of Kyiv University. Series: Sci. science. – 2004. – Vol. 4. – S. 278-287

37. SS Shkilnyak. Finitarni quasiary logic predicates / / Bulletin of Kyiv University. Series: Cybernetics. – K., 2005. – Vol. 6. – S. 47-55.

38. MS Nikitchenko, L.L.Omelchuk, SS Shkilnyak. Logic-oriented program specification / / Problems programming. – 2006. – № 2-3. – S. 17-24.

39. MS Nikitchenko, SS Shkilnyak. The spectrum of composition nominative logics / / Bulletin of Kyiv University. Series: Cybernetics. – K., 2006. – V.7. – S. 44-48.

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

41. MS Nikitchenko, SS Shkilnyak. Fundamentals of mathematical logic. Textbook. – K.: STPC Kyiv University, 2006. – 246 p.

42. MS Nikitchenko, SS Shkilnyak. Intensional-oriented approach to the logical systems / / Problems of Programming. – 2007. – № 2. – C. 15-40.

43. SS Shkilnyak. Logic. Examples and problems. Textbook. – K.: STPC Kyiv University, 2007. – 144 p.

44. MS Nikitchenko, IA Antonova, SS Shkilnyak. Composition nominative logics with operators of fixed point / / Problems of Programming. – 2008. – № 2-3. – C. 64-74.

45. MS Nikitchenko, SS Shkilnyak. Logic and theory of algorithms. Textbook. – K.: STPC Kyiv University, 2008. – 528 p.

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. SS Shkilnyak. Neoclassical algebras and their homomorphisms / / Scientific notes NaUKMA. Series: Computer Science. – K., 2009. – Tom 99. – C. 14-22.

48. M.S.Nikitchenko, I.A.Antonova, SS Shkilnyak. Operators fixed point in the algebra of partial predicates / / Bulletin of Kyiv University. Series: Cybernetics. – K., 2009. – Vol. 9. – C. 23-32.

49. SS Shkilnyak. Attitude logical consequence of compositional nominative logics / / Problems of Programming. – 2010. – № 1 – C. 15-38.

50. MS Nikitchenko, SS Shkilnyak. Composition nominative logics on hierarchical data / / Problems of Programming. – 2010. – № 2-3 – C. 48-57.

51. SS Shkylnyak. Logical kvazyarnыh predykatov pervogo order / / Cybernetics and systems analysis. – 2010. – № 6 – S. 32-49.

52. MS Nikitchenko, DC Shkilnyak, SS Shkilnyak. Building modal logics temporal and epistemic type based compositional approach nominative / / Bulletin of Kyiv University. Series: Sci. science. – 2011. – Vol. 3. – S. 204-211.

53. MS Nikitchenko, SS Shkilnyak. Composition nominative logics of quantifier-level ekvatsiynoho / / Bulletin of Kyiv University. Series: Cybernetics. – K., 2011. – Vol. 11. – C. 32-40.

54. SS Shkilnyak. Special relation of logical consequence in predicate logics quasiary / / Problems of Programming. – 2011. – № 4 – C. 36-48.

55 MS Nikitchenko, SS Shkilnyak. Pershoporyadkovi composition nominative logics / / Bulletin of Kyiv University. Series: Sci. science. – 2011. – Vol. 4. – S. 176-185.

56. SS Shkilnyak. Sequent calculus pershoporyadkovyh logic unambiguous quasiary predicates / / Problems of programming. – 2012. – № 1 – C. 34-51.

57. SS Shkilnyak. Composition nominative logics quasiary predicates and multivalued logic / / Artificial Intelligence. – 2012. – № 1. – C. 66-74.

58. SS Shkilnyak. The logical consequence and its formalization in the composition nominative logics / / Artificial Intelligence. – 2012. – № 1. – C. 307-319.

59. MS Nikitchenko, DC Shkilnyak, SS Shkilnyak. Two-digit and ambiguous composition nominative logics / / Bulletin of Kyiv University. Series: Sci. science. – 2012. – Vol. 1. – S. 199-206.

60. SS Shkilnyak. Sequent calculus composition nominative logics quasiary predicates / / Problems of programming. – 2012. – № 2-3 – C. 33-43.

61. SS Shkilnyak. The theory of algorithms. Examples and problems. Textbook. – K.: STPC Kyiv University, 2012. – 151 p.

62. MS Nikitchenko, SS Shkilnyak. Logic quasiary predicate quantifier-ekvatsiynoho level / / Problems of Programming. – 2012. – № 4 – C. 3-17.