Запитання з тегом «notation»

Пірс (2002) вводить відносини набору тексту на сторінці 92, написавши: Відношення введення для арифметичних виразів, написане "t: T", визначається набором правил умовиводу, що присвоюють типи термінам і виноска говорить, що символ ∈∈\in часто використовується замість:. Моє запитання полягає в тому, чому теоретики типу вважають за краще використовувати: над ∈∈\in ? …

19 type-theory  notation 

Я читаю алгоритми квантових алгоритмів Харрона, Хассідима та Ллойда для лінійних систем рівнянь . На третій сторінці цього документу вони пишуть Далі застосовуємо умовну емілію Гамільтонів в| Ψ 0 ⟩ C ⊗ | б ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots Для життя, я не можу зрозуміти сенс . Що там роблять? …

11 quantum-computing  notation