Бинарные предикаты как способ задания булевых логических объектов
dc.contributor.author | Якимова, Наталия Анатольевна | |
dc.contributor.author | Симонова, Ирина Гаяновна | |
dc.contributor.author | Якімова, Наталія Анатоліївна | |
dc.contributor.author | Симонова, Ірина Гаянівна | |
dc.contributor.author | Yakimova, Nataliia A. | |
dc.contributor.author | Symonova, Iryna H. | |
dc.date.accessioned | 2018-02-13T13:12:37Z | |
dc.date.available | 2018-02-13T13:12:37Z | |
dc.date.issued | 2007 | |
dc.description.abstract | В данной статье показана возможность представле ния булевых логических матриц в виде бинарных предикатов, а также возможность их графического представления в виде порядковых логических пространств. Такое пред ставление значительно упрощает запись матриц, так как дает возможность записывать их в аналитической форме как формулы. | uk |
dc.description.abstract | У даній статті показана можливість подання булевих логічних матриць у вигляді бінарних предикатів, а також можливість їх графічного подання у вигляді порядкових логічних просторів. Таке подання значно спрощує запис матриць, тому що дає можливість записувати їх в аналітичному вигляді як формули. Ключові слова: бінарний предикат, логічна матриця, диз’юнкція матриць, кон’юнкція матриць, сорти змінних, порядок логічного простору, перетин просторів по нулю, перетин просторів по одиниці, накладання логічних просторів. | uk |
dc.description.abstract | In this article is shown possibility of representation Boolean logic matrixes as binary predicates and possibility of graphic representation as orderly logic spaces. Such representation considerably simplifies an entry of matrixes as enables to note them in an analytical aspect as formulas. | uk |
dc.identifier | УДК 519.7 | |
dc.identifier.citation | Вісник Одеського національного університету = Odesa National University Herald | uk |
dc.identifier.uri | https://dspace.onu.edu.ua/handle/123456789/12801 | |
dc.language.iso | ru | uk |
dc.publisher | Одеський національний університет імені І. І. Мечникова | uk |
dc.relation.ispartofseries | Математика і механіка;Т. 12, вип. 7. | |
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.subject | наложение логических пространств | 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.subject | накладання логічних просторів | uk |
dc.subject | binary predicate | uk |
dc.subject | logic matrix | uk |
dc.subject | disjunction of matrixes | uk |
dc.subject | conjunction of matrixes | uk |
dc.subject | kinds of variables | uk |
dc.subject | order of logic space | uk |
dc.subject | intersection of logic spaces on the zero | uk |
dc.subject | intersection of logic spaces on the one | uk |
dc.subject | superposition of logic spaces | uk |
dc.title | Бинарные предикаты как способ задания булевых логических объектов | uk |
dc.title.alternative | Бінарні предикати як засіб подання булевих логічних об’єктів | uk |
dc.title.alternative | Binary predicates as a main of representation Boolean logic objects | uk |
dc.type | Article | uk |
Файли
Контейнер файлів
1 - 1 з 1
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 1.71 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: