27 relations: Arithmétique de Robinson, Axiomes de Peano, Cohérence (données), Cohérence (linguistique), Cohérence (logique), Cohérence (physique), Coherence (film, 2013), Contradiction, Espace localement annelé, Faisceau (mathématiques), Géologie, Géométrie algébrique, Informatique, Langage naturel, Linguistique, Logique mathématique, Modèle non standard de l'arithmétique, Module sur un anneau, Philosophie analytique, Physique, Principe de cohérence de Novikov, Roche cohérente, Schéma de cohérence territoriale, Structure (logique mathématique), Théorie axiomatique, Théorie oméga-cohérente, Urbanisme.
Arithmétique de Robinson
L'arithmétique de Robinson introduite en 1950 par Raphael Robinson est une théorie du premier ordre pour l'arithmétique des entiers naturels, qui est finiment axiomatisable.
Nouveau!!: Cohérence et Arithmétique de Robinson · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Cohérence et Axiomes de Peano · Voir plus »
Cohérence (données)
schéma illustrant le besoin d'un protocole de cohérence de cache En informatique, la cohérence est la capacité pour un système à refléter sur la copie d'une donnée les modifications intervenues sur d'autre copies de cette donnée.
Nouveau!!: Cohérence et Cohérence (données) · Voir plus »
Cohérence (linguistique)
La cohérence, en linguistique, est une notion permettant de rendre compte de la relation entre deux ou plusieurs énoncés formant un discours.
Nouveau!!: Cohérence et Cohérence (linguistique) · Voir plus »
Cohérence (logique)
En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction: il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie: celle-ci possède des réalisations qui lui donnent un sens.
Nouveau!!: Cohérence et Cohérence (logique) · Voir plus »
Cohérence (physique)
La cohérence en physique est l'ensemble des propriétés de corrélation d'un système ondulatoire.
Nouveau!!: Cohérence et Cohérence (physique) · Voir plus »
Coherence (film, 2013)
Coherence est un film américain réalisé par sorti en 2013.
Nouveau!!: Cohérence et Coherence (film, 2013) · Voir plus »
Contradiction
En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles.
Nouveau!!: Cohérence et Contradiction · Voir plus »
Espace localement annelé
Le concept d'espace localement annelé est commun à différents domaines de géométrie, mais est plus utilisé en géométrie algébrique et en géométrie analytique complexe.
Nouveau!!: Cohérence et Espace localement annelé · Voir plus »
Faisceau (mathématiques)
En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique.
Nouveau!!: Cohérence et Faisceau (mathématiques) · Voir plus »
Géologie
La géologie est la science dont le principal objet d'étude est la Terre, et plus particulièrement la lithosphère.
Nouveau!!: Cohérence et Géologie · Voir plus »
Géométrie algébrique
La géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces…) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation x^2+y^2.
Nouveau!!: Cohérence et Géométrie algébrique · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Cohérence et Informatique · Voir plus »
Langage naturel
Un langage naturel.
Nouveau!!: Cohérence et Langage naturel · Voir plus »
Linguistique
La linguistique est une discipline scientifique s’intéressant à l’étude du langage.
Nouveau!!: Cohérence et Linguistique · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Cohérence et Logique mathématique · Voir plus »
Modèle non standard de l'arithmétique
En logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards.
Nouveau!!: Cohérence et Modèle non standard de l'arithmétique · Voir plus »
Module sur un anneau
En mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques,: pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif).
Nouveau!!: Cohérence et Module sur un anneau · Voir plus »
Philosophie analytique
L'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du, pour éclairer les grandes questions philosophiques.
Nouveau!!: Cohérence et Philosophie analytique · Voir plus »
Physique
La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.
Nouveau!!: Cohérence et Physique · Voir plus »
Principe de cohérence de Novikov
Le principe de cohérence de Novikov est un principe développé par le professeur Igor Novikov au milieu des années 1980 pour résoudre le problème des paradoxes liés au voyage dans le temps.
Nouveau!!: Cohérence et Principe de cohérence de Novikov · Voir plus »
Roche cohérente
tor. altération différentielle des minéraux de la roche mère.Au premier plan: arène, roche meuble (sable grossier plus ou moins enrobé d'argile) résultant d'une altération plus poussée. Une roche cohérente est une roche dont il est difficile de séparer les éléments qui la constituent, en utilisant la force humaine (test de cohérence par pression des doigts sur ce matériau).
Nouveau!!: Cohérence et Roche cohérente · Voir plus »
Schéma de cohérence territoriale
Le Schéma de cohérence territoriale (abrégé SCOT ou SCoT) est un document d'urbanisme français qui détermine, à l’échelle de plusieurs communes ou groupements de communes, un projet de territoire visant à mettre en cohérence l'ensemble des politiques sectorielles, notamment en matière d’habitat, de mobilité, d’aménagement commercial, d’environnement et de paysage.
Nouveau!!: Cohérence et Schéma de cohérence territoriale · Voir plus »
Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble.
Nouveau!!: Cohérence et Structure (logique mathématique) · Voir plus »
Théorie axiomatique
Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc.
Nouveau!!: Cohérence et Théorie axiomatique · Voir plus »
Théorie oméga-cohérente
En logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
Nouveau!!: Cohérence et Théorie oméga-cohérente · Voir plus »
Urbanisme
Gratte-ciel vus depuis la tour CN à Toronto (Canada). Vue d'un quartier de Pachuca (Mexique). L'urbanisme est l'ensemble des sciences, des techniques et des arts relatifs à l'organisation et à l'aménagement des espaces urbains.
Nouveau!!: Cohérence et Urbanisme · Voir plus »
Redirections ici:
Cohérent, Cohérente, Incohérent.