MODEL THEORY Tiếng việt là gì - trong Tiếng việt Dịch

• lý thuyết mô hình

Ví dụ về việc sử dụng Model theory trong Tiếng anh và bản dịch của chúng sang Tiếng việt

Model theory= universal algebra+ logic.[1].
Lý thuyết mô hình= đại số phổ dụng+ logic.[ 1].

Ajdukiewicz's fields of research were model theory and the philosophy of science.
Các lĩnh vực nghiên cứu của Ajdukiewicz là lý thuyết mô hình và triết học khoa học.

Model theory developed rapidly during the 1990s, and a more modern definition is provided by Wilfrid Hodges(1997).
Lý thuyết mô hình được phát triển nhanh chóng trong những năm 1990 và một định nghĩa hiện đại hơn được đưa ra bởi Wilfrid Hodges( 1997).

The most prominent professional organization in the field of model theory is the Association for Symbolic Logic.
Tổ chức chuyên nghiệp nổi bật nhất trong lĩnh vực lý thuyết mô hình là Hiệp hội Logic tượng trưng.

Model theory CRAH below the cooling capacity was 102 kWh compared to 750 kWh for the load capacity of IT equipment and lighting load combination.
Mô hình lí thuyết CRAH dưới đây có công suất làm mát thực là 102 kWh so với công suất 750 kWh cho tải CNTT và tải thiết bị chiếu sáng kết hợp.

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.

Model theory has a different scope that encompasses more arbitrary theories, including foundational structures such as models of set theory..
Phạm vi của lý thuyết mô hình rộng hơn, bao gồm các cấu trúc nền tảng như các mô hình của lý thuyết tập hợp.

During the last several decades applied model theory has repeatedly merged with the more pure stability theory..
Trong nhiều thập kỷ qua, lý thuyết mô hình ứng dụng đã liên tục hợp nhất với lý thuyết ổn định thuần túy hơn.

Model theory in higher-order logics or infinitary logics is hampered by the fact that completeness and compactness do not in general hold for these logics.
Lý thuyết mô hình trong logic học bậc cao hoặc logic vô hạn ngôi bị cản trở bởi thực tế là tính đầy đủ và tính compact nói chung không được thỏa mãn cho các logic này.

The current research has proposed the following predictive model theory, Luong method,∆Tmax and fatigue life Nf are as follows.
Nghiên cứu hiện tại đã đề xuất lý thuyết mô hình dự đoán sau đây, phương pháp Lương, maxTmax và tuổi thọ mỏi Nf như sau.

If proof theory and model theory have been the foundation of mathematical logic, they have been but two of the four pillars of the subject.
Nếu như lý thuyết chứng minh và lý thuyết mô hình đã là cơ sở của logic toán học, thì chúng chỉ là hai trong bốn trụ cột của ngành học đó.

It is also a tool used in branches of mathematics including model theory, combinatorics, abstract algebra, and mathematical analysis.
Nó cũng là một công cụ được sử dụng trong các nhánh của toán học bao gồm lý thuyết mô hình, tổ hợp, đại số trừu tượng và phân tích toán học.

In model theory, a branch of mathematical logic, two fields E and F are called elementarily equivalent if every mathematical statement that is true for E is also true for F and conversely.
Trong lý thuyết mô hình, một nhánh của logic toán, hai trường E và F được gọi là tương đương phần tử nếu mọi phát biểu toán học đúng với E cũng đúng với F và ngược lại.

The domain of a structure is an arbitrary set; it is also called the underlying set of the structure, its carrier(especially in universal algebra), or its universe(especially in model theory).
Miền của một cấu trúc là một tập hợp tùy ý; nó cũng được gọi là tập hợp nền của cấu trúc, carrier của cấu trúc( đặc biệt là trong đại số phổ dụng) hoặc vũ trụ( universe) của cấu trúc( đặc biệt là trong lý thuyết mô hình).

An example of a proof from geometric model theory is Hrushovski's proof of the Mordell- Lang conjecture for function fields.
Một ví dụ về chứng minh từ lý thuyết mô hình hình học là chứng minh của Hrushovski về phỏng đoán Mordell- Lang cho các trường hàm.

Model theory recognizes and is intimately concerned with a duality: it examines semantical elements(meaning and truth) by means of syntactical elements(formulas and proofs) of a corresponding language.
Lý thuyết mô hình nhận ra và có liên hệ mật thiết với một sự đối ngẫu: nó kiểm tra các yếu tố ngữ nghĩa( ý nghĩa và sự thật) bằng các yếu tố cú pháp( công thức và chứng minh) của một ngôn ngữ tương ứng.

The Source Book underrated the algebraic logic of De Morgan, Boole, Peirce, and Schröder, but devoted more pages to Skolem than to anyone other than Frege, and included Löwenheim(1915), the founding paper on model theory.
Các Sách Nguồn đánh giá thấp logic đại số của De Morgan, Boole, Peirce, và Schröder, nhưng dành nhiều trang để Skolem hơn cho bất cứ ai khác ngoài Frege, và bao gồm Löwenheim( 1915), các giấy thành lập trên lý thuyết mô hình.

In a similar way to proof theory, model theory is situated in an area of interdisciplinarity among mathematics, philosophy, and computer science.
Tương tự như lý thuyết chứng minh, lý thuyết mô hình nằm ở giao diện liên ngành giữa toán học, triết học và khoa học máy tính.

Finite model theory, which concentrates on finite structures, diverges significantly from the study of infinite structures in both the problems studied and the techniques used.
Lý thuyết mô hình hữu hạn, tập trung vào các cấu trúc hữu hạn, khác biệt đáng kể so với nghiên cứu các cấu trúc vô hạn trong cả các vấn đề được nghiên cứu và các kỹ thuật được sử dụng.

The result of this synthesis is called geometric model theory in this article(which is taken to include o-minimality, for example, as well as classical geometric stability theory)..
Kết quả của sự hợp nhất này được gọi là lý thuyết mô hình hình học( bao gồm o- minimality cũng như lý thuyết ổn định hình học cổ điển).

Informally, model theory can be divided into classical model theory, model theory applied to groups and fields, and geometric model theory.
Một cách không chính thức, lý thuyết mô hình có thể được chia thành lý thuyết mô hình cổ điển, lý thuyết mô hình áp dụng cho nhóm và trường, và lý thuyết mô hình hình học.

In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.
Trong đại số phổ dụng và trong lý thuyết mô hình, một cấu trúc bao gồm một tập hợp cùng với một họ các phép toán hữu hạn ngôi và các quan hệ.

In common usage, the words hypothesis, model, theory, and law have different interpretations and are at times used without precision, but in science they have very exact meanings.
Trong cách sử dụng phổ biến, các từ giả thuyết, mô hình, lý thuyết và luật có những cách hiểu khác nhau và đôi khi được sử dụng không chính xác, nhưng trong khoa học, chúng có ý nghĩa rất chính xác.

A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Là một tác giả nổi tiếng với các công trình nghiên cứu về lý thuyết mô hình, metamathematics và logic đại số, ông cũng đóng góp cho đại số trừu tượng, tô pô, hình học, lý thuyết độ đo, logic toán, lý thuyết tập hợp và triết học phân tích.

The ambition of geometric model theory is to provide a geography of mathematics by embarking on a detailed study of definable sets in various mathematical structures, aided by the substantial tools developed in the study of pure model theory.
Tham vọng của lý thuyết mô hình hình học là đưa ra một địa lý của toán học bằng cách bắt tay vào nghiên cứu chi tiết các tập hợp định nghĩa được trong các cấu trúc toán học khác nhau, được hỗ trợ bởi các công cụ được phát triển trong lý thuyết mô hình thuần túy.

In mathematical logic, and more specifically in model theory, an infinite structure M which is totally ordered by< is called an o-minimal structure if and only if every definable subset X⊂ M(with parameters taken from M) is a finite union of intervals and points.
Trong logic toán, và cụ thể hơn là trong lý thuyết mô hình, một cấu trúc M sắp thứ tự toàn phần bởi<, được gọi là một cấu trúc o- tối thiểu nếu và chỉ nếu mọi tập hợp con định nghĩa được X ⊂ M( với tham số trong M) là một hợp hữu hạn của các khoảng( theo nghĩa tập con có dạng với) và các điểm.

The most often occurring topics of the seminar are set theory and model theory in their philosophical connections, philosophy of mathematics in general, formalization of physical theories, such as special and general relativity within different logical frameworks.
Các chủ đề thường xảy ra nhất của hội thảo là thiết lập lý thuyết và lý thuyết mô hình trong các kết nối triết học, triết học toán học nói chung, chính thức hóa các lý thuyết vật lý, chẳng hạn như thuyết tương đối đặc biệt và tổng quát trong các khuôn khổ logic khác nhau.

For a given theory in model theory, a structure is called a model if it satisfies the defining axioms of that theory, although it is sometimes disambiguated as a semantic model when one discusses the notion in the more general setting of mathematical models..
Cho trước một lý thuyết trong lý thuyết mô hình, một cấu trúc được gọi là một mô hình( của lý thuyết đó) nếu nó thỏa mãn các tiên đề của lý thuyết đó. Đôi khi ta sử dụng thuật ngữ mô hình ngữ nghĩa để tránh nhầm lẫn với mô hình toán học.

An important step in the evolution of classical model theory occurred with the birth of stability theory(through Morley's theorem on uncountably categorical theories and Shelah's classification program), which developed a calculus of independence and rank based on syntactical conditions satisfied by theories..
Một bước quan trọng trong sự phát triển của lý thuyết mô hình cổ điển là sự ra đời của lý thuyết ổn định( thông qua định lý Morley về các lý thuyết phạm trù không đếm được và chương trình phân loại của Shelah), đã phát triển một phép tính cho tính độc lập và hạng dựa trên các điều kiện cú pháp được thỏa mãn của một lý thuyết..

The generation of models, theories and hypotheses.
Thế hệ của các mô hình, lý thuyết và các giả thuyết..