Розв’язання задач теорії множин на основі алгебри предикатів та предикатних операцій

Автор(и)

  • Наталья Тимофеевна Процай Національний технічний університет «Харківський політехнічний інститут», вул. Фрунзе, 21, м. Харків, Україна, 61022, Україна https://orcid.org/0000-0002-2057-3231

DOI:

https://doi.org/10.15587/2312-8372.2015.41057

Ключові слова:

алгебра предикатів та предикатних операцій, алгебра множин, операції над множинами

Анотація

У статті розглядається поняття алгебри предикатів та предикатних операцій. Описані основні поняття та елементарні операції алгебри множин за допомогою апарату алгебри предикатів та предикатних операцій. Визначені лінійний логічний оператор та відображення Галуа у термінах алгебри предикатних операцій. Розвязано деякі задачі теорії множин за допомогою апарату алгебри предикатів та предикатних операцій.

Біографія автора

Наталья Тимофеевна Процай, Національний технічний університет «Харківський політехнічний інститут», вул. Фрунзе, 21, м. Харків, Україна, 61022

Кандидат технічних наук, доцент

Кафедра комп'ютерної математики і математичного моделювання

Посилання

  1. Bondarenko, M. F., Dudar', Z. V., Shabanov-Kushnarenko, Yu. P., Chikina, V. A., Protsai, N. T., Cherkashin, V. V. (2005). Algebra predikatov i predikatnyh operatsii. Radioelektronika ta informatyka, 1, 80–86.
  2. Protsai, N. T. (2008). Kvantornaia algebra predikatnyh operatsii. Bionika intelektu, 1 (68), 69-73.
  3. Bondarenko, M. F., Shabanov-Kushnarenko, Yu. P. (2004). Ob algebre predikatov. Bionika intellekta, 1 (61), 15-26.
  4. Protsai, N. T., Vechirskaiach, I. D. (2014). Opredelenie obraza lineinogo logicheskogo operatora i otobrazheniia Galua po pustoi oblasti v terminah kvantornoi algebry. Bionika intellekta, 2 (83), 30-34.
  5. Bondarenko, M. F., Shabanov-Kushnarenko, Yu. P. (2006). Teoriia intellekta. H.: SMIT, 563.
  6. Weiss, A. R. (2008). An introduction to set theory. University of Toronto, 119.
  7. Enderton, H. B. (1979). Elements of Set Theory. Elsevier BV, 279. doi:10.1016/B978-0-08-057042-6.50006-5
  8. Bourbaki, N. (2004). Elements of Mathematics. Theory of Sets. Springer, 414. doi:10.1007/978-3-642-59312-3
  9. Herrlich, H. (2006). Axiom of Choice. Lecture Notes in Mathematics. Springer Science + Business Media, 194.doi:10.1007/3-540-34268-0_4
  10. Ciesielski, K. (1997). Set Theory for the Working Mathematician. Cambridge University Press, 252. doi:10.1017/cbo9781139173131

##submission.downloads##

Опубліковано

2015-04-02

Як цитувати

Процай, Н. Т. (2015). Розв’язання задач теорії множин на основі алгебри предикатів та предикатних операцій. Technology Audit and Production Reserves, 2(5(22), 4–7. https://doi.org/10.15587/2312-8372.2015.41057

Номер

Том 2 № 5(22) (2015): Математичне моделювання. Інформаційно-керуючі системи

Розділ

Математичне моделювання: Оригінальне дослідження

Ліцензія

Авторське право (c) 2016 Технологічний аудит та резерви виробництва

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.