Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти....
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2013 |
| Автор: | |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/86649 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О.С. Шкільняк // Проблеми програмування. — 2013. — № 1. — С. 3-13. — Бібліогр.: 9 назв. — укр. |
Репозитарії
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 |