Композиційні логіки номінативних даних
Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в
 семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні...
Saved in:
| Date: | 2003 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1298 |
| 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: | Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862568787741507584 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр. |
| collection | DSpace DC |
| description | Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в
семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними.
Предложены логики, ориентированные на спецификации программ. Логики строятся в семантико-синтаксическом стиле на основе композиционнономинативного подхода. Первая из них (неоклассическая композиционная логика) – логика эквитонных предикатов над бесконечными именными множествами, она сохраняет основные свойства классической логики предикатов. Вторая логика (над конечными номинативными данными) есть конкретизацией первой, на ее основе определяется класс многозначных натурально (абстрактно) вычислимых функций над номинативными данными.
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.
|
| first_indexed | 2025-11-26T01:39:34Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1298 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-26T01:39:34Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2008-07-24T16:35:36Z 2008-07-24T16:35:36Z 2003 Композиційні логіки номінативних даних / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003.— N 3. — С. 29—40. — Бібліогр.: 16 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1298 510.6 681.3.06 Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в
 семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, вона зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними. Предложены логики, ориентированные на спецификации программ. Логики строятся в семантико-синтаксическом стиле на основе композиционнономинативного подхода. Первая из них (неоклассическая композиционная логика) – логика эквитонных предикатов над бесконечными именными множествами, она сохраняет основные свойства классической логики предикатов. Вторая логика (над конечными номинативными данными) есть конкретизацией первой, на ее основе определяется класс многозначных натурально (абстрактно) вычислимых функций над номинативными данными. 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. uk Інститут програмних систем НАН України Теоретические и методологические основы программирования Композиційні логіки номінативних даних Композиционные логики номинативных данных Compositional logics of nominative data Article published earlier |
| spellingShingle | Композиційні логіки номінативних даних Нікітченко, М.С. Шкільняк, С.С. Теоретические и методологические основы программирования |
| title | Композиційні логіки номінативних даних |
| title_alt | Композиционные логики номинативных данных Compositional logics of nominative data |
| title_full | Композиційні логіки номінативних даних |
| title_fullStr | Композиційні логіки номінативних даних |
| title_full_unstemmed | Композиційні логіки номінативних даних |
| title_short | Композиційні логіки номінативних даних |
| title_sort | композиційні логіки номінативних даних |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1298 |
| work_keys_str_mv | AT níkítčenkoms kompozicíinílogíkinomínativnihdanih AT škílʹnâkss kompozicíiní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 |