Рубрикатор

Переход от словесной формулировки соотношений между величинами к алгебраической.

АЛГЕБРА ВЫСКАЗЫВАНИЙ Ресурс проверен

Является составной частью одного из современных быстро развивающихся разделов математики – математической логики.