Запис Детальніше

Секвенційні числення композиційно-номінативних модальних і темпоральних логік

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Секвенційні числення композиційно-номінативних модальних і темпоральних логік
 
Creator Шкільняк, Оксана
 
Description На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних
рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено
теореми коректності та повноти.
 
Date 2015-02-12T09:33:15Z
2015-02-12T09:33:15Z
2009
 
Type Article
 
Identifier Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / Шкільняк О.С. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 37-44.
http://www.ekmair.ukma.edu.ua/handle/123456789/3908
 
Language ua