К-значная логика в расширенной алгебре алгоритмов
Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основ...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1420 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | К-значная логика в расширенной алгебре алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 2-3. — С. 50-56. — Бібліогр.: 12 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1420 |
|---|---|
| record_format |
dspace |
| spelling |
Акуловский, В.Г. 2008-07-30T15:17:07Z 2008-07-30T15:17:07Z 2008 К-значная логика в расширенной алгебре алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 2-3. — С. 50-56. — Бібліогр.: 12 назв. — рус. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1420 519.681 Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основанных на использовании k-значной логики. Развитие формального аппарата позволило обеспечить качество разработки упомянутых классов задач и наметило пути повышения надежности разрабатываемого программного обеспечения. The expanded algebra of algorithms constructed with use of three-valued logic was considered. It was shown, that there are classes of problems for which opportunities of the resulted algebraic device are insufficiently effective, and these opportunities are expanded by inclusion in the signature of algebra of operations based on use of k-valued logic. Development of the formal device has allowed to provide quality of development of the mentioned classes of problems and has planned ways of increase of reliability of the developed software. ru Інститут програмних систем НАН України Теоретичні та методологічні основи програмування К-значная логика в расширенной алгебре алгоритмов K-valued logic in the expanded algebra of algorithms Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
К-значная логика в расширенной алгебре алгоритмов |
| spellingShingle |
К-значная логика в расширенной алгебре алгоритмов Акуловский, В.Г. Теоретичні та методологічні основи програмування |
| title_short |
К-значная логика в расширенной алгебре алгоритмов |
| title_full |
К-значная логика в расширенной алгебре алгоритмов |
| title_fullStr |
К-значная логика в расширенной алгебре алгоритмов |
| title_full_unstemmed |
К-значная логика в расширенной алгебре алгоритмов |
| title_sort |
к-значная логика в расширенной алгебре алгоритмов |
| author |
Акуловский, В.Г. |
| author_facet |
Акуловский, В.Г. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2008 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
K-valued logic in the expanded algebra of algorithms |
| description |
Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основанных на использовании k-значной логики. Развитие формального аппарата позволило обеспечить качество разработки упомянутых классов задач и наметило пути повышения надежности разрабатываемого программного обеспечения.
The expanded algebra of algorithms constructed with use of three-valued logic was considered. It was shown, that there are classes of problems for which opportunities of the resulted algebraic device are insufficiently effective, and these opportunities are expanded by inclusion in the signature of algebra of operations based on use of k-valued logic. Development of the formal device has allowed to provide quality of development of the mentioned classes of problems and has planned ways of increase of reliability of the developed software.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1420 |
| citation_txt |
К-значная логика в расширенной алгебре алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 2-3. — С. 50-56. — Бібліогр.: 12 назв. — рус. |
| work_keys_str_mv |
AT akulovskiivg kznačnaâlogikavrasširennoialgebrealgoritmov AT akulovskiivg kvaluedlogicintheexpandedalgebraofalgorithms |
| first_indexed |
2025-12-07T13:17:09Z |
| last_indexed |
2025-12-07T13:17:09Z |
| _version_ |
1850855579253211136 |