Bien immobilierUn bien immobilier est un bien composé : d'un fonds de terre ; de construction(s), notamment : bâtiments, incluant tout mobilier incorporé à l'immeuble assurant son utilité (ex. : système de climatisation, luminaire, fournaise, aspirateur central, stores vénitiens/rideaux...) ; ouvrages à caractère permanent qui s'y trouvent et tout ce qui en fait partie intégrante, tels une tour de communication, pylône électrique, infrastructures de services urbains (ex. : aqueduc, égout pluvial, égout sanitaire...
Agent immobilierUn agent immobilier (ou courtier immobilier au Québec) est un intermédiaire dans les transactions portant sur des biens immobiliers : ventes et locations. Cet agent peut être un travailleur indépendant ou une entreprise, l'agence immobilière, employant des négociateurs. Il est généralement en contact avec ses confrères de la même branche, avec les mairies et communautés urbaines, les collectivités, les institutions, les avocats et les tribunaux. Il peut être varié. Les agents immobiliers ne sont pas limités par la loi à un domaine.
Deduction theoremIn mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.e. to prove an implication A → B, it is sufficient to assume A as an hypothesis and then proceed to derive B. Deduction theorems exist for both propositional logic and first-order logic. The deduction theorem is an important tool in Hilbert-style deduction systems because it permits one to write more comprehensible and usually much shorter proofs than would be possible without it.
Déduction naturelleEn logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.
Système à la HilbertEn logique, les systèmes à la Hilbert servent à définir les déductions formelles en suivant un modèle proposé par David Hilbert au début du : un grand nombre daxiomes logiques exprimant les principales propriétés de la logique que l'on combine au moyen de quelques règles, notamment la règle de modus ponens, pour dériver de nouveaux théorèmes. Les systèmes à la Hilbert héritent du système défini par Gottlob Frege et constituent les premiers systèmes déductifs, avant l'apparition de la déduction naturelle ou du calcul des séquents, appelés parfois par opposition systèmes à la Gentzen.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
Régime foncierUn régime foncier est le régime juridique ou coutumier qui définit les relations d’appartenance d'une terre et ses ressources par rapport à un individu ou à un groupe. Il détermine qui peut utiliser la terre, pour combien de temps et dans quelles conditions. Leur usage peut être fondé tant sur des lois et des politiques officielles que sur des coutumes informelles. Au cours de l'histoire, de nombreuses formes différentes de propriété foncière, c'est-à-dire des modes de possession des terres, ont été établies.
Impôt sur la terreL'impôt sur la terre ou impôt sur la valeur foncière est une taxe foncière portant exclusivement sur la terre, à l'exclusion des bâtiments éventuels qui peuvent y être érigés. Cet impôt est mis en avant pour son efficacité économique, la réduction des inégalités et la lutte contre les situations de rente. Il a notamment été défendu par Henry George, le fondateur du georgisme. Un tel impôt est appliqué au Danemark, en Estonie, en Russie, à Singapour et à Taïwan.
Bulle immobilièreUne bulle immobilière est une bulle de prix d'un marché immobilier, caractérisée par une hausse élevée de la valeur des biens immobiliers. Elle se traduit par un écart important et persistant entre le prix de certains biens immeubles et la variation de leurs déterminants fondamentaux économiques comme les salaires ou le rendement locatif. Cette spéculation immobilière, lorsqu'elle est effectuée à crédit, fait courir des risques aux créanciers comme aux emprunteurs.
Sol (pédologie)vignette|Le sol recèle un trésor vivant insoupçonné qui représente 50 % de la biodiversité spécifique sur la terre. En région tempérée, chaque mètre carré (sur de profondeur) abrite en moyenne animales (dont un millier d'espèces d'invertébrés constitués de près de 50 % d'acariens) comprenant, en les distinguant par leur taille, la microfaune, la mésofaune et la macrofaune. Une cuillère à café de sol, soit environ un gramme, héberge en moyenne 100 arthropodes, à , des millions de protozoaires et près d'un milliard de cellules bactériennes, issues de plus de 1 million d'espèces.
Biologie des solsvignette|La biologie des sols est l'étude de la vie microbienne et faunique dans le sol, dont l'activité est visible sur cette photo. La biologie des sols est l'étude de l'activité et de l’écologie microbienne et faunique du sol. Lédaphon (la vie, le biot et la faune du sol) est un terme collectif qui englobe tous les organismes passant une partie importante de leur cycle de vie au sein d'un profil pédologique, ou de l'interface sol-litière.
Fertilité des solsvignette|Schéma global des composantes de la fertilité des sols. vignette|Le diagramme de Mulder illustre la loi de l'optimum de Liebscher. La fertilité des sols est une notion importante dans les domaines de l'agriculture et de l'agronomie, désignant l'aptitude d'un sol à produire dans les conditions actuelles de culture. Elle est une des composantes de la qualité des sols. Il n'existe pas de définition consensuelle de la fertilité des sols. La valeur scientifique du terme et la possibilité de parvenir à le définir est contestée.
Science des solsLa science des sols, (soil science en anglais), est l'ensemble des disciplines scientifiques concernant les sols de la surface terrestre. Les deux branches principales de la science des sols sont : la pédologie, qui étudie la formation (pédogenèse) et l'évolution des sols ; l'édaphologie, qui étudie l'influence des sols sur les êtres vivants, particulièrement en tant qu'habitats naturels pour les végétaux (l'agrologie portant plus spécifiquement sur l'étude des seuls sols agricoles).
LausanneLausanne () est une ville suisse située sur la rive nord du lac Léman. Capitale du canton de Vaud, elle est également capitale olympique et chef-lieu du district de Lausanne. Elle est la quatrième ville du pays en nombre d'habitants après Zurich, Genève et Bâle. En , la commune de Lausanne compte , et l'agglomération lausannoise compte . En 2012, elle concentre 50 % de la population et 60 % des emplois du canton de Vaud.
