Логіки, орієнтовані на специфікації програм
Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико- синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік різних рівнів абстрактності та загальності. Для логік еквітонних...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1514 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1514 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-15142008-08-22T12:00:20Z Логіки, орієнтовані на специфікації програм Нікітченко, М.С. Шкільняк, С.С. Омельчук, Л.Л. Теоретичні та методологічні основи програмування Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико- синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік різних рівнів абстрактності та загальності. Для логік еквітонних квазіарних предикатів на основі секвенційних числень доведені тео- реми про визначність. На базі аксіоматичної системи специфікацій програм над метаномінативними даними побудовано прототип системи автоматизації доведення теорем теорії МНД. 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. 2006 Article Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1514 510.6, 681.3.06 uk Інститут програмних систем НАН України |
| 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 |
2006 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1514 |
| citation_txt |
Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр. |
| 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 |
| first_indexed |
2023-03-24T08:22:08Z |
| last_indexed |
2023-03-24T08:22:08Z |
| _version_ |
1796138898710069248 |