Задача: Бинарный поиск в массиве и его разновидности
Псевдокод: Листинг 4.3. Двоичный поиск, версия 3 
  1. l = 0
  2. u = n-1 
  3. lоор
  4.     { mustbe(l, u) } 
  5.     if l>u
  6.         p= -1 
  7.         break 
  8.  
  9.     m = (l + u) /2
  10.     case
  11.         x[m] <  t   l = m + 1
  12.         x[m] == t   p = m; break;
  13.         x[m] >  t   u = m - 1