Algorytm opierający się na metodzie dziel i zwyciężaj.

w czasie logarytmicznym stwierdza, czy szukany element znajduje się w uporządkowanej tablicy i jeśli się znajduje, podaje jego indeks.
Np. jeśli tablica zawiera milion elementów, wyszukiwanie binarne musi sprawdzić maksymalnie 20 elementów w celu znalezienia żądanej wartości.
Dla porównania wyszukiwanie liniowe wymaga w najgorszym przypadku przejrzenia wszystkich elementów tablicy.

Pseudokod

A := [...] { n-elementowa tablica uporządkowana }
lewo := 1 { indeks początku przedziału }
prawo := n { indeks końca przedziału - początkowo cała tablica A }

y := poszukiwana wartość
indeks := pusty

while lewo < prawo do
____begin
________środek := (lewo + prawo) div 2; { dzielenie całkowitoliczbowe }

____if A[środek] < y then
________lewo := środek + 1
____else
________prawo := środek;
end;

if A[lewo] = y then
____indeks := lewo
else
____indeks := brak;

Wpisujemy interesującą nas liczbę, a nastepnie po zatwierdeniu "enterem",
podajemy nzawe pliku tekstowego, w którym element ma zostać wyszukany.