Виникнення та інтерпретація тризначних логік Кліні
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Виникнення та інтерпретація тризначних логік Кліні
|
|
| Creator |
Шишацька, О.В.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів у термінах повного образу. Проілюстровано компактне задання операцій логіки Кліні трьохелементними ланцюгами. 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 illustrated. |
|
| Date |
2010-12-27T13:53:32Z
2010-12-27T13:53:32Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Виникнення та інтерпретація тризначних логік Кліні / О.В. Шишацька // Пробл. програмув. — 2010. — № 2-3. — С. 72-79. — Бібліогр.: 17 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14638 681.3.062 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|