Cover Image

Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів

Вивчаються програмно-орієнтовані логічні формалізми – логіки загальних недетермінованих (GND) предикатів. GND-предикати моделюються як 7-значні TD7-предикати. Досліджено девіантні алгебри істиннісних значень (TV-алгебри) TD7-предикатів та девіантні класи GND-предикатів. Девіантна TV-алгебра не інду...

Full description

Saved in:
Bibliographic Details
Published in:Проблеми програмування
Date:2019
Main Author: Шкільняк, О.С.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2019
Subjects:
Теоретичні та методологічні основи програмування
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/150918
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О.С. Шкільняк // Проблеми програмування. — 2019. — № 1. — С. 14-26. — Бібліогр.: 11 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items