5 quan hệ: Khoa học máy tính, Lý thuyết độ phức tạp tính toán, Máy Turing, Phép tính lambda, Thuật toán.
Khoa học máy tính
Khoa học máy tính nghiên cứu các cơ sở lý thuyết của thông tin và tính toán, cùng với các kỹ thuật thực tiễn để thực hiện và áp dụng các cơ sở này.
Mới!!: Mô hình tính toán và Khoa học máy tính · Xem thêm »
Lý thuyết độ phức tạp tính toán
Lý thuyết độ phức tạp tính toán 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 các vấn đề tính toán theo độ khó nội tại của chúng.
Mới!!: Mô hình tính toán và Lý thuyết độ phức tạp tính toán · Xem thêm »
Máy Turing
Máy Turing Máy Turing là một mô hình về thiết bị xử lý các ký tự, tuy đơn giản, nhưng có thể thực hiện được tất cả các thuật toán máy tính.
Mới!!: Mô hình tính toán và Máy Turing · Xem thêm »
Phép tính lambda
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 dụng hàm số và đệ quy.
Mới!!: Mô hình tính toán và Phép tính lambda · Xem thêm »
Thuật toán
Thuật toán, còn gọi là giải thuật, là một tập hợp hữu hạn của các chỉ thị hay phương cách được định nghĩa rõ ràng cho việc hoàn tất một số sự việc từ một trạng thái ban đầu cho trước; khi các chỉ thị này được áp dụng triệt để thì sẽ dẫn đến kết quả sau cùng như đã dự đoán trước.
Mới!!: Mô hình tính toán và Thuật toán · Xem thêm »