Câu hỏi được gắn thẻ «notation»

Pierce (2002) giới thiệu mối quan hệ đánh máy trên trang 92 bằng cách viết: Mối quan hệ gõ cho các biểu thức số học, được viết "t: T", được xác định bởi một tập hợp các quy tắc suy luận gán các loại cho các thuật ngữ và chú …

19 type-theory  notation 

Tôi đang đọc các thuật toán lượng tử giấy của Harrow, Hassidim và Lloyd cho các hệ phương trình tuyến tính . Trên trang thứ ba của tờ giấy đó, họ viết Tiếp theo chúng ta áp dụng sự tiến hóa Hamiltonian có điều kiện trên | Ψ 0 ⟩ …

11 quantum-computing  notation