Questions marquées «notation»

Pourquoi deux points pour indiquer qu'une valeur appartient à un type?

Pierce (2002) introduit la relation de frappe à la page 92 en écrivant: La relation de typage pour les expressions arithmétiques, écrite "t: T", est définie par un ensemble de règles d'inférence affectant des types aux termes et la note de bas de page indique que le symbole est souvent utilisé au...

Notation pour un opérateur d'évolution hamiltonienne conditionnelle

Je lis Harrow, Hassidim et Lloyd's paper Quantum algorithms for linear systems of equations . Sur la troisième page de ce document, ils écrivent Ensuite, nous appliquons l'évolution hamiltonienne conditionnelle on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T- 1τ= 0| τ⟩ ⟨ T permet|C⊗ ei A τto/...