Логіки, орієнтовані на специфікації програм
Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико-
 синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік
 різних рівнів абстрактності та загальності. Для...
Saved in:
| Date: | 2006 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1514 |
| 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: | Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862746704556589056 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. Омельчук, Л.Л. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. Омельчук, Л.Л. |
| citation_txt | Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр. |
| collection | DSpace DC |
| description | Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико-
синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік
різних рівнів абстрактності та загальності. Для логік еквітонних квазіарних предикатів на основі секвенційних числень доведені тео-
реми про визначність. На базі аксіоматичної системи специфікацій програм над метаномінативними даними побудовано прототип
системи автоматизації доведення теорем теорії МНД.
Composition nominative logics oriented on program specification are considered. Such logics based on composition nominative approach
are constructed in a semantic-syntactic style. The spectrum of logics of various abstraction and generality levels is developed. The definability
theorems are proved based on the sequent calculi for logics of equitone quasiare predicates. The prototype of automatic theorem
prover is constructed for the axiomatic system of program specification over metanominative data.
|
| first_indexed | 2025-12-07T20:47:07Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1514 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:47:07Z |
| publishDate | 2006 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. Омельчук, Л.Л. 2008-08-21T15:31:27Z 2008-08-21T15:31:27Z 2006 Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1514 510.6, 681.3.06 Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико-
 синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік
 різних рівнів абстрактності та загальності. Для логік еквітонних квазіарних предикатів на основі секвенційних числень доведені тео-
 реми про визначність. На базі аксіоматичної системи специфікацій програм над метаномінативними даними побудовано прототип
 системи автоматизації доведення теорем теорії МНД. Composition nominative logics oriented on program specification are considered. Such logics based on composition nominative approach
 are constructed in a semantic-syntactic style. The spectrum of logics of various abstraction and generality levels is developed. The definability
 theorems are proved based on the sequent calculi for logics of equitone quasiare predicates. The prototype of automatic theorem
 prover is constructed for the axiomatic system of program specification over metanominative data. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Логіки, орієнтовані на специфікації програм Logics oriented on program specification Article published earlier |
| spellingShingle | Логіки, орієнтовані на специфікації програм Нікітченко, М.С. Шкільняк, С.С. Омельчук, Л.Л. Теоретичні та методологічні основи програмування |
| title | Логіки, орієнтовані на специфікації програм |
| title_alt | Logics oriented on program specification |
| title_full | Логіки, орієнтовані на специфікації програм |
| title_fullStr | Логіки, орієнтовані на специфікації програм |
| title_full_unstemmed | Логіки, орієнтовані на специфікації програм |
| title_short | Логіки, орієнтовані на специфікації програм |
| title_sort | логіки, орієнтовані на специфікації програм |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1514 |
| work_keys_str_mv | AT níkítčenkoms logíkioríêntovanínaspecifíkacííprogram AT škílʹnâkss logíkioríêntovanínaspecifíkacííprogram AT omelʹčukll logíkioríêntovanínaspecifíkacííprogram AT níkítčenkoms logicsorientedonprogramspecification AT škílʹnâkss logicsorientedonprogramspecification AT omelʹčukll logicsorientedonprogramspecification |