notation पर टैग किए गए जवाब

पियर्स (2002) पृष्ठ 92 पर लिखकर टाइपिंग रिलेशन का परिचय देता है : अंकगणितीय अभिव्यक्तियों के लिए टाइपिंग रिलेशन, जिसे "t: T" लिखा जाता है, को कई प्रकार के शब्दों को निर्दिष्ट करने वाले इंट्रेंस नियमों के एक सेट द्वारा परिभाषित किया गया है। और फुटनोट कहता है कि प्रतीक …

19 type-theory  notation 

मैं समीकरणों के रैखिक प्रणालियों के लिए हैरो, हासिडिम और लॉयड के पेपर क्वांटम एल्गोरिदम पढ़ रहा हूं । उस कागज के तीसरे पृष्ठ पर, वे लिखते हैं अगला हम सशर्त Hamiltonian विकास लागू चालू | Ψ 0 ⟩ सी ⊗ | ख ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|सी⊗इमैंएτटीओ/टी\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}| Ψ0⟩सी⊗ | …

11 quantum-computing  notation