Композиційні логіки номінативних даних

• Date: 2003
• Main Authors: Нікітченко, М.С., Шкільняк, С.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2003
• Subjects: Теоретические и методологические основы программирования
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1298
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр.

Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними. Предложены логики, ориентированные на спецификации программ. Логики строятся в семантико-синтаксическом стиле на основе композиционнономинативного подхода. Первая из них (неоклассическая композиционная логика) – логика эквитонных предикатов над бесконечными именными множествами, она сохраняет основные свойства классической логики предикатов. Вторая логика (над конечными номинативными данными) есть конкретизацией первой, на ее основе определяется класс многозначных натурально (абстрактно) вычислимых функций над номинативными данными. Logics that are oriented on program specification are proposed. These logics are constructed in a semantic-syntactic style on a basis of composition nominative approach. The first logic (neoclassical compositional logic) is the logic of equitone predicates over infinitary named data; it preserves the main properties of classical logic. The second logic (over finitary nominative data) is a concretization of the first one; the class of multi-valued naturally (abstractly) computable functions over nominative data is defined on its basis.