Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Автореферати дисертацій (1)Книжкові видання та компакт-диски (1)
Пошуковий запит: (<.>I=РА376553<.>)
Загальна кількість знайдених документів : 1

      
Категорія:    
1.

Шкільняк С. С. 
Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / С. С. Шкільняк; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 32 c. - укp.

Досліджено семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного та першопорядкових рівнів. Виділено та досліджено неокласичні логіки, близькі до класичної логіки предикатів - логіки еквітонних предикатів та їх розширення. Запропоновано та досліджено різні формалізації відношення логічного наслідку для композиційно-номінативних логік часткових однозначних, тотальних і часткових неоднозначних квазіарних предикатів. На базі логіки квазіарних предикатів як основи побудови спеціальних логік запропоновано композиційно-номінативні модальні та темпоральні логіки, збудовано та досліджено логіки над ієрархічними номінативними даними.

  Скачати повний текст


Індекс рубрикатора НБУВ: З973-018 + В123,0

Рубрики:

Шифр НБУВ: РА376553 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського