|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Циклическое (полу)отрицание, левый поворот и квадратный корень из отрицаниядоклад на конференции
- Автор: Зайцев Д.В.
- Международная Конференция : XIII международная конференция "Современная логика: проблемы и перспективы"
- Даты проведения конференции: 31 мая - 2 июня 2018
- Дата доклада: 1 июня 2018
- Тип доклада: Устный
- Докладчик: Зайцев Д.В.
- Место проведения: Санкт-Петербург, Russia
-
Аннотация доклада:
Во-первых, будет предложено представление состояния кубита в четырехмерном базисе. Во-вторых, предлагается интерпретация SRN как операции «левого поворота», что означает циклический сдвиг коэффициентов. В-третьих, будут намечены пути аксиоматизации пропозициональных логик квантовой вычислимости и представлена одна из возможных аксиоматизаций, соответствующая «классической» логике квантовой вычислимости.
- Добавил в систему: Зайцев Дмитрий Владимирович