Вопросы с тегом «notation»

19
Зачем двоеточию обозначать, что значение принадлежит типу?

Пирс (2002) вводит отношение типирования на странице 92, записывая: Отношение типа для арифметических выражений, написанное «t: T», определяется набором правил вывода, назначающих типы терминам и сноска говорит, что символ часто используется вместо:. Мой вопрос просто, почему теоретики типов...

11
Обозначение условного гамильтонова оператора эволюции

Я читаю статью Харроу, Хасидима и Ллойда « Квантовые алгоритмы для линейных систем уравнений» . На третьей странице этой статьи пишут Далее мы применяем условную гамильтонову эволюцию on| Ψ 0 ⟩ C ⊗ | б ⟩ ...ΣT- 1τ= 0| τ⟩ ⟨ Т|С⊗ ея τTо/ TΣτзнак равно0T-1|τ⟩⟨τ|С⊗еяAτTо/T\sum_{\tau=0}^{T-1}...