Предикатнi логiчнi матрицi

Скорочена інформація про документ
dc.contributor.authorЯкімова, Наталія Анатоліївна
dc.contributor.authorYakimova, Nataliia A.
dc.date.accessioned2020-01-25T18:39:47Z
dc.date.available2020-01-25T18:39:47Z
dc.date.issued2019
dc.description.abstractУ класичнiй лiнiйнiй алгебрi широко використається апарат матриць. Але класична лiнiйна алгебра має справу iз безперервними об’єктами. Логiчна алгебра, побудована за аналогiєю з класичною лiнiйною алгеброю, будує тi ж самi моделi за допомогою дискретних об’єктiв, що мають логiчну структуру i пiдкоряються вiдповiдним законам. Це призводить до суттєвих вiдмiнностей у функцiонуваннi побудованих моделей. Дана стаття присвячена матрицям, в якостi елементiв для яких взято елементарнi логiчнi елементи, а саме скiнченнi предикати довiльної арностi. В роботi дослiдженi властивостi таких матриць та особливостi їх застосування. Також розглянутi основнi операцiї над такими матрицями. Крiм звичайних операцiй, що мають мiсце в класичнiй лiнiйнiй алгебрi, логiчнi структури дозволяють виконувати це декiлька операцiй.uk_UA
dc.description.abstractВ классической линейной алгебре широко используется аппарат матриц. Но классическая линейная алгебра имеет дело с непрерывными объектами. Логическая алгебра, построенная по аналогии с классической линейной алгеброй, строит те же самые модели с помощью дискретных объектов, имеющих логическую структуру и подчиняющихся соответствующим законам. Это приводит к существенным отличиям в функционировании построенных моделей. Данная статья посвящена матрицам, в качестве элементов для которых берутся элементарные логические элементы, а именно конечные предикаты произвольной арности. В работе исследованы свойства таких матриц и особенности их применения. Также рассмотрены основные операции над такими матрицами. Кроме обычных операций, имеющих место в классической линейной алгебре, логические структуры позволяют выполнять еще несколько операций.
dc.description.abstractIn classical linear algebra the machine of matrices is widely used. But the classic linear algebra deals with continuous objects. Logical algebra, built by analogy with the classical linear algebra, builds the same models using discrete objects that have logical structure and obey the relevant laws. This leads to a significant difference in the functioning of the constructed models. This article is devoted to matrices, as elements for which the elementary logical elements are taken, namely the finite predicates of any quality of variables. In the work investigated the properties of such matrices and features of their application. Basic operations on such matrices are also considered. Besides the usual operations that take place in classical linear algebra, logical structures allow to perform this several operations.
dc.identifierУДК 519.7
dc.identifierУДК 519.7
dc.identifierDOI: 10.18524/2519-206x.2019.2(34).190052.
dc.identifier.citationДослідження в математиці і механіці = Researches in mathematics and mechanicsuk_UA
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/27113
dc.language.isoukuk_UA
dc.publisherОдеський національний університет імені І. І. Мечниковаuk_UA
dc.relation.ispartofseries;Т. 24, вип. 2(34).
dc.subjectскiнченний предикатuk_UA
dc.subjectбулева матрицяuk_UA
dc.subjectпредикатна матрицяuk_UA
dc.subjectдиз’юнкцiяuk_UA
dc.subjectкон’юнкцiяuk_UA
dc.subjectзапереченняuk_UA
dc.subjectортогональна матрицяuk_UA
dc.subjectскалярuk_UA
dc.subjectобертання матрицiuk_UA
dc.subjectконечный предикатuk_UA
dc.subjectбулева матрицаuk_UA
dc.subjectпредикатная матрицаuk_UA
dc.subjectдизъюнкцияuk_UA
dc.subjectконъюнкцияuk_UA
dc.subjectотрицаниеuk_UA
dc.subjectортогональная матрицаuk_UA
dc.subjectобращение матрицыuk_UA
dc.subjectfinite predicateuk_UA
dc.subjectBoolean matrixuk_UA
dc.subjectpredicative matrixuk_UA
dc.subjectdisjunctionuk_UA
dc.subjectconjunctionuk_UA
dc.subjectinversionuk_UA
dc.subjectorthographic matrixuk_UA
dc.subjectscalaruk_UA
dc.subjectrotation of matrixuk_UA
dc.titleПредикатнi логiчнi матрицiuk_UA
dc.title.alternativeПредикатные логические матрицыuk_UA
dc.title.alternativePredicative logical matricesuk_UA
dc.typeArticleuk_UA
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
67-74.pdf
Розмір:
620.83 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Дослiдження в математицi i механiцi