| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
|
|||
|
Алгебры унарных мультиопераций конечного ранга Н. А. Перязев Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина) |
|||
|
Аннотация: В работе рассматриваются бинарные ношения как унарные мультиоперации. Определяются алгебры унарных мультиопераций в сигнатуре бинарные метаоперации подстановки и пересечения, унарная метаоперация обратимости и константные метаоперации тождественная, пустая и полная. Изучаются тождества выполнимые в таких алгебрах. |
|||