VDict - Definition of greatest lower bound

search result for greatest lower bound in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

greatest lower bound complete lattice least upper bound distributive lattice lattice Meet infimum \sqcap GLB partial ordering bound variable free variable upper bound logic variable name capture Lower Layer Protocol termination analysis lambda abstraction little-endian Goffin data transfer rate case Oberon environment variable ken Most Significant Bit interrupt handler greatest common divisor \sqcup non-optimal solution supremum Moore bound background lub directed set case sensitivity actual argument graph boundedly complete complete partial ordering approximation algorithm Euclid's Algorithm bounded join narrowing algebraic formal argument Moore graph inclusive ideal Procrustean string lower set Keyboard Send Receive transputer LLP intelligent backtracking fall back maximal free expression bracket abstraction fall forward peer-to-peer least fixed point Google Set Priority Level internet address electron beta reduction dirty power Advanced Audio Coding strong typing MPEG-2 Low Sampling Frequencies Extention Intel 80386SX Fortran 77 interrupt priority level S-Video MPEG-2 audio layer 3 alphanumeric tall card Automatic Network Routing PowerPC

First < Previous 1 2 3 Next > Last