Нікітченко М. С. Композиційно-номінативні логіки з операторами нерухомої точки / М. С. Нікітченко, С. С. Шкільняк, І. А. Антонова // Пробл. програмув. - 2008. - N 2/3 (спец. вип.). - С. 64-74. - Бібліогр.: 6 назв. - укp.Розглянуто застосування операторів побудови нерухомої та T-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за композиціями-аргументами будують нові композиції. Наведено відповідні теореми щодо подання класів предикатів як <$E omega>-областей, <$E omega>-неперервності та монотонності основних композицій предикатів, існування нерухомих та T-нерухомих точок, замкненості класів предикатів відносно операторів нерухомої точки та властивостей таких операторів. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|