«notation» etiketlenmiş sorular

Pierce (2002) sayfa 92'deki yazma ilişkisini şu şekilde tanıtır : "T: T" yazılan aritmetik ifadeler için yazma ilişkisi, terimlere tür atayan bir dizi çıkarsama kuralıyla tanımlanır ve dipnotta sembolü genellikle: yerine kullanılır. Sorum basitçe tip kuramcılarının neden kullanmayı tercih ettikleri: over ? Bir tür olursa değerlerinin bütünüdür o zaman yazma …

19 type-theory  notation 

Doğrusal denklem sistemleri için Harrow, Hassidim ve Lloyd'un kuantum algoritmalarını okuyorum . Bu makalenin üçüncü sayfasında, Sonra koşullu Hamilton evrimi ile | Ψ 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⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots Benim için anlamını anlayamıyorum . Orada ne yapıyor? ∑ T - 1 nasıl τ = 0 …

11 quantum-computing  notation