Элементы теории алгоритмов - 154 стр.

UptoLike

Составители: 

A
A
1
A S
A
A, B
A = B
A
S
Π(A, S)=A | S.
Π(A, S)
A = B
UAV UBV,
U V A
UBV UAV.
P Q Q
P