Операції над блочними предикатними матрицями

Скорочена інформація про документ
dc.contributor.authorЯкімова, Наталія Анатоліївнаuk
dc.contributor.authorYakimova, Nataliia A.en
dc.date.accessioned2024-06-08T08:43:59Z
dc.date.available2024-06-08T08:43:59Z
dc.date.issued2023
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, що так чи 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 структури дозволяють виконувати це декiлька операцiй. Особливу увагу придiлено операцiї добутку блочних предикатних матриць з урахуванням їх особливостей, пов’язаних з логiчною структурою таких об’єктiв. uk
dc.description.abstractThis article discusses the possibility of performing basic logical operations on matrices that are divided into rectangular blocks in an arbitrary manner. The results obtained are illustrated using the example of predicate logical matrices defined over a field of finite predicates of arbitrary arity. The possibility of extending the results obtained to Boolean matrices is also justified (they are considered to be defined over a field of finite predicates of zero arity). At the same time, using the apparatus of multivalued logic, starting from Boolean logical matrices, the results obtained can also be extended to the study of logical objects that are not Boolean. Block partitioning of matrices allows you to divide information specified in matrix form into parts, process these parts separately, and then combine them into a single whole, adhering to certain rules and restrictions described in this article. These methods can find their application in graph theory, in the theory of algorithms, programming and in other areas of theoretical and practical activity that are in one way or another related to mathematical logic.en
dc.identifier.citationЯкімова Н. А. Операції над блочними предикатними матрицями / Н. А. Якімова // Дослідження в математиці і механіці. – 2023. – Т. 28, вип. 1–2(41–42). – С. 185–199.uk
dc.identifier.doihttps://doi.org/10.18524/2519-206X.2023.1-2(41-42).305269
dc.identifier.issn2519-206X
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/38325
dc.language.isouk
dc.publisherАстропринтuk
dc.subjectбулева матрицяuk
dc.subjectскінченний предикатuk
dc.subjectпредикатна матрицяuk
dc.subjectблочне поданняuk
dc.subjectелементарні логічні операціїuk
dc.subjectарність предикатівuk
dc.subjectлогічний скалярuk
dc.subjectбагатозначна логікаuk
dc.subjectboolean matrixen
dc.subjectfinite predicateen
dc.subjectpredicate matrixen
dc.subjectblock partitioningen
dc.subjectelementary logical operationsen
dc.subjectarity of predicatesen
dc.subjectlogical scalaren
dc.subjectmultivalued logicen
dc.subject.udc510.28+510.635(045)
dc.titleОперації над блочними предикатними матрицямиuk
dc.title.alternativeOperations on block predicate matricesen
dc.typeArticleen
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
185-199.pdf
Розмір:
640.82 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