Скачать приложение
educalingo
Поиск

Значение слова "model-theoretic" в словаре английский языка

Словарь
СЛОВАРЬ
section

ПРОИЗНОШЕНИЕ СЛОВА MODEL-THEORETIC

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

ГРАММАТИЧЕСКАЯ КАТЕГОРИЯ СЛОВА MODEL-THEORETIC

существительное
прилагательное
глагол
наречие
местоимение
предлог
союз
определяющее слово
восклицание

ЧТО ОЗНАЧАЕТ СЛОВО MODEL-THEORETIC

Нажмите, чтобы посмотреть исходное определение слова «model-theoretic» в словаре английский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.

Теория моделей

Model theory

В математике теория моделей - это изучение классов математических структур с точки зрения математической логики. Объектами исследования являются модели теорий на формальном языке. Теорию мы называем набором предложений в формальном языке, а модель теории - структурой, которая удовлетворяет предложениям этой теории. Теория модели распознает и тесно связана с двойственностью: она исследует семантические элементы с помощью синтаксических элементов соответствующего языка. Процитировать первую страницу Чанга и Кейслера: универсальная алгебра + логика = теория моделей. Теория моделей быстро развивалась в 1990-х годах, и более современное определение дает Уилфрид Ходжес: теория моделей = алгебраическая геометрия - поля, хотя теоретики модели также заинтересованы в изучении полей. Другие близлежащие области математики включают комбинаторику, теорию чисел, арифметическую динамику, аналитические функции и нестандартный анализ. Аналогично теории доказательств теория моделей находится в области междисциплинарности среди математики, философии и информатики. 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 в словаре английский языка

СИНОНИМЫ

Перевод слова «model-theoretic» на 25 языков

ПЕРЕВОДЧИК
online translator

ПЕРЕВОД СЛОВА MODEL-THEORETIC

Посмотрите перевод слова model-theoretic на 25 языков с помощью нашего многоязыкового переводчика c английский языка.
Переводы слова model-theoretic с английский языка на другие языки, представленные в этом разделе, были выполнены с помощью автоматического перевода, в котором главным элементом перевода является слово «model-theoretic» на английский языке.

Переводчик с английский языка на китайский язык

模型论
1,325 миллионов дикторов

Переводчик с английский языка на испанский язык

teoría de modelos
570 миллионов дикторов

английский

model-theoretic
510 миллионов дикторов

Переводчик с английский языка на хинди язык

मॉडल रिप्ले
380 миллионов дикторов
ar

Переводчик с английский языка на арабский язык

نموذج نظري
280 миллионов дикторов

Переводчик с английский языка на русский язык

теоретико - модель
278 миллионов дикторов

Переводчик с английский языка на португальский язык

- modelo teórico
270 миллионов дикторов

Переводчик с английский языка на бенгальский язык

মডেল-তত্ত্বীয়
260 миллионов дикторов

Переводчик с английский языка на французский язык

modèle théorique
220 миллионов дикторов

Переводчик с английский языка на малайский язык

Model-teori
190 миллионов дикторов

Переводчик с английский языка на немецкий язык

modelltheoretischen
180 миллионов дикторов

Переводчик с английский языка на японский язык

モデル理論
130 миллионов дикторов

Переводчик с английский языка на корейский язык

모델 이론
85 миллионов дикторов

Переводчик с английский языка на яванский язык

Model-teori
85 миллионов дикторов
vi

Переводчик с английский языка на вьетнамский язык

mô hình lý thuyết
80 миллионов дикторов

Переводчик с английский языка на тамильский язык

மாதிரி-கோட்பாட்டு
75 миллионов дикторов

Переводчик с английский языка на маратхи язык

मॉडेल-सैद्धांतिक
75 миллионов дикторов

Переводчик с английский языка на турецкий язык

Modele teorik
70 миллионов дикторов

Переводчик с английский языка на итальянский язык

modello della teoria
65 миллионов дикторов

Переводчик с английский языка на польский язык

teoretyczne modelu
50 миллионов дикторов

Переводчик с английский языка на украинский язык

теоретико -модель
40 миллионов дикторов

Переводчик с английский языка на румынский язык

teoretic model
30 миллионов дикторов
el

Переводчик с английский языка на греческий язык

μοντέλο της θεωρίας
15 миллионов дикторов
af

Переводчик с английский языка на африкаанс язык

model -teoretiese
14 миллионов дикторов
sv

Переводчик с английский языка на шведский язык

modell teoretisk
10 миллионов дикторов
no

Переводчик с английский языка на норвежский язык

modell -teoretiske
5 миллионов дикторов

Тенденции использования слова model-theoretic

ТЕНДЕНЦИИ

ТЕНДЕНЦИИ ИСПОЛЬЗОВАНИЯ ТЕРМИНА «MODEL-THEORETIC»

0
100%
ЧАСТОТНОСТЬ
Слово используется мало
41
/100
На показанной выше карте показана частотность использования термина «model-theoretic» в разных странах.
Тенденции основных поисковых запросов и примеры использования слова model-theoretic
Список основных поисковых запросов, которые пользователи ввели для доступа к нашему онлайн-словарю английский языка и наиболее часто используемые выражения со словом «model-theoretic».

ЧАСТОТА ИСПОЛЬЗОВАНИЯ ТЕРМИНА «MODEL-THEORETIC» С ТЕЧЕНИЕМ ВРЕМЕНИ

На графике показано годовое изменение частотности использования слова «model-theoretic» за последние 500 лет. Формирование графика основано на анализе того, насколько часто термин «model-theoretic» появляется в оцифрованных печатных источниках на английский языке, начиная с 1500 года до настоящего времени.

Примеры использования в литературе на английский языке, цитаты и новости о слове 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, Окт 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, Июл 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, Июн 08»

ССЫЛКИ
« EDUCALINGO. Model-Theoretic [онлайн]. Доступно на <https://educalingo.com/ru/dic-en/model-theoretic>. Май 2024 ».
Скачать приложение educalingo
en
Словарь английский языка
Узнайте, что скрывают слова, на