![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20110406001338<.>) |
Загальна кількість знайдених документів : 1
|
| Шкільняк С. С. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / С. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2010. — 32 с. — укp.Досліджено семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного та першопорядкових рівнів. Виділено та досліджено неокласичні логіки, близькі до класичної логіки предикатів - логіки еквітонних предикатів та їх розширення. Запропоновано та досліджено різні формалізації відношення логічного наслідку для композиційно-номінативних логік часткових однозначних, тотальних і часткових неоднозначних квазіарних предикатів. На базі логіки квазіарних предикатів як основи побудови спеціальних логік запропоновано композиційно-номінативні модальні та темпоральні логіки, збудовано та досліджено логіки над ієрархічними номінативними даними. Завантажити
Індекс рубрикатора НБУВ: З973-018 + В123,0 Шифр НБУВ: РА376553 Пошук видання у каталогах НБУВ
Рубрики:
|
|
|