От алгебр программ к алгебраическим вычислениям
Название | От алгебр программ к алгебраическим вычислениям |
---|---|
Авторы | |
Ключевые слова | недвоичные вычисления, программные алгебры, группоид, ограниченные вычисления |
Секции | |
Аннотация | Доклад посвящён направлению, начавшему развиваться в 2012 г. Строится абстатеринерактная система алгебр, описывающих программы, и показывается, как от систем переходят к алгебрам, от алгебр - к декомпозициям, от декомпозиций алгебр - к алгебраическим вычислениям. |
Текст доклада | |
Форма участия | Очная |