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

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

19 type-theory  notation 

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

11 quantum-computing  notation