Дослiдження в математицi i механiцi

Постійне посилання зібрання

https://dspace.onu.edu.ua/handle/123456789/13195
ISSN 2519-206X

Рік заснування: 1997 (1997-2006 – Вісник Одеського національного університету. Фізико-математичні науки; 2006-2015 – Вісник Одеського національного університету. Математика і механіка). Журнал «Дослідження в математиці і механіці», має мету інформувати читачів про нові наукові дослідження у сфері теоретичної і прикладної математики і механіки та суміжних дисциплін. У журналі друкуються статті, в яких наведені оригінальні результати теоретичних досліджень, огляди з актуальних проблем за тематикою видання, а також повідомлення про ювілеї, знаменні дати та події тощо.

Повні тексти видання доступні на сайті Наукової бібліотеки ОНУ імені І. І. Мечникова за посиланням:
http://lib.onu.edu.ua/issledovaniya-v-matematike-i-mehanike/

Сайт видання:http://rmm-journal.onu.edu.ua/

Переглянути

Перегляд Дослiдження в математицi i механiцi за Ключові слова "510.28+510.635(045)"

Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Операції над блочними предикатними матрицями
    (Астропринт, 2023) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.
    В дан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в.