What is the translation of " LOGIC HÌNH THỨC " in English?

• formal logic

Examples of using Logic hình thức in Vietnamese and their translations into English

Nhưng nó dựa trên logic hình thức.
But it was based on formal logic.

Biết một số logic hình thức và đại số Boolean là tốt.
Knowing some formal logic and Boolean algebra is good.

Đồng thời, chủ nghĩa Marx cũng không gạt bỏ logic hình thức.
At the same time, Marxism doesn't abandon formal logic altogether.

Cả chúng ta sử dụng logic hình thức cho những mục đích thường ngày.
We all use formal logic for everyday purposes.

Trong logic hình thức, O và E được giả định là các tập số chữ.
In formal logic, O and E are assumed to be sets of literals.

Sự phát triển của toán học và số học cơ bản, chẳng hạn, là dựa trên logic hình thức.
The development of mathematics and basic arithmetic, for example, was based on formal logic.

Trong logic hình thức, O và E được giả định là các tập số chữ.
In formal logic, O{\displaystyle O} and E{\displaystyle E} are assumed to be sets of literals.

Bạn không thể dạy cho một đứa trẻ bản cửu chương mà lại không dùng đến logic hình thức.
You couldn't teach a child a table of multiplication or addition without using formal logic.

Logic hình thức dựa trên cái được biết là quy luật đồng nhất, nó nói rằng A bằng A….
Formal logic is based on what is known as the'law of identity', which says that'A' equals'A'- i.e.

Toàn bộ vấn đề là ở chỗ những quy luật của logic hình thức bị sụp đổ khi vượt qua một số những giới hạn nhất định.
The whole point is that the laws of formal logic break down beyond certain limits.

Nhưng từ quan điểm hiểu được những sự phát triển của xã hội, điều quan trọng cần phải thấy được rằng logic hình thức chỉ đứng hàng thứ hai.
But it is important to see, from the point of view of understanding social developments, that formal logic must take second position.

Và tương tự, phương pháp của logic hình thức cũng là cơ sở cho sự phát triển của cơ học, hóa học, sinh vật học….
And in the same way, the method of formal logic was also the basis for the development of mechanics, of chemistry, of biology.

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.
The field incorporates both the mathematical examine of logic and the applications of formal logic to other areas of mathematics.

Phương pháp biện chứng, đối lập lại với logic hình thức, huấn luyện cho chúng ta để chúng ta nhận ra được những mâu thuẫn này, và từ đó chạm được đến đáy của những biến đổi đang diễn ra.
The dialectical method, in contrast to the method of formal logic, trains us to identify these contradictions, and thereby get to the bottom of the changes taking place.

Ngành này bao gồm cả hai phần: Nghiên cứu toán học về logic và những ứng dụng của logic hình thức trong các ngành khác của toán học.
The field incorporates both the mathematical examine of logic and the applications of formal logic to other areas of mathematics.

Những phát triển đáng ngạc nhiên và phản trực giác trong logic hình thức và đặt lý thuyết vào đầu ngày 20 thế kỷ dẫn đến những câu hỏi mới liên quan đến những gì được gọi là nền tảng của toán học.
Surprising and counter-intuitive developments in formal logic and set theory early in the 20th century led to new questions concerning what was traditionally called the foundations of mathematics.

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.

Ngày nay, logic được ứng dụng rộng rãi trong các lãnh vực của trí tuệ nhân tạo, và khoa học máy tính, và những ngành này cung cấp một nguồn dồi dào các bài toán trong logic hình thức và phi hình thức..
Today, logic is extensively applied in the fields of artificial intelligence and computer science, and these fields provide a rich source of problems in formal and informal logic.

Do đó chúng ta có thể thấy được rằng phương pháp của logic hình thức đã bắt đầu bị đổ bể cùng với sự phát triển của bản thân khoa học.
So we can see that the method of formal logic was beginning to break down with the development of science itself.

Chúng ta cũng thấy những mặt hạn chế của logic hình thức- những giới hạn trở nên rõ ràng trong khoa học khi chúng ta nghiên cứu những quá trình sâu và chi tiết hơn, và cũng thế khi chúng ta khám phá các quá trình xã hội và chính trị một cách tỉ mỉ hơn.
On the other hand, we have to see the limitations of formal logic- the limitations that become evident in science when we study processes in more depth and detail, and also when we examine social and political processes more closely.

Lập trình khai báo thường xem chương trình như là lý thuyết của một logic hình thức, và tính toán như là suy luận trong không gian logic đó.
Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space.

Điều này dẫn đến một cuộc tranh luận ủng hộ việc dạy triết học đạo đức và chính trị như một môn học bắt buộc trong trường học, ngay cả khi các lĩnh vực triết học khác( thẩm mỹ, logic hình thức, nhận thức luận, và bản thể học) là bổ sung hoặc tùy chọn bổ sung.
This results in an argument in favour of teaching moral and political philosophy as a compulsory subject in schools, even if other areas of philosophy(aesthetics, formal logic, epistemology, and ontology) are additional or optional extras.

Lập trình khai báo thường xem chương trình như là lý thuyết của một logic hình thức, và tính toán như là suy luận trong không gian logic đó.
Declarative programming often considers programs as theories expressed by means of formal logic and computations as deductions in that logic space.

Chẳng hạn, một giáo sư về logic hình thức tên là Chin Yueh- lin- người sau đó được coi là người có thẩm quyền hàng đầu của Trung Quốc về chủ đề của mình- đã bị buộc phải viết:" Triết lý mới[ của chủ nghĩa Mác- Lênin], là khoa học, là sự thật tối cao"[ Lifton( 1961) tr. 545].
For instance, a professor of formal logic called Chin Yueh-lin- who was then regarded as China's leading authority on his subject- was induced to write:"The new philosophy[of Marxism-Leninism], being scientific, is the supreme truth"[Lifton(1961) p. 545].

Đây hơn là một nỗ lực nhằm nâng đỡ sự không tương xứng của logic hình thức trong khi đối mặt với bằng chứng về sự kết hợp giữa các mặt sóng và hạt của vật chất.
This is little more than an attempt to shore up the inadequacies of formal logic in the face of the evidence for the combined wave and particle aspects of matter.

Cương lĩnh của chúng tôi cho New Grand Palais là để hoàn thành và tăng cường logic hình thức của mình thông qua các can thiệp nhằm trả lại một cảm giác hiện đại cho toàn bộ không gian của nó, bên cạnh đó vẫn tôn trọng bản sắc truyền thống của nó.".
Our credo for the New Grand Palais is to complete and strengthen its formal logic through interventions that return a sense of modernity to its whole, all the while respecting its traditional identity.".

Kiến thức về điều dưỡng bao gồm cách tiếp cận triết học, để xem con người trong bối cảnh hiện sinh, công nghệ và khoa học của nó tìm kiếm logic hình thức là chịu trách nhiệm cho các quy tắc điều chỉnh và đạo đức như một nguyên tắc cơ bản để hướng dẫn hành động của họ.
Knowledge of Nursing consists of philosophical approach, to see the human being in its existential context, technology and science seeking formal logic as responsible for the correction rules and ethics as a fundamental principle to guide their actions.

Một số nhánh của tư tưởng kinh tế nhấn mạnh chủ nghĩa kinh nghiệm trong kinh tế học, thay vì logic hình thức- cụ thể là kinh tế vĩ mô hoặc kinh tế vi mô Marshall, cố gắng sử dụng các quan sát thủ tục và kiểm tra sai lệch liên quan đến khoa học tự nhiên.
Some branches of economic thought emphasize empiricism in economics, rather than formal logic- specifically, macroeconomics or Marshallian microeconomics, which attempt to use the procedural observations and falsifiable tests associated with the natural sciences.

Sau Dalton có xuất hiện một hệ thống phân loại ít nhiều cứng nhắc như thế, một lần nữa lại dựa trên logic hình thức cứng nhắc, nói rằng một nguyên tử hydro là một nguyên tử hydro, một nguyên tử carbon là một nguyên tử carbon….
After Dalton there was a more or less rigid classification of elements, again based on a rigid formal logic, whereby it was said that an atom of hydrogen was an atom of hydrogen, an atom of carbon was an atom of carbon.

Đối với những quan niệm cũng tồn tại' dung sai' được thiết lập không phải bởi logic hình thức bắt nguồn từ tiền đề' A' bằng' A', mà bởi logic biện chứng bắt nguồn từ tiền đề tất cả đều không ngừng vận động biến đổi.
For concepts there also exists'tolerance' which is established not by formal logic issuing from the axiom'A' is equal to'A,' but by dialectical logic issuing from the axiom that everything is always changing.