1. |
Богатирьова Ю. О. Теорія мультимножин та її застосування: автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Ю. О. Богатирьова ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 20 с. — укp.Побудовано решітку мультимножин, яку вкладено у дві повні решітки мультимножин. За цього друга повна решітка, одержана узагальненням поняття мультимножини (припускається нескінченна кратність елементів), використовується за заданні денотаційної семантики рекурсивних запитів SQL-подібних мов. Розглянуто проблему повноти для мультимножинної примітивної програмної алгебри, уточнено обчислюваність на мультимножинах. Висвітлено можливості застосування теорії мультимножин. Скачати повний текст Індекс рубрикатора НБУВ: З970.611-01 Шифр НБУВ: РА379698 Пошук видання у каталогах НБУВ
Рубрики:
|