Функциональная вершина: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Функциональная вершина''' (''Functional vertex'') - та вершина помеченного ацикличес...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Функциональная вершина''' (''Functional vertex'') - | '''Функциональная вершина''' (''[[Functional vertex]]'') - | ||
та вершина помеченного ациклического графа, представляющего | та [[вершина]] помеченного [[ациклический граф|ациклического графа]], представляющего | ||
некоторый терм, которая помечена символом функции. | некоторый [[терм]], которая помечена символом функции. | ||
==Литература== | ==Литература== | ||
[Евстигнеев-Касьянов/94] | [Евстигнеев-Касьянов/94] | ||
Версия от 18:54, 22 марта 2010
Функциональная вершина (Functional vertex) - та вершина помеченного ациклического графа, представляющего некоторый терм, которая помечена символом функции.
Литература
[Евстигнеев-Касьянов/94]