앱 다운로드
educalingo
검색

영어 사전에서 "model-theoretic" 뜻

사전
사전
section

영어 에서 MODEL-THEORETIC 의 발음

model-theoretic  [ˌmɒdəlˌθɪəˈrɛtɪk] play
facebooktwitterpinterestwhatsapp

MODEL-THEORETIC의 문법 범주

명사
형용사
동사
부사
대명사
전치사
접속사
한정사
감탄사

영어에서 MODEL-THEORETIC 의 뜻은 무엇인가요?

영어 사전에서 «model-theoretic» 의 원래 정의 보기를 원하면 클릭하세요
한국어 사전에서 자동 번역 보기를 원하면 클릭하세요

모델 이론

Model theory

수학에서 모델 이론은 수학 논리의 관점에서 수학 구조의 클래스를 연구합니다. 연구 대상은 형식 언어로 된 이론의 모델이다. 우리는 이론을 형식적인 언어로 문장의 집합이라고 부르고 이론의 모형을 그 이론의 문장을 만족시키는 구조라고 부른다. 모델 이론은 이원성을 인식하고 그것과 밀접하게 관련되어있다 : 그것은 상응하는 언어의 구문 요소를 이용하여 의미 론적 요소를 조사한다. Chang과 Keisler의 첫 번째 페이지를 인용하자면 : universal algebra + logic = model theory. 모델 이론은 1990 년대에 급속하게 발전했으며 Wilfrid Hodges (모델 이론 = 대수 기하학 - 필드)에 의해보다 근대적 인 정의가 제공되었지만 모델 이론가들 또한 분야 연구에 관심이있다. 수학의 다른 주변 영역으로는 조합론, 수 이론, 산술 동역학, 분석 함수 및 비표준 분석이 있습니다. 증명 이론과 유사한 방식으로, 모델 이론은 수학, 철학 및 컴퓨터 과학 분야의 학제 간 영역에 자리 잡고 있습니다. In mathematics, model theory is the study of classes of mathematical structures from the perspective of mathematical logic. The objects of study are models of theories in a formal language. We call a theory a set of sentences in a formal language, and model of a theory a structure that satisfies the sentences of that theory. Model theory recognises and is intimately concerned with a duality: It examines semantical elements by means of syntactical elements of a corresponding language. To quote the first page of Chang and Keisler: universal algebra + logic = model theory. Model theory developed rapidly during the 1990s, and a more modern definition is provided by Wilfrid Hodges: model theory = algebraic geometry − fields, although model theorists are also interested in the study of fields. Other nearby areas of mathematics include combinatorics, number theory, arithmetic dynamics, analytic functions, and non-standard analysis. In a similar way to proof theory, model theory is situated in an area of interdisciplinarity among mathematics, philosophy, and computer science.

영어 사전에서 model-theoretic 의 정의

사전에서 모델 이론의 정의는 모델의 특성을 다루는 논리의 분지와 관련이있다. 형식 체계에 대한 의미 론적 연구.

The definition of model-theoretic in the dictionary is of or relating to the branch of logic that deals with the properties of models; the semantic study of formal systems.

영어 사전에서 «model-theoretic» 의 원래 정의 보기를 원하면 클릭하세요
한국어 사전에서 자동 번역 보기를 원하면 클릭하세요

MODEL-THEORETIC 운과 맞는 영어 단어


anchoretic
ˌæŋkəˈrɛtɪk
antidiuretic
ˌæntɪˌdaɪjʊˈrɛtɪk
antipyretic
ˌæntɪpaɪˈrɛtɪk
anuretic
ˌænjʊˈrɛtɪk
aphaeretic
ˌæfəˈrɛtɪk
apheretic
ˌæfəˈrɛtɪk
apyretic
ˌæpaɪˈrɛtɪk
cataphoretic
ˌkætəfəˈrɛtɪk
diaphoretic
ˌdaɪəfəˈrɛtɪk
diarrhetic
ˌdaɪəˈrɛtɪk
dieretic
ˌdaɪəˈrɛtɪk
diuretic
ˌdaɪjʊˈrɛtɪk
game-theoretic
ˌɡeɪmθɪəˈrɛtɪk
Masoretic
ˌmæsəˈrɛtɪk
Massoretic
ˌmæsəˈrɛtɪk
paraparetic
ˌpærəpəˈrɛtɪk
paretic
pəˈrɛtɪk
pyretic
paɪˈrɛtɪk
theoretic
ˌθɪəˈrɛtɪk
uretic
jʊˈrɛtɪk

MODEL-THEORETIC 처럼 시작하는 영어 단어

mode
mode of transport
model
model plane
model railway
model theory
modeling
modelist
modelled
modeller
modelling
modelling clay
modello
modem
Modena
moder
moderate
moderate breeze
moderate gale
moderate-sized

MODEL-THEORETIC 처럼 끝나는 영어 단어

anoretic
aporetic
athletic
atretic
cretic
diaeretic
electrophoretic
encopretic
heretic
hyperpyretic
hysteretic
iontophoretic
ischuretic
loop diuretic
magnetic
natriuretic
oliguretic
saluretic
syncretic
synthetic

영어 사전에서 model-theoretic 의 동의어와 반의어

동의어

25개국어로 «model-theoretic» 번역

번역기
online translator

MODEL-THEORETIC 의 번역

영어 다중 언어 번역기 를 사용해 model-theoretic25개국어 번역을 확인해보세요
자동 통계기반 번역을 통해 영어 에서 이 항목에 표시된 다른 언어로 model-theoretic 번역 이 이루어집니다. 이 항목의 기본적인 번역 단위는 영어 단어 «model-theoretic» 입니다.

영어 - 중국어 번역기

模型论
화자 1,325 x 백만 명

영어 - 스페인어 번역기

teoría de modelos
화자 570 x 백만 명

영어

model-theoretic
화자 510 x 백만 명

영어 - 힌디어 번역기

मॉडल रिप्ले
화자 380 x 백만 명
ar

영어 - 아랍어 번역기

نموذج نظري
화자 280 x 백만 명

영어 - 러시아어 번역기

теоретико - модель
화자 278 x 백만 명

영어 - 포르투갈어 번역기

- modelo teórico
화자 270 x 백만 명

영어 - 벵골어 번역기

মডেল-তত্ত্বীয়
화자 260 x 백만 명

영어 - 프랑스어 번역기

modèle théorique
화자 220 x 백만 명

영어 - 말레이어 번역기

Model-teori
화자 190 x 백만 명

영어 - 독일어 번역기

modelltheoretischen
화자 180 x 백만 명

영어 - 일본어 번역기

モデル理論
화자 130 x 백만 명

영어 - 한국어 번역기

모델 이론
화자 85 x 백만 명

영어 - 자바어 번역기

Model-teori
화자 85 x 백만 명
vi

영어 - 베트남어 번역기

mô hình lý thuyết
화자 80 x 백만 명

영어 - 타밀어 번역기

மாதிரி-கோட்பாட்டு
화자 75 x 백만 명

영어 - 마라티어 번역기

मॉडेल-सैद्धांतिक
화자 75 x 백만 명

영어 - 터키어 번역기

Modele teorik
화자 70 x 백만 명

영어 - 이탈리아어 번역기

modello della teoria
화자 65 x 백만 명

영어 - 폴란드어 번역기

teoretyczne modelu
화자 50 x 백만 명

영어 - 우크라이나어 번역기

теоретико -модель
화자 40 x 백만 명

영어 - 루마니아어 번역기

teoretic model
화자 30 x 백만 명
el

영어 - 그리스어 번역기

μοντέλο της θεωρίας
화자 15 x 백만 명
af

영어 - 아프리칸스어 번역기

model -teoretiese
화자 14 x 백만 명
sv

영어 - 스웨덴어 번역기

modell teoretisk
화자 10 x 백만 명
no

영어 - 노르웨이어 번역기

modell -teoretiske
화자 5 x 백만 명

model-theoretic 의 사용 경향

경향

«MODEL-THEORETIC» 의 용어 사용 경향

0
100%
빈도
잘 사용되지 않음
41
/100
위의 지도는 다른 국가에서 «model-theoretic» 의 사용 빈도를 나타냅니다.
model-theoretic 의 주요 검색 경향 및 일반적인 사용
사용자가 영어 온라인 사전 에 접속하기 위해 주로 사용한 검색 목록과 «model-theoretic» 단어와 가장 널리 사용되는 표현입니다.

시간 경과에 따른 «MODEL-THEORETIC» 의 사용 빈도

지난 500년간 «model-theoretic» 의 연간 사용 빈도의 변화 를 나타내는 그래프입니다. 1500년과 현재 날짜 사이에 영어 «model-theoretic» 단어가 디지털화된 인쇄물에 얼마나 자주 표시되는지 분석하여 구현합니다.

model-theoretic 에 대한 영어 문헌, 인용문 및 뉴스에서 사용된 사례

예시

«MODEL-THEORETIC» 관련 영어 책

다음 도서 목록 항목에서 model-theoretic 의 용법을 확인하세요. model-theoretic 에 관련된 책과 해당 책의 짧은 발췌문을 통해 영어 서적에서 단어가 사용되는 맥락을 제공합니다.
1
A Model-Theoretic Realist Interpretation of Science
In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science.
Emma Ruttkamp, 2002
2
Model Theoretic Algebra With Particular Emphasis on Fields, ...
Looks like a text (and a handsome one at that), but the authors prefer to describe their creation as "notes", intended to acquaint graduate students with "the power of the most basic principles of model theory by applying them to classical ...
Christian. U Jensen, Helmt Lenzing, 1989
3
Mass Terms and Model-Theoretic Semantics
Harry Bunt provides a thorough analysis of the problem of 'mass terms' and offers an original and detailed solution.
Harry C. Bunt, 2009
4
Iterative Differential Galois Theory in Positive ...
Javier A. Moreno. Chapter 3 Iterative strongly normal theory "To begin with, they are very tall." I was looking around the room for clues. "They reach way up. Up and up. Toward the sky. They're so big, some of them, they have to have these ...
Javier A. Moreno, 2008
5
From Discourse to Logic: Introduction to Modeltheoretic ...
An explicit model- theoretic truth definition became available - through the continued research of Tarski and his students - only in the late forties.) It is precisely because the definition of validity requires the concept of truth-in-a- model, and ...
Hans Kamp, Uwe Reyle, 1993
6
Mental Models: Towards a Cognitive Science of Language, ...
8. Meaning. in. model-theoretic. semantics. The reader will recall that my long- term goal is to give an account of all the mental processes that occur in making a deduction such as: Some of those people are from the university. Any person from ...
Philip N. Johnson-Laird, 1983
7
Probabilistic Inductive Logic Programming
1. Introduction. In the preceding chapter the problem of comparing languages was considered from a behavioral perspective. In this chapter we develop an alternative, model- theoretic approach. In this approach we compare the ...
Luc De Raedt, 2008
8
Language, Memory, and Thought
7.1 A MODEL-THEORETIC SEMANTICS FOR ACT The semantics used here is an adaptation of the model-theoretic semantics that one encounters in modern logic (for example, Church, 1956; Mendelson, 1964). Model-theoretic semantics will ...
John R. Anderson, 1976
9
Andrzej Mostowski and Foundational Studies
I review Ratajczyk's version of model theoretic approach to proof theory for arithmetic. I develop the idea of the Hardy hierarchy and its application to construction of initial segments satisfying PA. As a sample of applications of these ideas I give ...
Andrzej Ehrenfeucht, V. Wiktor Marek, Marian Srebrny, 2008
10
Model-Based Reasoning in Scientific Discovery
The idea here seems to be that model-based reasoning involves "models", and hence, requires model-theoretic methods. Also this rests on a confusion. Models in the sense of analogue representations have little to do with models in the ...
L. Magnani, Nancy Nersessian, Paul Thagard, 1999

«MODEL-THEORETIC» 단어를 포함하는 뉴스 기사

다음 뉴스 기사의 맥락에서 국내 및 국제 언론이 말하는 내용 및 model-theoretic 단어를 사용하는 방법을 알아보세요.
1
Recurring decimals, proof, and ice floes
For differential calculus we'd need something better, and for model-theoretic discourse involving infinitesimals something better again. Yet the ... «OUPblog, 10월 14»
2
Math Department Honors Retiring Professor Wood at Algebra …
... the Department of Mathematics and Computer Science hosted the Conference on Model-Theoretic Algebra, May 31-June 1. Professor Wood ... «Wesleyan Connection, 7월 13»
3
Review by James Dow
... Representationalism (1970) (what a thought represents is independent of the situation in which it is deployed) and Putnam's Model-Theoretic ... «Metapsychology, 6월 08»

참조
« EDUCALINGO. Model-Theoretic [온라인]. <https://educalingo.com/ko/dic-en/model-theoretic> 사용 가능. 5월 2024 ».
educalingo 앱 다운로드
en
영어 사전
에서 단어에 숨겨진 모든 것을 알아보세요
색인
a b c d e f g h i j k l m n o p q r s t u v w x y z