LOGIC TOÁN HỌC in English translation

• mathematical logic

Examples of using Logic toán học in Vietnamese and their translations into English

Như vậy, chúng là cơ sở thiết yếu của tất cả các suy luận suy diễn hợp lệ( đặc biệt là logic, toán học và khoa học), trong đó quá trình xác minh là cần thiết để xác định xem một khái quát có đúng với bất kỳ tình huống cụ thể nào không.
As such, they are the essential basis of all valid deductive inferences(particularly in logic, mathematics and science), where the process of verification is necessary to determine whether a generalization holds true for any given situation.

một kiến thức làm việc cơ bản của khoa học máy tính, logic, toán học, tâm lý học và xử lý ngôn ngữ tự nhiên.
to have a general knowledge of Artificial Intelligence and a basic working knowledge of computer science, logic, mathematics, psychology and natural language processing.

MHF 4302 Logic toán học.
MHF 3302 Logic and Proof in Mathematics.

McCarthy vô địch logic toán học cho trí tuệ nhân tạo.
McCarthy championed mathematical logic for artificial intelligence.

Tiến sĩ đại số, lý thuyết số và logic toán học.
Algebra, theory of numbers and mathematical logic;

Trong logic toán học, chúng ta có một lỗi được gọi là“ dừng vấn đề”.
In mathematical logic we have an error called“halting problem”.

Tuy nhiên, các tài năng của logic toán học thì không quá dễ dàng kiệt sức.
Yet the resources of mathematical logic are not so easily exhausted.

ngôn ngữ truy vấn dựa vào logic toán học và ký hiệu.
query languages relied on complex mathematical logic and notation.

Và không quá lời khi nói rằng nó là nền tảng của logic toán học hiện đại.
It is no exaggeration to say that it is the foundation of modern mathematical logic.

Nghiên cứu cấu trúc toán học ngành: lý thuyết nhóm yêu cầu chung, logic toán học.
Study programme Mathematical Structures: Common requirements+ group theory, mathematical logic.

Mã nguồn là mộtloạt ác lệnh được viết sử dụng logic toán học nhưlà nền tảng của nó.
The code is a series of instructions written using mathematical logic as its foundation.

Một vài năm sau đó, Peano xuất bản cuốn sách đầu tiên dưới tên ông về logic toán học.
Three years later, Peano published his first book on mathematical logic.

Khi Peano phát biểu các tiên đề của mình, ngôn ngữ của logic toán học đang ở giai đoạn sơ khai.
When Peano formulated his axioms, the language of mathematical logic was in its infancy.

Trong trường hợp này, áp dụng một chút logic toán học vào vấn đề lí luận pháp lý có thể sẽ có ích.
In this case, application of a little mathematical logic to the problem of the legal argument might be helpful.

Lập trình logic và Prolog đã được phát triển cho phép các chương trình máy tính được biểu hiện như là logic toán học.
Logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic.

Logic toán học bao gồm nghiên cứu toán học về logic và ứng dụng của logic hình thức trong những lĩnh vực toán học khác.
Mathematical logic includes the mathematical study of logic and the applications of formal logic to other areas of mathematics.

Những định lý được Kurt Gödel xuất bản vào năm 1931, rất quan trọng trong logic toán học và triết học của toán học..
The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics.

Ví dụ, trong logic biểu tượng và logic toán học, các chứng minh bởi con người có thể được hỗ trợ bởi máy tính.
For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted.

Chúng tôi đưa ra bằng chứng cho thấy não bộ có thể hoạt động trên một logic toán học đơn giản", Tsien cho biết.
We present evidence that the brain may operate on an amazingly simple mathematical logic,” Tsien said.

Chúng tôi trình bày các bằng chứng cho thấy, bộ não có thể hoạt động theo một logic toán học đơn giản đến tuyệt vời.”.
We present evidence that the brain may operate on an amazingly simple mathematical logic.".