What is the translation of " LOGIC TOÁN HỌC " in English?

• mathematical logic

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

Bạn có thể chọn các chức năng như tài chính, logic, toán học, thống kê hoặc kỹ thuật.
You can select from financial, logical, math, statistical, or engineering functions.

Peano đóng một vai trò quan trọng trong tiên đề toán học và là một nhà tiên phong hàng đầu trong việc phát triển logic toán học.
Peano played a key role in the axiomatization of mathematics and was a leading pioneer in the development of mathematical logic.

Để làm rõ nền tảng toán học, lĩnh vực logic toán học và lý thuyết tập hợp đã được phát triển.
In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed.

Trong logic toán học, khi sử dụng ký hiệu của trình xây dựng tập hợp để mô tả thuộc tính đặc trưng của tập hợp, nó được sử dụng thay thế cho thanh dọc( là tiêu chuẩn ISO 31- 11), có nghĩa là" sao cho".
In mathematical logic, when using set-builder notation for describing the characterizing property of a set, it is used as an alternative to a vertical bar(which is the ISO 31-11 standard), to mean"such that".

Văn hóa bán hàng dựa trên trực giác và cảm giác ruột, không phải trên dữ liệu và logic toán học như văn hóa hoạt động xuất sắc.
The culture of sales was based on intuition and gut feel, not on data and mathematical logic like the culture of operational excellence.

Nhưng đối với những người quản lý nền tảng logic toán học, sự hiện diện của họ làm tăng mối lo ngại về nền tảng của toàn bộ doanh nghiệp.
But for the stewards of math's logical underpinnings, their presence raises concerns about the foundations of the entire enterprise.

Các nguyên tắc của logic toán học là bản dịch năm 1950[ 1] của Mỹ phiên bản thứ hai năm 1938[ 2] của văn bản kinh điển của David Hilbert và Wilhelm Ackermann logic toán học.
Principles of Mathematical Logic is the 1950[1] American translation of the 1938 second edition[2] of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik,[3] on elementary mathematical logic.

Năm sau ông qua Đại học Princeton để làm tiến sĩ về đề tài Logic Toán học dưới sự hướng dẫn của Church( hoàn thành năm 1938).
Later that year, Turing moved to Princeton University to study for a Ph.D. in mathematical logic under Church's direction(completed in 1938).

Trong logic toán học, các tiên đề Peano, còn được gọi là các tiên đề Peano- Dedekind hay các định đề Peano, là các tiên đề cho các số tự nhiên được trình bày bởi nhà toán học người Ý thế kỷ 19 Giuseppe Peano.
In mathematical logic, the Peano axioms, also known as the Dedekind- Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.

Nền tảng và triết học Để làm rõ nền tảng toán học, lĩnh vực logic toán học và lý thuyết tập hợp đã được phát triển.
Foundations and philosophy In order to clarify the foundations of mathematicsthe fields of mathematical logic and set theory were developed.

Nghiên cứu về logic toán học đã dẫn trực tiếp đến lý thuyết tính toán của Alan Turing, người cho rằng một cỗ máy, bằng cách xáo trộn các ký hiệu đơn giản như" 0" và" 1", có thể mô phỏng bất kỳ hành động suy luận toán học nào có thể hiểu được.
The study of mathematical logic led directly to Alan Turing 's theory of computationwhich suggested that a machine, by shuffling symbols as simple as"0" and"1", could simulate any conceivable act of mathematical deduction.

Nền tảng và triết học Để làm rõ nền tảng toán học, lĩnh vực logic toán học và lý thuyết tập hợp đã được phát triển.
Foundations and philosophyIn order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed.

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.
Computability theory, also called 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.

Nó bắt đầu với bản dịch hoàn chỉnh đầu tiên của Frege' s 1879 Begriffsschrift, tiếp theo là 45 mảnh ngắn lịch sử quan trọng về logic toán học và lý thuyết tập hợp tiên đề, ban đầu được công bố giữa năm 1889 và 1931.
It begins with the first complete translation of Frege's 1879 Begriffsschrift, which is followed by 45 historically important short pieces on mathematical logic and axiomatic set theory, originally published between 1889 and 1931.

Một trong những người phải rời Đức là Paul Bernays, cộng sự của Hilbert trong logic toán học, và là đồng tác giả trong cuốn sách quan trọng Grundlagen der Mathematik( cuối cùng xuất hiện dưới hai tập, vào năm 1934 và 1939).
One who had to leave Germany, Paul Bernays, had collaborated with Hilbert in mathematical logic, and co-authored with him the important book Grundlagen der Mathematik(which eventually appeared in two volumes, in 1934 and 1939).

Cả khẳng định của Chương trình Hilbert và sự phủ nhận nó bởi Gödel đều dựa trên các công trình của họ, thiết lập nên lãnh vực thứ hai của logic toán học, áp dụng của toán học vào logic dưới hình thức lý thuyết chứng minh.
Both the statement of Hilbert's Program and its refutation by Gцdel depended upon their work establishing the second area of mathematical logic, the application of mathematics to logic in the form of proof theory.

Một trong những người phải rời Đức là Paul Bernays, cộng sự của Hilbert trong logic toán học, và là đồng tác giả trong cuốn sách quan trọng Grundlagen der Mathematik( cuối cùng xuất hiện dưới hai tập, vào năm 1934 và 1939).
One of those who had to leave Germany was Paul Bernays, Hilbert's collaborator in mathematical logic, and co-author with him of the important book Grundlagen der Mathematik(which eventually appeared in two volumes, in 1934 and 1939).

Công trình của Hilbert đã khởi đầu cho logic trên hướng đi làm rõ này; sự cần thiết hiểu rõ công trình của Gödel sau này dẫn đến sự phát triển của lý thuyết đệ quy và sau đó là logic toán học như là một ngành độc lập trong thập kỉ 1930- 1940.
Hilbert's work had started logic on this course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.

Trước đó, Học viện Lubrański bao gồm sáu trường nhỏ: triết học, logic, toán học, ngôn ngữ( tiếng Latin, tiếng Hy Lạp), luật và hùng biện.
Before that the Lubrański Academy comprised six schools: of philosophy, logic, mathematics, languages(Latin, Greek), law, and rhetoric.

Học sinh được giả định để làm quen với lập trình trong Java và Prolog, để có một kiến thức tổng quát của trí tuệ nhân tạo và 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.
The student is assumed to be familiar with programming in Java and Prolog, to have a general knowledge of Artificial Intelligence and a basic working knowledge of computer science, logic, mathematics, psychology and natural language processing.

Một trong những người đã phải rời khỏi nước Đức, Paul Bernays, đã hợp tác với Hilbert trong logic toán học, và là đồng tác giả với ông cuốn sách quan trọng Grundlagen der Mathematik( mà cuối cùng xuất hiện trong hai tập xuất bản năm 1934 và 1939).
One of those who had to leave Germany was Paul Bernays, Hilbert's collaborator in mathematical logic, and co-author with him of the important book Grundlagen der Mathematik(which eventually appeared in two volumes, in 1934 and 1939).

Fundamenta Mathematicae là một tạp chí khoa học bình duyệt của lĩnh vực toán học với trọng tâm là nền tảng của toán học, tập trung vào bộ lý thuyết, logic toán học, cấu trúc liên kết và tương tác của nó với đại số, và hệ thống động lực.
Fundamenta Mathematicae is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems.

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.

Chủ nghĩa kinh nghiệm logic( cũng chủ nghĩa thực chứng logic hoặc chủ nghĩa tân địa) là một nỗ lực đầu thế kỷ 20 nhằm tổng hợp các ý tưởng thiết yếu của chủ nghĩa kinh nghiệm Anh( ví dụ kinh nghiệm làm nền tảng cho kiến thức) với những hiểu biết nhất định từ logic toán học đã được phát triển bởi Gottlob Frege và Ludwig Wittgenstein.
Logical empiricism(aka logical positivism or neopositivism) was an early twentieth century attempt to synthesize the essential ideas of British empiricism(e.g., a strong emphasis on sensory experience as the basis for knowledge) with certain insights from mathematical logic that had been developed by Gottlob Frege and Ludwig Wittgenstein.

Logic Aristotle chủ yếu quan tâm đến việc dạy lý luận thế nào cho tốt, và ngày nay vẫn được dạy với mục đích đó, trong khi trong logic toán học và triết học phân tích( analytical philosophy) người ta nhấn mạnh vào logic như là một đối tượng nghiên cứu riêng, và do vậy logic được nghiên cứu ở một mức độ trừu tượng hơn.
Aristotelian logic has principally been concerned with teaching good argument, and is still taught with that end today, while in mathematical logic and analytical philosophy much greater emphasis is placed on logic as an object of study in its own right, and so logic is studied at a more abstract level.

Họ có kiến thức chuyên sâu về các phương pháp và xu hướng trong logic hiện đại và chuyên về một trong những khía cạnh và ứng dụng của nó- logic toán học thuần túy, ứng dụng logic trong( và nền tảng logic của) toán học, khoa học máy tính hoặc ngôn ngữ học, hoặc các khía cạnh triết học độc quyền của logic..
They possess in-depth knowledge of the methods and trends in modern logic and specialize in one of its aspects and applications- pure mathematical logic, applications of logic in(and logical foundations of) mathematics, computer science or linguistics, or exclusively philosophical aspects of logic..