Добрый день
Подскажите пожалуйста:
учусь заочно, по дискретной математике задали вопрос - Типы алгебр
Что необходимо отвечать, поиски в интернете к удовлетворительному результату не привели
И второй вопрос определить тип алгебры
А=({1,0},
\ Г(только в обратную сторону)), задать в виде матрици
Спасибо за помощь
Тип алгебраической системы, это грубо говоря перечисленные через запятую сначала местности всех функциональных символов, а потом через точку с запятой местности предикатных символов снова через запятую.
То есть для алгебаической системы
типом будет набор:
.
Аккуратное определение можно найти, например, в книге Мальцева Алгебраические системы.