Pertanyaan yang diberi tag «notation»

Pierce (2002) memperkenalkan relasi pengetikan di halaman 92 dengan menulis: Relasi pengetikan untuk ekspresi aritmatika, yang dituliskan "t: T", didefinisikan oleh seperangkat aturan inferensi yang menetapkan jenis ke istilah dan catatan kaki mengatakan Simbol sering digunakan sebagai ganti:. Pertanyaan saya adalah mengapa tipe teori lebih suka menggunakan: over ? Jika …

19 type-theory  notation 

Saya membaca Harrow, Hassidim, dan kertas Lloyd's algoritma Quantum untuk sistem persamaan linear . Di halaman ketiga makalah itu, mereka menulis Berikutnya kita menerapkan evolusi Hamiltonian bersyarat on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T- 1τ= 0| τ⟩ ⟨ Τ|C⊗ ei A τtHai/ 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}| …

11 quantum-computing  notation