Основні принципи побудови теорії парадоксів

Основні принципи побудови теорії програмування та моделювання 

Пізнавально-досвідне мислення
ДІАЛЕКТИКА			ЛОГІКА			СХОЛАСТИКА
Буття об’єктів в природі	Відмінність мислення та уявлень		Відношення між об’єктами, явищами	Порядок слідування процесів		Концепції перевтілень істоти  в дух	Аналогії осмислення колізій і законів
Якість об’єктів і явищ	Протилежність свідомостей на шляху до істини		Аналіз зв’язків між ознаками	Синтез частин в ієрархії		Залежності володарів духу від власності	Імпортація ознак духу на досвід
Кількість протиріч і заперечень	Суперечність фінансів і капіталів		Порівняння множин	Відображення множин		Нейтральність ознак духу	Протиріччя антагоністів
Дійсність ознаки і міри	Необхідність причини і обставини		Пояснення теорій та ймовірностей	Інтерпретація протиріч		Експортація правди у помилки	Спадковості дискурсів думок про речі
Сутність істинних втрат	Можливість примар уяви		Принципи обернення відношень	Закони проектування		Випадковості доктрин блага	Наслідки прав на волю
Адекватність пояснень	Випадковість думок і гіпотез		Теорія процесів поглинання	Інваріанти динаміки і перетворень		Ідеї та реалії підлеглості	Канони сприйняття
Причини витрат	Наслідки потреб		Умовиводи з дослідів	Судження про існування		Зв‘язки між ідолами	Догмати причин
Єдність балансів	Боротьба за ресурси		Методи слідування	Способи розгалуження		Ступені свідомості	Опозиції до дійсності
Загальність прибутків	Унікальність вкладень		Системи нерівностей	Сукупності рівнянь		Віровчення бажань	Перевтілення хибного
Об’єкти простору	Суб’єкти суджень		Алгоритми пошуку	Протоколи подій		Компетенції санів	Смисли блага
Моделі об’єктів розвитку	Категорії проблемного мислення		Цикли очікувань здорового глузду	Базиси просторів		Полярності суб’єктів і речей	Підлеглості випадків і законів

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

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еквенційні числення неокласичних логік // Доповіді Академії наук України. 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.