K-значная логика в расширенной алгебре алгоритмов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
K-значная логика в расширенной алгебре алгоритмов
|
|
| Creator |
Акуловский, В.Г.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| 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. |
|
| Date |
2008-07-30T15:17:07Z
2008-07-30T15:17:07Z 2008 |
|
| Type |
Article
|
|
| Identifier |
K-значная логика в расширенной алгебре алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2008. — N 2-3. — С. 50-56. — Бібліогр.: 12 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1420 519.681 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|