Композиційні логіки номінативних даних
Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні властиво...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1298 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1298 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
nasplib_isofts_kiev_ua-123456789-12982025-02-09T13:05:06Z Композиційні логіки номінативних даних Композиционные логики номинативных данных Compositional logics of nominative data Нікітченко, М.С. Шкільняк, С.С. Теоретические и методологические основы программирования Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними. Предложены логики, ориентированные на спецификации программ. Логики строятся в семантико-синтаксическом стиле на основе композиционнономинативного подхода. Первая из них (неоклассическая композиционная логика) – логика эквитонных предикатов над бесконечными именными множествами, она сохраняет основные свойства классической логики предикатов. Вторая логика (над конечными номинативными данными) есть конкретизацией первой, на ее основе определяется класс многозначных натурально (абстрактно) вычислимых функций над номинативными данными. 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. 2003 Article Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1298 510.6 681.3.06 uk application/pdf Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования |
| spellingShingle |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования Нікітченко, М.С. Шкільняк, С.С. Композиційні логіки номінативних даних |
| description |
Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в
семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними. |
| format |
Article |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| author_sort |
Нікітченко, М.С. |
| title |
Композиційні логіки номінативних даних |
| title_short |
Композиційні логіки номінативних даних |
| title_full |
Композиційні логіки номінативних даних |
| title_fullStr |
Композиційні логіки номінативних даних |
| title_full_unstemmed |
Композиційні логіки номінативних даних |
| title_sort |
композиційні логіки номінативних даних |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2003 |
| topic_facet |
Теоретические и методологические основы программирования |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1298 |
| citation_txt |
Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр. |
| work_keys_str_mv |
AT níkítčenkoms kompozicíjnílogíkinomínativnihdanih AT škílʹnâkss kompozicíjnílogíkinomínativnihdanih AT níkítčenkoms kompozicionnyelogikinominativnyhdannyh AT škílʹnâkss kompozicionnyelogikinominativnyhdannyh AT níkítčenkoms compositionallogicsofnominativedata AT škílʹnâkss compositionallogicsofnominativedata |
| first_indexed |
2025-11-26T01:39:34Z |
| last_indexed |
2025-11-26T01:39:34Z |
| _version_ |
1849815124252033024 |