Прошу проверить ...

Функция f(n) для целых неотрицательных n определена так :

f(0) = 0, f(1) = 1, f(2n) = f(n), f(2n + 1) = f(n) + f(n + 1).

uses crt;

function f(n : integer) : integer;
begin
   if n = 0 then f := 0
    else if n = 1 then f := 1
     else
      if odd(n) then f := f((n-1) div 2) + f((n - 1) div 2 + 1)
       else f := f(n div 2);
end;

begin
   writeln(f(9));
   readln
end.

Я бы от одного Else избавился, и убрал кое-что:

function f(n : integer): integer;
begin
  if n < 2 then f := n
  else
    if odd(n) then f := f(n div 2) + f(n div 2 + 1)
    else f := f(n div 2);
end;

потому что для нечетного n выражения n div 2 и (n-1) div 2 будут равны...