Секвенційні числення композиційно-номінативних модальних і темпоральних логік
| dc.contributor.author | Шкільняк, Оксана | |
| dc.date.accessioned | 2015-02-12T09:33:15Z | |
| dc.date.available | 2015-02-12T09:33:15Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти. | uk |
| dc.identifier.citation | Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / Шкільняк О.С. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 37-44. | uk |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/3908 | |
| dc.language.iso | uk | uk |
| dc.status | published earlier | uk |
| dc.title | Секвенційні числення композиційно-номінативних модальних і темпоральних логік | uk |
| dc.type | Article | uk |