ISS Library

ВИНИКНЕННЯ ТА ІНТЕРПРЕТАЦІЯ ТРИЗНАЧНИХ ЛОГІК КЛІНІ

Шишацька О.В. (2010) ВИНИКНЕННЯ ТА ІНТЕРПРЕТАЦІЯ ТРИЗНАЧНИХ ЛОГІК КЛІНІ. In: УкрПРОГ, 25-27 травня 2010 р., м. Київ, Україна.

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

Abstract

Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного образу. Проілюстровано компактне задання операцій логіки Кліні трьохелементними ланцюгами. Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact representation of logic Kleene operations by the three-element chains is llustrated.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Теоретичні та методологічні основи програмування
Subjects:F. Theory of Computation > F.3. LOGICS AND MEANINGS OF PROGRAMS
ID Code:547
Deposited By:G.U. Volkova
Deposited On:06 Sep 2010 15:32
Last Modified:06 Sep 2010 15:32

Repository Staff Only: item control page