|
Журнал вычислительной математики и математической физики, 1979, том 19, номер 3, страницы 787–790
(Mi zvmmf5290)
|
|
|
|
Научные сообщения
Теорема о локальном ранге одноместных предикатов
А. П. Виноградов Москва
Аннотация:
Язык узкого исчисления предикатов используется для описания задач, связанных с вычислением совокупности оценок одноместного предиката на элементах множества при помощи локальных средств. Доказано, что вычисление мажорантной функции в общем случае связано с перебором подмножеств элементов окрестности максимальной степени, участвующей в описании задачи.
Поступила в редакцию: 19.04.1978 Исправленный вариант: 01.12.1978
Образец цитирования:
А. П. Виноградов, “Теорема о локальном ранге одноместных предикатов”, Ж. вычисл. матем. и матем. физ., 19:3 (1979), 787–790; U.S.S.R. Comput. Math. Math. Phys., 19:3 (1979), 248–251
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf5290 https://www.mathnet.ru/rus/zvmmf/v19/i3/p787
|
Статистика просмотров: |
Страница аннотации: | 138 | PDF полного текста: | 71 | Первая страница: | 1 |
|