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