К-значная логика в расширенной алгебре алгоритмов
Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основ...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
irk-123456789-1420 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-14202017-11-23T19:20:07Z К-значная логика в расширенной алгебре алгоритмов Акуловский, В.Г. Теоретичні та методологічні основи програмування Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основанных на использовании 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. 2008 Article К-значная логика в расширенной алгебре алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 2-3. — С. 50-56. — Бібліогр.: 12 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1420 519.681 ru Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Акуловский, В.Г. К-значная логика в расширенной алгебре алгоритмов |
| description |
Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основанных на использовании k-значной логики. Развитие формального аппарата позволило обеспечить качество разработки упомянутых классов задач и наметило пути повышения надежности разрабатываемого программного обеспечения. |
| format |
Article |
| author |
Акуловский, В.Г. |
| author_facet |
Акуловский, В.Г. |
| author_sort |
Акуловский, В.Г. |
| title |
К-значная логика в расширенной алгебре алгоритмов |
| title_short |
К-значная логика в расширенной алгебре алгоритмов |
| title_full |
К-значная логика в расширенной алгебре алгоритмов |
| title_fullStr |
К-значная логика в расширенной алгебре алгоритмов |
| title_full_unstemmed |
К-значная логика в расширенной алгебре алгоритмов |
| title_sort |
к-значная логика в расширенной алгебре алгоритмов |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2008 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1420 |
| citation_txt |
К-значная логика в расширенной алгебре алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 2-3. — С. 50-56. — Бібліогр.: 12 назв. — рус. |
| work_keys_str_mv |
AT akulovskijvg kznačnaâlogikavrasširennojalgebrealgoritmov |
| first_indexed |
2023-10-18T16:23:56Z |
| last_indexed |
2023-10-18T16:23:56Z |
| _version_ |
1796138888932098048 |