	Словари, Словарь Dictionary
	Словари, Словарь Dictionary Online computer dictionary - Свободный компьютерный английский словарь О сайте 10 самых Словари Обратная связь

! & ( * , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = @ %
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ { ~

L& L- L0 L1 L2 L6 LA LB LC LD LE LF LG LH LI LK LL LM LN LO LP LR LS LT LU LV LW LY LZ

least fixed point

least fixed point A function f may have many (x such that f x = x). For example, any value is a fixed point of the identity function, (\ x . x). If f is , we can represent it as f = fix F where F is some and fix F = F (fix F). The standard of f is then given by the least fixed point of F. This is the of the infinite sequence (the ) obtained by repeatedly applying F to the totally undefined value, bottom. I.e. fix F = LUB {bottom, F bottom, F (F bottom), ...}. The least fixed point is guaranteed to exist for a function over a .

на заглавную

О сайте • 10 самых • Словари • Обратная связь

к началу страницы

XHTML | CSS

1.8.11