What is the translation of " COMPUTABLE " in Vietnamese?

• tính toán
• computable

Examples of using Computable in English and their translations into Vietnamese

Computable with automatic placement equipment.
Tính toán với thiết bị đặt tự động.

At the time Turing published his original paper, only a small number of activities were computable.
Vào thời điểm Turing công bố báo cáo ban đầu của mình, chỉ có một số ít các hoạt động tính toán được.

This is an easily computable quantity for a particular sample and hence is sample-depende….
Đây là định lượng dễ dàng tính được cho một mẫu cụ thể( và do đó là phụ thuộc mẫu).

So I decided to just try to see just how much of the systematic knowledge out there in the world we can make computable.
Nên tôi đã quyết định thử xem bao nhiêu trong lượng kiến thức ngoài kia trên thế giới có thể làm cho tính toán được.

Computable general equilibrium(CGE) modelling and its application for policy analysis in Vietnam.
Mô hình Cân bằng tổng thể( CGE) và ứng dụng vào phân tích chính sách ở Việt Nam.

It is widely believed that the(computable) numbers√2, π, and e are normal, but a proof remains elusive.
Người ta tin rằng các số( tính toán được) √ 2, π và e là bình thường, nhưng vẫn chưa có chứng minh cho điều này.

So I decided to just try to see how much of the systematic knowledge that's out there in the world we could make computable.
Nên tôi đã quyết định thử xem bao nhiêu trong lượng kiến thức ngoài kia trên thế giới có thể làm cho tính toán được.

This is a great computable search engine which provides very accurate answers and offers open knowledge.
Đây là một công cụ tuyệt vời computable tìm kiếm mà cung cấp câu trả lời rất chính xác và có kiến thức mở.

Or, as Turing put it in a paper(pdf) at the time, the program could“play the imitation game satisfactorily” for any computable task.
Hoặc, như Turing đã báo cáo( pdf) vào thời điểm đó, chương trình có thể“ chơi trò chơi bắt chước một cách thỏa đáng” cho bất kỳ công việc tính toán nào.

Chapter XIII("Computable Functions") includes a discussion of the unsolvability of the halting problem for Turing machines.
Chương XIII(" Computable Functions") thảo luận về việc bài toán dừng không giải được trên máy Turing.

Alan Turing presents the notion of a universal machine, later called the Turing machine, capable of computing anything that is computable.
Alan Turing trình bày khái niệm về một cỗ máy vạn năng, sau này được gọi là máy Turing, có khả năng tính toán bất cứ thứ gì có thể tính toán được.

A missing subdivision is computable model theory, but this can arguably be viewed as an independent subfield of logic.
Một ngành bị thiếu là lý thuyết mô hình tính toán, nhưng ngành này có thể được xem là một ngành con độc lập của logic.

Because computer programs are used to build and work with these complex models, approximations need to be formulated into easily computable forms.
Vì các chương trình máy tính được sử dụng để xây dựng và làm việc với các mô hình phức tạp này, nên các phép tính gần đúng cần được xây dựng thành các dạng dễ tính toán.

These technologies converged to form the Computable Document Format which Wolfram says can"transfer knowledge in a much higher-bandwidth way".
Những công nghệ này hội tụ để tạo thành các định dạng tài liệu tính toán mà Wolfram từng nói rằng có thể" chuyển giao kiến thức trong một băng thông cao hơn".

The Netherlands' Land Registry is expected to test blockchain technology for national real estate data, local tech platform Computable reported Thursday, May 31.
Cơ quan đăng ký đất đai của Hà Lan dự kiến sẽ thử nghiệm công nghệ blockchain cho dữ liệu bất động sản quốc gia, Trang Computable về nền tảng công nghệ đưa tin hôm thứ Năm 31 tháng 5.

A statistic is distinct from a statistical parameter, which is not computable because often the population is much too large to examine and measure all its items.
Thống kê khác với thông số thống kê, không thể tính toán được, vì thường là số lượng quá lớn để kiểm tra và đo lường tất cả các mục của nó.

Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Các chức năng tính toán được sử dụng để thảo luận về khả năng tính toán mà không cần tham khảo bất kỳ mô hình tính toán cụ thể nào như máy Turing hoặc máy thanh ghi.

Similarly, the proof that Kolmogorov complexity is not computable springs from the fact that if it was, we would find a contradiction.
Tương tự, bằng chứng cho việc độ phức tạp Kolmogorov là không thể tính toán được bắt nguồn từ thực tế rằng nếu có thể tính được nó thì ta sẽ tìm thấy một phản chứng.

However, Computable General Equilibrium(CGE) modelling is a way of analyzing economy-wide impacts that takes into account the linkages in the global economy.
Tuy nhiên, mô hình tính toán cân bằng chung( Computable General Equilibrium- CGE) là một phương pháp phân tích tác động kinh tế diện rộng trong đó xem xét các mối tương quan với kinh tế toàn cầu.

The first modern theory of software was proposed by Alan Turing in his 1935 essay Computable numbers with an application to the Entscheidungsproblem(decision problem).[3].
Lý thuyết hiện đại đầu tiên về phần mềm được Alan Turing đề xuất trong bài luận năm 1935 Các số có thể tính toán với một ứng dụng cho Entscheidungsproblem( bài toán quyết định).[ 1].

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
Lý thuyết tính toán, còn được gọi là lý thuyết đệ quy, là một nhánh của logic toán học, của khoa học máy tính và của lý thuyết tính toán( theory of computation) bắt nguồn từ những năm 1930 với nghiên cứu về các hàm tính toán và độ Turing.

According to the Church- Turing thesis, computable functions are exactly the functions that can be calculated using a mechanical calculation device given unlimited amounts of time and storage space.
Theo luận văn Church- Turing, các hàm tính toán chính xác là các hàm có thể được tính bằng thiết bị tính toán cơ học với lượng thời gian và không gian lưu trữ không giới hạn.

Nowadays these are often considered as a single hypothesis, the Church- Turing thesis, which states that any function that is computable by an algorithm is a computable function.
Ngày nay, những điều này thường được coi là một giả thuyết duy nhất, luận án Church- Turing, nói rằng bất kỳ hàm nào có thể tính toán được bằng thuật toán là một hàm tính toán được.

The fact that Kolmogorov complexity is not computable is a result in pure mathematics and we should never confuse that pristine realm with the far more complicated, and messy, real world.
Thực tế rằng độ phức tạp Kolmogorov không thể tính toán được là một kết quả toán học thuần túy và ta không bao giờ nên nhầm lẫn địa hạt nguyên sơ đó với thế giới thực hỗn loạn và phức tạp hơn rất nhiều.

Having determined that computability can be identified mathematically, Turing then postulated that machines have the capacity to perform computable tasks as well as human beings can.
Sau khi xác định rằng tính khả tính( computability) có thể được xác định về mặt toán học, Turing sau đó giả định rằng các máy tính có khả năng thực hiện nhiệm vụ tính toán cũng như con người có thể.

Born from a somewhat homomorphic encryption scheme, this holy grail of cryptography is capable of using any efficiently computable functions(such as addition and multiplication, not just one or the other) any number of times and makes secure multi-party computation more efficient.
Được sinh ra từ một sơ đồ mã hóa tương đồng, loại mật mã thần thánh này có khả năng sử dụng bất kỳ chức năng tính toán hiệu quả nào( như cộng và nhân, không chỉ một hay nhiều lần) bất kỳ số lần nào và giúp tính toán đa bên an toàn hiệu quả hơn.

Computable functions are the formalized analogue of the intuitive notion of algorithm, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output.
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 toán, theo nghĩa là một hàm có thể tính toán được nếu tồn tại một thuật toán có thể thực hiện công việc của hàm, tức là đưa ra một số đầu vào thuộc miền xác định của hàm, nó có thể trả về kết quả đầu ra tương ứng.