Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Espace vertvignette|Petit espace vert à Comberton dans le Cambridgeshire (Royaume-Uni). La municipalité a installé un banc pour jouir de la vue de la mare. vignette|Le jardin « historique » de a été créé en 1638, il est, depuis, parfaitement préservé en tant que cœur de la première ville dont l'urbanisme a été planifié aux États-Unis. Un espace vert désigne, en urbanisme, tout espace d'agrément végétalisé (engazonné, arboré, éventuellement planté de fleurs et d'arbres et buissons d'ornement, et souvent garni de pièces d'eau et cheminements).
MéthodologieLa méthodologie est l'étude de l'ensemble des méthodes scientifiques. Elle peut être considérée comme la science de la méthode, ou « méthode des méthodes » (comme il y a une métalinguistique ou linguistique des linguistiques et une métamathématique ou mathématique des mathématiques). Alors, la méthodologie est une classe de méthodes, une sorte de boîte à outils où chaque outil est une méthode de la même catégorie, comme il y a une méthodologie analytique du déterminisme causal et une méthodologie systémique finaliste de la téléologie.
Modèle mentalEn psychologie cognitive, un modèle mental est une représentation permettant de simuler mentalement le déroulement d'un phénomène pour anticiper les résultats d'une action. La notion de modèle mental est également largement employée en ergonomie cognitive et interaction homme-machine. Le terme de modèle mental provient de Kenneth Craik dans son livre The Nature of Explanation publié en 1943. John Bowlby s'en inspire dans ses travaux sur la théorie de l’attachement.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Geographical featureA feature (also called an object or entity), in the context of geography and geographic information science, is a discrete phenomenon that exists at a location in the space and scale of relevance to geography; that is, at or near the surface of Earth, at a moderate to global scale. It is one of the primary types of phenomena represented in geographic information, such as that represented in maps, geographic information systems, remote sensing imagery, statistics, and other forms of geographic discourse.
Urban planning educationUrban planning education is a practice of teaching and learning urban theory, studies, and professional practices. The interaction between public officials, professional planners and the public involves a continuous education on planning process. Community members often serve on a city planning commission, council or board. As a result, education outreach is effectively an ongoing cycle.
Philosophical methodologyIn its most common sense, philosophical methodology is the field of inquiry studying the methods used to do philosophy. But the term can also refer to the methods themselves. It may be understood in a wide sense as the general study of principles used for theory selection, or in a more narrow sense as the study of ways of conducting one's research and theorizing with the goal of acquiring philosophical knowledge.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Physique théoriquevignette|Discussion entre physiciens théoriciens à l'École de physique des Houches. La physique théorique est la branche de la physique qui étudie l’aspect théorique des lois physiques et en développe le formalisme mathématique. C'est dans ce domaine que l'on crée les théories, les équations et les constantes en rapport avec la physique. Elle constitue un champ d'études intermédiaire entre la physique expérimentale et les mathématiques, et a souvent contribué au développement de l’une comme de l’autre.
Espace-temps (géographie)L'espace-temps en géographie représente le temps nécessaire pour parcourir ou franchir un espace géographique, autrement dit un territoire donné. La mise en place de nouvelles infrastructures de transports permettant une plus grande vitesse provoque un raccourcissement de l'espace-temps. En géographie, la notion d'espace-temps est un néologisme datant du début de la décennie 1970. En Suède, c'est Torsten Hägerstrand qui en a forgé le concept, repris ensuite par de nombreux autres géographes.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
