ISS Library

K-ЗНАЧНАЯ ЛОГИКА В РАСШИРЕННОЙ АЛГЕБРЕ АЛГОРИТМОВ

Акуловский В.Г. (2008) K-ЗНАЧНАЯ ЛОГИКА В РАСШИРЕННОЙ АЛГЕБРЕ АЛГОРИТМОВ. In: УкрПРОГ, 27-29 травня 2008 р., м. Київ, Україна.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
266Kb

Abstract

Рассмотрена расширенная алгебра алгоритмов, построенная с использованием трехзначной логики. Показано, что существуют классы задач, для которых возможности приведенного алгебраического аппарата недостаточно эффективны, и данные возможности расширены путем включения в сигнатуру алгебры операций основанных на использовании 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.

Item Type:Conference or Workshop Item (Poster)
Uncontrolled Keywords:Теоретичні та методологічні основи програмування
Subjects:F. Theory of Computation > F.4. MATHEMATICAL LOGIC AND FORMAL LANGUAGES
ID Code:352
Deposited By:G.U. Volkova
Deposited On:29 May 2008 17:04
Last Modified:29 May 2008 17:04

Repository Staff Only: item control page