1. |
Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм: автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / С. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2010. — 32 с. — укp.Досліджено семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного та першопорядкових рівнів. Виділено та досліджено неокласичні логіки, близькі до класичної логіки предикатів - логіки еквітонних предикатів та їх розширення. Запропоновано та досліджено різні формалізації відношення логічного наслідку для композиційно-номінативних логік часткових однозначних, тотальних і часткових неоднозначних квазіарних предикатів. На базі логіки квазіарних предикатів як основи побудови спеціальних логік запропоновано композиційно-номінативні модальні та темпоральні логіки, збудовано та досліджено логіки над ієрархічними номінативними даними. Скачати повний текст
Індекс рубрикатора НБУВ: З973-018 + В123,0 Шифр НБУВ: РА376553 Пошук видання у каталогах НБУВ
Рубрики:
|