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