Клубове

МАС

2 отговора 8 прегледа
vis #1

МАС

Здравейте! Ако някой от вас се е занимавал с многосортни алгебрични системи нека ми пише на е-майла или да остави известие тук. Имам нужда от малко помощ.
Отговор
RAGE в отговор на vis #2

МАС

Какво е многосортна алгебрична система ???? Щото досега не съм се сблъсквал с това понятие ....
Отговор
Nemezida в отговор на RAGE #3

МАС

Под МАС (многосортни алгебрични системи) най-общо се разбира известен брой множества с дефинирани над тях функции и релации. Например структура от вида М=, където S е множество на сортоветe, F на функционалните, а P на предикатните символи е МАС.
Отговор
Отговор в темата