Lập trình lượng tử là quá trình thiết kế hoặc ghép nối các chuỗi lệnh, được gọi là mạch lượng tử, sử dụng các cổng, công tắc và toán tử để điều khiển hệ thống lượng tử nhằm đạt được kết quả mong muốn hoặc kết quả của một thí nghiệm cho trước. Các thuật toán mạch lượng tử có thể được triển khai trên các mạch tích hợp, thực hiện bằng thiết bị đo lường, hoặc được viết bằng một ngôn ngữ lập trình để sử dụng với một máy tính lượng tử hoặc bộ xử lý lượng tử. Ngôn ngữ lập trình lượng tử được thiết kế không chỉ với mục đích giúp lập trình viên sử dụng như một công cụ lập trình mà còn nhằm thúc đẩy sự hiểu biết về hành vi của máy tính lượng tử đối với nhà nghiên cứu, giúp họ thảo luận về thuật toán lượng tử một cách chính thức.
Ngôn ngữ lập trình lượng tử có thể được chia thành hai nhóm chính: ngôn ngữ lập trình lượng tử có hướng lệnh (imperative quantum programming languages) và ngôn ngữ lập trình lượng tử có hướng chức năng (functional quantum programming languages). Trong đó, những ngôn ngữ lập trình lượng tử có hướng lệnh nổi tiếng nhất là QCL và LanQ.
Với ngôn ngữ lập trình lượng tử có hướng chức năng, có thể kể đến Selinger's QPL và QML. QML là một ngôn ngữ có tính chất tương tự như Haskell.
Các ngôn ngữ lập trình lượng tử cấp cao dựa trên tính toán lambda đã được đề xuất bởi các nhà nghiên cứu như van Tonder, Selinger và Valiron, Arrighi và Dowek.
Bài khảo sát về ngôn ngữ lập trình lượng tử của Simon Gay cung cấp thông tin về nghiên cứu ngôn ngữ lập trình lượng tử và danh sách sách tổng quát về lập trình lượng tử tính đến năm 2007.
Tập lệnh lượng tử
Tập lệnh lượng tử được dùng để chuyển đổi các giải thuật bậc cao hơn sang lệnh vật lý có thể thực thi được ở bộ xử lý lượng tử. Thỉnh thoảng những lệnh này chỉ dành cho một nền tảng phần cứng nhất định như bẫy ion (ion trap) hay qubit siêu dẫn.
Bộ phát triển phần mềm lượng tử
Bộ phát triển phần mềm lượng tử cung cập bộ sưu tập những công cụ để tạo và thao tác các chương trình lượng tử.
Ngôn ngữ lập trình lượng tử
Có hai nhóm ngôn ngữ lập trình lượng tử chính: ngôn ngữ lập trình lượng tử mệnh lệnh và ngôn ngữ lập trình lượng tử hàm.
Ngôn ngữ mệnh lệnh
Các đại diện nổi bật của ngôn ngữ mệnh lệnh là QCL, LanQ và Q|SI>.
Ngôn ngữ hàm
Những nỗ lực đang được tiến hành để phát triển ngôn ngữ lập trình hàm cho tính toán lượng tử.
👁️
2 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**Lập trình lượng tử** là quá trình thiết kế hoặc ghép nối các chuỗi lệnh, được gọi là mạch lượng tử, sử dụng các cổng, công tắc và toán tử để điều khiển hệ thống
thumb|upright=1.3|Các [[hàm sóng của electron trong một nguyên tử hydro tại các mức năng lượng khác nhau. Cơ học lượng tử không dự đoán chính xác vị trí của một hạt trong không gian, nó
Trong vật lý lý thuyết, **Lý thuyết trường lượng tử** (tiếng Anh: **quantum field theory**, thường viết tắt QFT) là một khuôn khổ lý thuyết để xây dựng các mô hình cơ học lượng tử
phải|nhỏ|402x402px|[[Mã nguồn của một chương trình máy tính đơn giản được viết bằng ngôn ngữ lập trình C. Khi được biên dịch và chạy, nó sẽ cho kết quả "Hello, world!".]] **Ngôn ngữ lập trình**
**C** là một ngôn ngữ mệnh lệnh được phát triển từ đầu thập niên 1970 bởi Dennis Ritchie để dùng trong hệ điều hành UNIX. Từ đó, ngôn ngữ này đã lan rộng ra nhiều
thumb|Các vòng lặp lên kế hoạch và phản hồi trong lập trình cực hạn **Lập trình cực hạn** (tiếng Anh: **Extreme programming**, viết tắt là **XP**) là một quy trình phát triển phần mềm nhằm
**Pascal** là một ngôn ngữ lập trình cho máy tính thuộc dạng mệnh lệnh và thủ tục, được Niklaus Wirth phát triển vào năm 1970. Pascal là ngôn ngữ lập trình đặc biệt thích hợp
nhỏ|300x300px| [[Petr Mitrichev (trái) và Gennady Korotkevich (phải), hai lập trình viên thi đấu nổi tiếng trong một cuộc thi.]] **Lập trình thi đấu** () là một môn thể thao trí tuệ trong đó những
**Python** () là ngôn ngữ lập trình bậc cao đa năng. Triết lý thiết kế của nó nhấn mạnh khả năng đọc mã bằng cách sử dụng thụt lề đáng kể. Python có kiểu động
**Java** (phiên âm Tiếng Việt: "_Gia-va_") là một ngôn ngữ lập trình hướng đối tượng, dựa trên lớp được thiết kế để có càng ít phụ thuộc thực thi càng tốt. Nó là ngôn ngữ
**C#** (**C Sharp**, đọc là _"xi-sáp"_) là một ngôn ngữ lập trình hướng đối tượng đa năng, mạnh mẽ được phát triển bởi Microsoft, C# là phần khởi đầu cho kế hoạch .NET của họ.
**Ruby** là một ngôn ngữ lập trình hướng đối tượng, có khả năng phản ứng. Theo tác giả, Ruby chịu ảnh hưởng bởi Perl, Smalltalk, Eiffel, Ada và Lisp. Ruby cung cấp nhiều mẫu hình
**Chương trình Lương thực Thế giới** (tiếng Anh: _World Food Programme_, viết tắt là _WFP_) là một chương trình viện trợ lương thực nhân đạo của Liên Hợp Quốc và là tổ chức nhân đạo
nhỏ|Cbmain Trong khoa học máy tính, một **ngôn ngữ lập trình bậc cao** (tiếng Anh: _high-level programming language_) là một ngôn ngữ lập trình có sự trừu tượng hóa mạnh mẽ khỏi các chi tiết
Trong cơ học lượng tử, **lý thuyết nhiễu loạn** là một tập hợp các sơ đồ gần đúng liên quan trực tiếp đến nhiễu loạn toán học để mô tả một hệ lượng tử phức
**Lập trình máy tính** hay **lập chương trình máy tính,** thường gọi tắt là **lập trình** (, hay _programming_), là việc lập ra chương trình làm việc cho máy có bộ xử lý, nói riêng
**Lập trình hướng đối tượng** () là một mẫu hình lập trình dựa trên khái niệm "đối tượng", mà trong đó, đối tượng chứa đựng các dữ liệu trong các trường, thường được gọi là
Trong ngành khoa học máy tính, **lập trình hàm** (**lập trình chức năng**) là một mô hình lập trình xem việc tính toán là sự đánh giá các hàm toán học và tránh sử dụng
**Phát biểu toán học của cơ học lượng tử** là các hình thức toán học cho phép mô tả chặt chẽ cơ học lượng tử. ## Các tiên đề #### Tiên đề 1 Nội dung
**Giao tiếp lập trình ứng dụng mở** (Open API) (thường được gọi là một giao tiếp lập trình ứng dụng công cộng.) là một giao tiếp lập trình ứng dụng công khai cung cấp cho
**Lập trình đôi** (tiếng Anh: _Pair Programming_) là kiểu lập trình đòi hỏi hai kỹ sư phần mềm cùng tham gia một nỗ lực lập trình chung trên một máy trạm, nghĩa là chỉ có
Trong tin học, **mẫu hình lập trình** là một kiểu lập trình _kiểu có tính mẫu hình_ trong tiến hành về công nghệ phần mềm. Một mẫu hình lập trình cung cấp (xác định) quan
Trong vật lý hạt, **điện động lực học lượng tử** (**QED**) là lý thuyết trường lượng tử tương đối tính của điện động lực học. Về cơ bản, nó miêu tả cách ánh sáng và
Trong điện toán, **lập trình phản ứng** (tiếng Anh: **reactive programming**) là một mẫu hình lập trình khai báo liên quan đến các luồng dữ liệu và lan truyền của sự thay đổi. Với mẫu
**Ada** là ngôn ngữ lập trình xuất xứ từ Bộ quốc phòng Mỹ vào khoảng nửa đầu thập niên 80 của thế kỷ 20. Ngôn ngữ này được đặt tên theo Ada Augusta nữ bá
Trong lập trình máy tính, **lập trình hướng sự kiện**, hay chính xác là **lập trình dẫn động bằng sự kiện** (tiếng Anh: **Event-driven programming**), là một mẫu hình lập trình trong đó luồng của
**R** là một ngôn ngữ lập trình và môi trường phần mềm dành cho tính toán và đồ họa thống kê. Đây là một bản hiện thực ngôn ngữ lập trình S với ngữ nghĩa
**Dylan** là một ngôn ngữ lập trình đa mẫu hình có hỗ trợ hàm, lập trình hướng đối tượng (OOP), động và phục hồi trong khi cung cấp một mô hình lập trình được thiết
Trong cơ học lượng tử, **Phép đo lượng tử yếu** là một trường hợp đặc biệt của mô hình chuẩn von Neumann cho phép đo lượng tử, trong đó hệ lượng tử cần đo tương
**Lập trình hướng đối tượng đồng thời** là một mô hình lập trình kết hợp lập trình hướng đối tượng (OOP) cùng với đồng thời. Trong khi nhiều ngôn ngữ lập trình, như Java, kết
**Khoa học thông tin lượng tử** là một ngành học có tính liên ngành trong đó nhà nghiên cứu theo đuổi việc hiểu biết quá trình phân tích, gia công và truyền tải thông tin
**Sinh học lượng tử** là ngành ứng dụng cơ học lượng tử và hóa học lý thuyết vào các khía cạnh của sinh học không thể được diễn giải một cách chính xác bằng các
Trong tính toán lượng tử, **thuật toán lượng tử** là một thuật toán chạy bằng mô hình thực tế của tính toán lượng tử, mô hình được sử dụng phổ biến nhất là mô hình
**Mật mã lượng tử** là một ngành khoa học nghiên cứu về bảo mật thông tin dựa trên các tính chất của vật lý lượng tử. Trong khi mật mã truyền thống khai thác chủ
Máy tính lượng tử là hệ thống có thể thực thi vô số phép tính phức tạp cùng một lúc mà một máy tính thông thường có thể phải mất hàng triệu năm mới xong.
Trong vật lý, **lượng tử hóa** là quá trình chuyển đổi từ một quan niệm cổ điển của hiện tượng vật lý sang một quan niệm mới hơn được biết đến trong cơ học lượng
Sơ đồ hoạt động của [[kính hiển vi chui hầm điện tử, một sáng chế đã mang lại cho các tác giả của nó giải thưởng Nobel vật lý.]] Một ống sóng electron hướng vào
Trong cơ học lượng tử, một **hệ hai trạng thái** là một hệ có 2 trạng thái lượng tử khả thi, ví dụ spin của một hạt spin-1/2 như electron có thể nhận giá trị
Việc tìm kiếm một lý thuyết lượng tử của trường hấp dẫn, qua đó tìm hiểu các đặc điểm của không-thời gian, lượng tử vẫn là một vấn đề mở. Một trong những hướng tiếp
## 1.Năng lượng từ trường của một ống dây điện Giả sử lúc đầu mạch đã được đóng kín, trong mạch có một dòng điện không đổi I. Khi đó, toàn bộ năng lượng do
**Quảng cáo lập trình** () là một quy trình tự động trong việc mua và bán các vị trí quảng cáo theo thời gian thực trên nền tảng kỹ thuật số và là một phần
Trong trí tuệ nhân tạo, **lập trình di truyền** (_genetic programming, GP_) là một kỹ thuật tiến hóa các chương trình mà ban đầu chưa thích nghi (thường là chương trình ngẫu nhiên) cho đến
phải|nhỏ|200x200px|Mô phỏng một nguyên tử hydro cho thấy đường kính bằng xấp xỉ hai lần bán kính [[mô hình Bohr. (Ảnh mang tính minh họa)]] Một **nguyên tử hydro** là một nguyên tử của nguyên
phải|Biểu đồ hoạt động của một trình biên dịch lý tưởng. **Trình biên dịch** () hay **phần mềm biên dịch** là một chương trình máy tính làm công việc dịch một chuỗi các câu lệnh
nhỏ| Chương trình máy tính "Xin chào, thế giới" của [[Brian Kernighan (1978) ]] **Chương trình máy tính** là tập hợp các câu lệnh thực hiện một tác vụ cụ thể khi được máy tính
thumb|Minh họa mã nguồn [[Java (programming language)|Java với comment **mở đầu** được biểu thị bằng màu **đỏ** và comment **nội dòng** bằng màu **lục**. **Mã chương trình** là bằng màu **lam**.]]Trong lập
Lập Trình Java Căn Bản Cung cấp các kiến thức cơ bản về ngôn ngữ lập trình Java, kiến thức về lập trình hướng đối tượng, xử lý biệt lệ, lập trình đa luồng, lập
**Gecko** là một bộ máy trình bày được phát triển bởi Mozilla. Nó được sử dụng trong trình duyệt Firefox, email client Thunderbird và nhiều dự án khác Gecko được thiết kế để hỗ trợ
Tên lửa hành trình Tomahawk của Hoa Kỳ **Tên lửa hành trình** hay **hỏa tiễn hành trình** (theo thuật ngữ tiếng Anh "_Cruise missile_") hay còn gọi là **tên lửa có cánh** (theo thuật ngữ
Trong vật lý hạt, **phương trình Dirac** là một phương trình sóng tương đối tính do nhà vật lý người Anh Paul Dirac nêu ra vào năm 1928 và sau này được coi