Pytania oznaczone «notation»

Dlaczego dwukropek oznacza, że ​​wartość należy do typu?

Pierce (2002) wprowadza relację pisania na stronie 92, pisząc: Relacja typowania wyrażeń arytmetycznych, zapisana „t: T”, jest zdefiniowana przez zestaw reguł wnioskowania przypisujących typy do terminów a przypis mówi: Symbol ∈∈\in jest często używany zamiast:. Moje pytanie brzmi po prostu,...

Notacja dla warunkowego operatora ewolucji hamiltonianów

Czytam pracę Harrowa, Hassidima i Lloyda Algorytmy kwantowe dla liniowych układów równań . Na trzeciej stronie tego artykułu piszą Następnie zastosujemy warunkową ewolucję hamiltonowską on| Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T.- 1τ= 0| τ⟩ ⟨ Τ|do⊗ ei A τto/ T∑τ=0T.-1|τ⟩⟨τ|do⊗mijaZAτto/T.\sum_{\tau=0}^{T-1}...