FANDOM


Интерпретация символа операции на множестве Edit

Множество $ a $интерпретация (англ. interpretation, нем. Interpretation) символа операции $ i $ на множестве $ c $ или кратко интерпретация символа операции $ i $, если множество $ a $ является значением функции интерпретации $ d $ от символа операции $ i $ сигнатуры $ e $:

$ \Upsilon(a,b,c,d,e,f,g,h,i) \ \stackrel{\mathrm{def}}{=} \ a = d(i) $

Обозначим $ \Upsilon(a,b,c,d,e,f,g,h,i) \ \stackrel{\mathrm{def}}{=} \ a = i_{b} $.

Примеры Edit

Сложение;

Умножение;

Ноль;

Операция следования;

Операция взятия модуля.

Связанные определения Edit

Интерпретация символа отношения.

Community content is available under CC-BY-SA unless otherwise noted.