Perguntas com a marcação «notation»

Pierce (2002) introduz a relação de digitação na página 92 ​​escrevendo: A relação de digitação para expressões aritméticas, escrita "t: T", é definida por um conjunto de regras de inferência que atribuem tipos a termos e a nota de rodapé diz O símbolo é frequentemente usado em vez de:. Minha …

19 type-theory  notation 

Estou lendo o artigo de Harrow, Hassidim e Lloyd sobre algoritmos quânticos para sistemas lineares de equações . Na terceira página desse artigo, eles escrevem Em seguida, aplicamos a evolução hamiltoniana condicional em | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑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 0⟩C⊗ | b …

11 quantum-computing  notation