Signification de "model-theoretic" dans le dictionnaire anglais

PRONONCIATION DE MODEL-THEORETIC EN ANGLAIS

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

CATÉGORIE GRAMMATICALE DE MODEL-THEORETIC

Model-Theoretic est un adjectif.

L'adjectif, c'est le mot adjoint au nom pour le déterminer ou le qualifier.

QUE SIGNIFIE MODEL-THEORETIC EN ANGLAIS

Théorie du modèle

Model theory

En mathématiques, la théorie des modèles est l'étude des classes de structures mathématiques du point de vue de la logique mathématique. Les objets d'étude sont des modèles de théories dans un langage formel. Nous appelons une théorie un ensemble de phrases dans un langage formel et un modèle de théorie une structure qui satisfait les phrases de cette théorie. La théorie du modèle reconnaît et s'intéresse intimement à une dualité: elle examine les éléments sémantiques au moyen d'éléments syntaxiques d'une langue correspondante. Pour citer la première page de Chang et Keisler: algèbre universelle + logique = théorie du modèle. La théorie des modèles s'est développée rapidement au cours des années 1990 et une définition plus moderne est fournie par Wilfrid Hodges: théorie des modèles = géométrie algébrique - les champs, bien que les théoriciens modèles soient également intéressés par l'étude des champs. D'autres domaines voisins des mathématiques comprennent la combinatoire, la théorie des nombres, la dynamique arithmétique, les fonctions analytiques et les analyses non standard. De manière similaire à la théorie de la preuve, la théorie des modèles se situe dans un domaine d'interdisciplinarité parmi les mathématiques, la philosophie et l'informatique.

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.

définition de model-theoretic dans le dictionnaire anglais

La définition de la théorie-modèle dans le dictionnaire est ou relative à la branche de la logique qui traite des propriétés des modèles; l'étude sémantique des systèmes formels.

TRADUCTION DE MODEL-THEORETIC

Découvrez la traduction de model-theoretic dans 25 langues grâce à notre traducteur anglais multilingue.

Dans cette section, les traductions de model-theoretic dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «model-theoretic» en anglais.

• Traducteur Français - chinois: 模型论
• Traducteur Français - espagnol: teoría de modelos
• anglais: model-theoretic
• Traducteur Français - hindi: मॉडल रिप्ले
• Traducteur Français - arabe: نموذج نظري
• Traducteur Français - russe: теоретико - модель
• Traducteur Français - portugais: - modelo teórico
• Traducteur Français - bengali: মডেল-তত্ত্বীয়
• Traducteur Français - français: modèle théorique
• Traducteur Français - malaisien: Model-teori
• Traducteur Français - allemand: modelltheoretischen
• Traducteur Français - japonais: モデル理論
• Traducteur Français - coréen: 모델 이론
• Traducteur Français - javanais: Model-teori
• Traducteur Français - vietnamien: mô hình lý thuyết
• Traducteur Français - tamoul: மாதிரி-கோட்பாட்டு
• Traducteur Français - marathi: मॉडेल-सैद्धांतिक
• Traducteur Français - turc: Modele teorik
• Traducteur Français - italien: modello della teoria
• Traducteur Français - polonais: teoretyczne modelu
• Traducteur Français - ukrainien: теоретико -модель
• Traducteur Français - roumain: teoretic model
• Traducteur Français - grec: μοντέλο της θεωρίας
• Traducteur Français - afrikaans: model -teoretiese
• Traducteur Français - suédois: modell teoretisk
• Traducteur Français - norvégien: modell -teoretiske

10 LIVRES EN ANGLAIS EN RAPPORT AVEC «MODEL-THEORETIC»

Découvrez l'usage de model-theoretic dans la sélection bibliographique suivante. Des livres en rapport avec model-theoretic et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.

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

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

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

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

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

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

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

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

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

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

3 ACTUALITÉS CONTENANT LE TERME «MODEL-THEORETIC»

Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme model-theoretic est employé dans le contexte des actualités suivantes.

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, oct 14»

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, juil 13»

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, juin 08»