Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти....
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86649 |
| 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: | Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О.С. Шкільняк // Проблеми програмування. — 2013. — № 1. — С. 3-13. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-86649 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, О.С. 2015-09-25T14:45:30Z 2015-09-25T14:45:30Z 2013 Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О.С. Шкільняк // Проблеми програмування. — 2013. — № 1. — С. 3-13. — Бібліогр.: 9 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/86649 004.42:510.69 Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Побудова секвенційних числень мультимодальних композиційно-номінативних логік published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік |
| spellingShingle |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік Шкільняк, О.С. Теоретичні та методологічні основи програмування |
| title_short |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік |
| title_full |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік |
| title_fullStr |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік |
| title_full_unstemmed |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік |
| title_sort |
побудова секвенційних числень мультимодальних композиційно-номінативних логік |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2013 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| description |
Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/86649 |
| citation_txt |
Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О.С. Шкільняк // Проблеми програмування. — 2013. — № 1. — С. 3-13. — Бібліогр.: 9 назв. — укр. |
| work_keys_str_mv |
AT škílʹnâkos pobudovasekvencíinihčislenʹmulʹtimodalʹnihkompozicíinonomínativnihlogík |
| first_indexed |
2025-12-07T20:13:31Z |
| last_indexed |
2025-12-07T20:13:31Z |
| _version_ |
1850881774584856576 |