сигнатура

RUSÇA → TR

Tanım

•матем., универсальная алгебра заданный на носителе набор операций и отношений, удовлетворяющим некоторой системе аксиом; набор операций, предикатов и отношений, принятых в данной алгебраической системе