Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти....
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/86649 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О.С. Шкільняк // Проблеми програмування. — 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 |