Unité d'habitationLunité d'habitation est le nom donné à un principe moderne de bâtiments d'habitation conçu par Le Corbusier, architecte franco-suisse (en collaboration avec le peintre et architecte portugais Nadir Afonso) qui a servi de modèle à plusieurs cités désignées par ce nom. La première de ces unités est celle de Marseille construite entre 1945 et 1952, connue aussi sous le nom de « Cité radieuse ». Elle est devenue un grand classique architectural et on la considère souvent comme le bâtiment qui a inspiré par la suite le style et la pensée brutaliste.
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
Construction managementConstruction management (CM) is a professional service that uses specialized, project management techniques and software to oversee the planning, design, construction and closeout of a project. The purpose of construction management is to control the quality of a project's scope, time / delivery and cost—sometimes referred to as a project management triangle or "triple constraints." CM is compatible with all project delivery systems, including design-bid-build, design-build, CM At-Risk and Public Private Partnerships.
Logement socialUn logement social est un logement destiné, à la suite d'une initiative publique ou privée, à des personnes qui ont des difficultés à se loger le plus souvent pour des raisons financières. L'expression sert aussi à désigner le secteur économique constitué par ce marché immobilier et les politiques d'économie sociale qui président à son administration. En Europe, le logement passe par diverses traditions et des histoires nationales qui toutes visent à l’encadrement des loyers et à plus ou moins d'extension du logement social.
HousingHousing, or more generally, living spaces, refers to the construction and assigned usage of houses or buildings individually or collectively, for the purpose of shelter. Housing is a basic human need, and it plays a critical role in shaping the quality of life for individuals, families, and communities. Housing ensures that members of society have a place to live, whether it is a home or some kind of physical structure for dwelling, lodging or shelter and it includes a range of options from apartments and houses to temporary shelters and emergency accommodations.
Grand ensembleUn grand ensemble, parfois qualifié de cité ou abusivement cité HLM (car beaucoup de grands ensembles, même parmi les plus délabrés, sont des copropriétés et non des logements sociaux), est un type de forme urbaine, généralement de grande étendue, censé accueillir un grand nombre d'habitants et, dans une certaine mesure, caractérisé par l'aspect répétitif de ses bâtiments, généralement une série de barres et de tours. La composition d'un grand ensemble peut varier du tout au tout d'un contexte à l'autre.
EmbodimentL'embodiment (ou cognition incarnée) est un concept issu de la psychologie cognitive. Il fait référence aux pensées (cognition), aux sentiments (émotion) et aux comportements (corps) basés sur nos expériences sensorielles et sur nos positions corporelles. Dans la pratique, il est utilisé pour penser des aspects généralement associés à notre vie quotidienne, tels que notre façon de bouger, de parler et de se développer.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
AppartementUn appartement est une unité d’habitation, comportant un certain nombre de pièces et qui n’occupe qu’une partie d’un immeuble, situé généralement dans une ville. Il est souvent à usage d'habitation (notion de logement). En particulier en France, lorsque le règlement de copropriété destine intégralement l'immeuble à cette utilisation (c'est ce qu'on appelle des clauses d'« occupation bourgeoise exclusive »), excluant toutes formes d'activités commerciales. Plus marginalement, il héberge parfois des activités professionnelles.
