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