প্রশ্ন ট্যাগ «notation»

পিয়ার্স (2002) লিখে 92 পৃষ্ঠায় টাইপিং সম্পর্কটি প্রবর্তন করেছেন: গাণিতিক এক্সপ্রেশনগুলির জন্য টাইপিং সম্পর্ক, "t: T" লিখিত, শর্তাদির প্রকারভেদে নির্ধারিত নিয়মগুলির একটি সেট দ্বারা সংজ্ঞায়িত করা হয় এবং পাদটীকাতে প্রতীক প্রায়শই এর পরিবর্তে ব্যবহৃত হয়:। আমার প্রশ্নটি হ'ল টাইপ থিওরিস্টরা কেন ব্যবহার করতে পছন্দ ? যদি কোনও টাইপ মানগুলির সেট …

19 type-theory  notation 

আমি সমীকরণের লিনিয়ার সিস্টেমের জন্য হ্যারো, হাসিদিম এবং লয়েডের কাগজ কোয়ান্টাম অ্যালগরিদমগুলি পড়ছি । সেই কাগজের তৃতীয় পৃষ্ঠায় তারা লিখেন এরপরে আমরা শর্তসাপেক্ষ হ্যামিলটোনীয় বিবর্তন উপর| Ψ 0 ⟩ সি ⊗ | খ ⟩ ...Σটি- 1τ= 0| τ⟩ ⟨ Τ|সি⊗ ইi এ τটিণ/ টিΣτ=0টি-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