Аналитическое и формальное доказательство теоремы в ИВ

Курсовой проект - Компьютеры, программирование

Другие курсовые по предмету Компьютеры, программирование

****************);q:=1 to n do

begin

s:=;

si:=[];

include (si, q);

for j:=1 to sx[q] do s:=s+a [q, j];

sw1:=;

cop (sw1, s);

writeln (f, sw1, <- исходная строка );

repeat

b:=false;

for i:=1 to n do

begin

if not (i in si) then

begin

sj:=[];

sw1:=;

cop (sw1, s);

for j:=1 to sx[i] do

begin

x:=a [i, j];

h:=length(x);

if h=2 then

begin

delete (x, 1,1);

dec(h)

end

else

begin

insert (^, x, 1);

inc(h)

end;

k:=pos (x, s);

if (k>0) and (s[k-1]=^) and (a[i, j]=copy (s, k - 1,2)) then

begin

k:=0;

sj:=sj+[j];

end

else if k>0 then

begin

sj1:=sj1+[j];

delete (s, k, h)

end;

end;

if sj1<>[] then

begin

for j:=1 to sx[i] do

if (not (j in sj1)) and (not (j in sj))

then s:=s+a [i, j];

b:=true;

include (si, i);

sj1:=[];

sw2:=;

for j:=1 to sx[i] do sw2:=sw2+a [i, j];

cop (sw2, sw2);

if length(s)<>0 then cop (sw3, s)

else sw3:=__;

writeln (f, sw3, выведена из:, sw1, и , sw2);

if length(s)=0 then

begin

writeln (f, получили противоречие, значит теорема доказана );

writeln (f, ***********************);

close(f);

exit;

end;

break;

end;

end;

if b then break

end;

if (i=n) and (not(b)) then break;

until false;

writeln (f, Не возможно построить ни одного нового предложения );

end;

writeln (f, теорема не доказана, т.к. не возможно получить противоречия );

writeln (f, ***********************);

close(f);;

{**************************************************************}i:=1 to 50 doj:=1 to 40 do stp [i, j]:=0;;;(stp);(резульат смотрите в файле rez.txt);.

Результат выполнения программы.

Введите количество посылок: 4

Ведите 1-ю посылку:

Ведите 2-ю посылку:

Ведите 3-ю посылку:

Ведите 4-ю посылку:

Введите теорему:

 

 

Список литературы

 

1.Гаджиев А.А. Курс лекций по дисциплине МЛиТА. 2004 г.

2.Гаджиев А.А. Методические указания к выполнению лабораторного практикума по дисциплине Математическая логика и теория алгоритмов (для специальностей 22.01 - ВМКСиС и ПОВТиАС). Махачкала, 2003 г.