✨Mô hình tính toán
nhỏ|Lưới cho tâm thất trái, ở ba độ phân giải lưới khác nhau và phân phối sợi/tấm Trong khoa học máy tính, và đặc biệt hơn trong lý thuyết tính toán và lý thuyết độ phức tạp tính toán, mô hình của tính toán là định nghĩa của tập các phép tính cho phép được sử dụng trong tính toán và các chi phí tương ứng. Nó được sử dụng để đo độ phức tạp tính toán của một thuật toán hoặc của vấn đề mà nó được thiết kế. Điều này cho phép nghiên cứu hiệu suất của các thuật toán một cách tách biệt với các biến thể riêng biệt cho từng cài đặt và công nghệ cụ thể.
Mô hình
Một số ví dụ về mô hình bao gồm:
- Máy Turing
- Máy trạng thái hữu hạn
- Hàm đệ quy
- Phép tính lambda
- Luận lý tổ hợp
- Máy tự động di động
- Hệ thống viết lại trừu tượng
- Mạng tương tác
- Mạng lưới quy trình Khan
Ứng dụng
Phân loại
👁️ 0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
nhỏ|Lưới cho tâm thất trái, ở ba độ phân giải lưới khác nhau và phân phối sợi/tấm Trong khoa học máy tính, và đặc biệt hơn trong lý thuyết tính toán và lý thuyết độ
Một **mô hình toán học** là một mô hình trừu tượng sử dụng ngôn ngữ toán để mô tả về một hệ thống. Mô hình toán được sử dụng nhiều trong các ngành khoa học
**Lý thuyết độ phức tạp tính toán** (tiếng Anh: _computational complexity theory_) là một nhánh của lý thuyết tính toán trong lý thuyết khoa học máy tính và toán học tập trung vào phân loại
**Khoa học tính toán**, còn được gọi là **tính toán khoa học** hoặc **tính toán khoa học**, là một lĩnh vực đa ngành đang phát triển nhanh chóng, sử dụng các khả năng tính toán
**Sinh học tính toán** (_computational biology_) là một lĩnh vực đa ngành nhằm ứng dụng các kĩ thuật của khoa học máy tính, toán ứng dụng, và thống kê để giải quyết các bài toán
**Các hàm tính toán được** là các đối tượng nghiên cứu cơ bản trong lý thuyết tính toán. Các hàm tính toán là sự tương tự chính thức của khái niệm trực quan của thuật
**Mô hình tài chính **là nhiệm vụ xây dựng một mô hình trừu tượng (một mô hình) về tình hình tài chính trong thế giới thực. Đây là một mô hình toán học được thiết
**Mô hình kinh doanh** là một khái niệm trừu tượng của một tổ chức, nó có thể là một khái niệm, văn bản và/hoặc đồ hoạ của cấu tạo tương quan, hợp tác, sự sắp
**Swan**, hay **SWAN** (tên đầy đủ _Simulating WAve Nearshore_ - mô phỏng sóng vùng ven bờ) là mô hình toán được phát triển bởi trường Đại học công nghệ Delft. Mô hình nhằm mục đích
[[Siêu máy tính song song hàng loạt Blue Gene/P của IBM]] **Tính toán song song** (tiếng Anh: _Parallel computing_), là một hình thức tính toán trong đó nhiều phép tính và tiến trình được thực
**Mô hình Solow–Swan** hay **mô hình tăng trưởng ngoại sinh** là một mô hình kinh tế về tăng trưởng kinh tế dài hạn được thiết lập dựa trên nền tảng và khuôn khổ của kinh
nhỏ| Để tìm kiếm một mục đã cho trong một danh sách theo thứ tự nhất định, có thể sử dụng cả thuật toán [[Tìm kiếm tuần tự|tìm kiếm nhị phân và tuyến tính (bỏ
**Tính toán** là bất kỳ loại tính toán nào bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một thuật
**Mô hình Chuẩn** của vật lý hạt là một thuyết bàn về các tương tác hạt nhân mạnh, yếu, và điện từ cũng như xác định tất cả những hạt hạ nguyên tử đã biết.
thumb|Mô hình của một phân tử, với các quả bóng màu đại diện cho các nguyên tử khác nhau Một **mô hình** () là một đại diện thông tin của một đối tượng, người hoặc
thumb| Bản đồ cấu trúc của mỏ Erath, [[Louisiana, Hoa Kỳ trong mô hình với các đường đẳng sâu được hiển thị bằng các màu sắc khác nhau.]] **Mô hình địa chất** là sản phẩm
**Mô hình phân biệt** (tiếng Anh: **_discriminative model_**, **conditional model**) là lớp các mô hình logistic dùng cho phân loại bằng thống kê hay hồi quy. Chúng phân biệt ranh giới quyết định thông qua
**Mô hình Bell-La Padula** (viết tắt là BLP) là một mô hình máy được sử dụng để thực thi kiểm soát truy cập vào các ứng dụng của chính phủ và quân sự. Nó được
nhỏ| Sơ đồ [[Mô hình IS-LM|mô hình IS / LM]] Trong kinh tế học, **mô hình** là một cấu trúc lý thuyết đại diện cho các quá trình kinh tế bằng một tập hợp các
Trong lý thuyết khả tính, **bài toán dừng** có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không. Bài toán
**Kinh tế học tính toán** là một chuyên ngành nghiên cứu tại giao diện của khoa học máy tính, kinh tế và khoa học quản lý. Môn học này bao gồm mô hình hóa các
Trong logic toán học và khoa học máy tính, **phép tính lambda** (tiếng Anh:lambda calculus) hay còn được viết là **λ-calculus**, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng
**Mô hình dao cạo và lưỡi dao** là một mô hình kinh doanh trong đó một mặt hàng được bán với giá thấp (hoặc được tặng miễn phí) để tăng doanh số củahàng hóa bổ
nhỏ|Một cửa hàng thể thao Direct Direct quảng cáo cánh tay web của doanh nghiệp. Sports Direct bắt đầu giao dịch vào năm 1982 với một cửa hàng bán gạch duy nhất nhưng gần đây
**Mô hình cơ sở dữ liệu phân cấp** (tiếng Anh: hierarchical database model) là một loại mô hình dữ liệu, trong đó dữ liệu được tổ chức thành cấu trúc dạng cây. Dữ liệu được
nhỏ|320x320px| Ví dụ về mô hình khoa học. Một sơ đồ của các quá trình hóa học và vận chuyển liên quan đến thành phần khí quyển. **Mô hình khoa học** là một hoạt động
**Mô hình khái niệm** là một đại diện của một hệ thống, được tạo thành từ các thành phần của các khái niệm được sử dụng để giúp mọi người biết, hiểu hoặc mô phỏng
Trong phân loại bằng thống kê, có hai cách tiếp cận chính là tiếp cận **tạo sinh** (sinh mẫu) và tiếp cận **phân biệt**. Hai cách này tính toán các bộ phân lớp (classifier) bằng
**Mô hình Markov ẩn** (tiếng Anh là _Hidden Markov Model_ - **HMM**) là mô hình thống kê trong đó hệ thống được mô hình hóa được cho là một quá trình Markov với các tham
Trong hình học tính toán, **lưới ε** là một khái niệm về việc xấp xỉ một tập hợp điểm cho trước bằng một tập hợp nhỏ hơn. ## Định nghĩa phải|nhỏ|Một lưới ε với ε=1/4
**Ngôn ngữ học tính toán** là một lĩnh vực liên ngành liên quan đến mô hình thống kê hoặc dựa theo luật của ngôn ngữ tự nhiên từ góc độ tính toán cũng như nghiên
nhỏ|Một bản tái hiện màu đen và trắng của Máy tính bảng Yale Babylonia của Bộ sưu tập YBC 7289 (khoảng 1800 Tam giác cân. Máy tính bảng cũng đưa ra một ví dụ trong
**Vật lý tính toán** là việc nghiên cứu và thực hiện phân tích số để giải quyết các vấn đề trong vật lý học mà đã tồn tại một lý thuyết định lượng. Trong lịch
**Mô hình OSI** (_Open Systems Interconnection Reference Model_, viết ngắn là _OSI Model_ hoặc _OSI Reference Model_) - tạm dịch là **Mô hình tham chiếu kết nối các hệ thống mở ** - là một
**Đồ chơi mô hình** là một loại đồ chơi mô phỏng theo các vật dụng, thiết bị thật, được thu nhỏ theo tỷ lệ. Dù phần lớn đồ chơi mô hình chỉ mô phỏng theo
Một **mô hình xác suất đồ thị** là một mô hình xác suất sử dụng đồ thị để biểu diễn phụ thuộc có điều kiện giữa các biến ngẫu nhiên một cách trực quan. Mô
**Biểu diễn Thể hiện Mã hóa Hai chiều từ Transformer** (tiếng Anh: **Bidirectional Encoder Representations from Transformers** hay viết tắt là **BERT**) là một kỹ thuật học máy dựa trên các transformer được dùng cho
**Mô hình không gian véctơ** hay **mô hình thuật ngữ véctơ** (tiếng Anh: **vector space model**) là một mô hình đại số dùng để thể hiện các tài liệu văn bản (và bất cứ đối
**Hóa học tính toán** là một chuyên ngành của hóa học lý thuyết với mục đích chính là tạo ra các mô hình toán học xấp xỉ và các chương trình máy tính để tính
thumb|Các mô hình khí hậu là hệ các phương trình vi phân dựa trên các định luật của vật lý, chất lưu, và hoá học. Để chạy các mô hình này, các nhà khoa học
**Mạch lượng tử**, trong lý thuyết thông tin lượng tử, là mô hình tính toán lượng tử trong đó tính toán là một chuỗi các cổng lượng tử, là các phép biến đổi thuận nghịch
thumb|Quy trình mô hình hóa dữ liệu. Hình ảnh minh họa cách mô hình dữ liệu được phát triển và sử dụng ngày nay. Một [[sơ đồ khái niệm|mô hình dữ liệu khái niệm được
**Mô hình Mundell-Fleming** (_The Mundell-Fleming model_) là một mô hình kinh tế học vĩ mô sử dụng 2 đường IS và LM để phân tích tác động của các chính sách kinh tế vĩ mô
**Model-Driven Architecture** (MDA) hay còn gọi là kiến trúc định hướng mô hình, là một phương thức trong việc thiết kế và phát triển phần mềm, được Object Management Group (OMG) giới thiệu lần đầu
nhỏ|350x350px|Một trong những minh họa cho tác phẩm De Figuris Veneris của [[Édouard-Henri Avril. Miêu tả một người đàn ông thủ dâm trong khi mơ tưởng về tình dục.]] **Mơ tưởng tình dục**, hay **tưởng
phải|nhỏ|[[Lưu đồ thuật toán (thuật toán Euclid) để tính ước số chung lớn nhất (ưcln) của hai số _a_ và _b_ ở các vị trí có tên A và B. Thuật toán tiến hành bằng
Trong ngành khoa học máy tính, **các phương pháp hình thức** là các kỹ thuật toán học cho việc đặc tả, phát triển và kiểm định các hệ thống phần mềm và phần cứng. Cách
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
**Phân tích tính toán** (Analytics) là phân tích tính toán có hệ thống của dữ liệu hoặc thống kê. Đây là quá trình phát hiện, giải thích và truyền đạt các mô hình có ý
**Các định lý bất toàn của Gödel**, hay gọi chính xác là **Các định lý về tính bất hoàn chỉnh của Gödel** (tiếng Anh: **Gödel's incompleteness theorems**, tiếng Đức: **Gödelscher Unvollständigkeitssatz**), là hai định lý