написал прогу.

Uses Crt ;
{Описание переменных}
Var
A: Array[1..20] of Integer;
B: Array[1..20] of Integer;
C: Array[1..20] of Integer;
n,i,j,k:Integer;
l:boolean;
Begin
ClrScr;
Writeln('Домашнее задание');
Writeln('Шабанов Владислав');
Writeln('Группа С-12');
Writeln('Вариант 23');
Writeln('Сформировать одномерный массив С, содержащий элементы массива А с четными номерами, которых нет в массиве В');
Writeln('Количество элементов массивов - целое число <=20');
{Ввод значения переменной N}
Readln (N);
If (N>=1) and ( N<=20) then
begin

{Значение переменной N задано верно}

Writeln('Значения элементов массива - целые числа. Введите массив А');
{Ввод значений элементов массива A}
For i := 1 to n do
Begin
Write('a[',i,']=');
Readln(a[i]);
End;
Writeln('Значения элементов массива - целые числа. Введите массив B');
{Ввод значений элементов массива B}
For i := 1 to n do
Begin
Write('b[',i,']=');
Readln(b[i]);
End;
{Главная часть программы, проверяем условием: если удоволетворяет-формируем массив С}
k:=1;
For  i:=2 to n do
begin
l:=true;
     for j:=1 to n do
     if (a[i]=b[j])  then l:=false;
if ( l=true ) and (i mod 2 = 0) then
begin
c[k]:=a[i];
k:=k+1 ;
l:=true;
end;
end;


{Вывод данных}
writeln;
Writeln('Массив A:');
For i:=1 to n do
Write(a[i]:3);
writeln;
Writeln('Массив B:');

For i:=1 to n do
Write(b[i]:3);

{Вывод  данных}
writeln;
Writeln('В массиве C ',  k , ' элемента(ов)');
Writeln('Массив С:');
For i:=1 to k-1 do
Write(c[i]:4);
end
{Если неверное значение n}
Else
Writeln('Ошибка ! Число элементов массива от 1 до 20');
readln;
End.

препод сказал : Каждая функция программы должны быть оформлена как процедура с параметрами.
у кого-нибудь есть материал почитать по этому поводу ?

что именно интересует?
процедуры вообще или передача массивов?