О сюръективной импликации в реверсивной логике
Авторы | |
---|---|
Ключевые слова | обратимость, энтропия, реверсивные вычисления, теория групп, конструктивная логика, гейт Тоффоли |
Секции | Информационные, программные вопросы управления и методы «искусственного интеллекта» |
Аннотация | В статье описывается аппарат реверсивной конструктивной логики и на его базе обосновывается противоречие между логической основой реверсивных вычислений и попытками реализовать их в рамках традиционной двоичной системы. |
Форма участия | Очная |