Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
Тема:
Теоретичні та методологічні основи програмування
УДК:
004.42:510.69
Посилання:
Побудова секвенційних числень мультимодальних композиційно-номінативних логік / О.С. Шкільняк // Проблеми програмування. — 2013. — № 1. — С. 3-13. — Бібліогр.: 9 назв. — укр.
Дата:
2013
Переглядів:
744
Завантажень:
710
Анотація:
Досліджено першопорядкові композиційно-номінативні мультимодальні логіки кванторно-екваційного рівня. Для цих логік побудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.
