- многосортная сигнатура
- many-sorted signature
Большой англо-русский и русско-английский словарь. 2001.
многосортная сигнатура
Смотреть что такое "многосортная сигнатура" в других словарях:
Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… … Википедия
