PropriétéLa propriété est la possession d'un bien meuble ou immeuble ou d'une production intellectuelle, reconnue et consacrée par une autorité (divine ou humaine), la société, la loi, la raison générale ou le consentement universel C'est selon Pierre-Joseph Proudhon une usucapion ou une usurpation. La Révolution française a exalté le droit de propriété : inviolable et sacrée, selon l'article 17 de la Déclaration des droits de l'homme et du citoyen de 1789.
Droit des biensLe droit des biens ou droits réels est branche du droit qui étudie les relations juridiques dont l'origine ou l'objet se rapporte aux biens ou choses. Le droit des biens s'intéresse aux relations entre personnes et biens. Les biens sont un ensemble qui comporte tant des choses matérielles (voiture) que des choses immatérielles (droit d'auteur), tant des choses meubles (action de société) que des choses immeubles (appartement). Les droits réels comprennent un certain nombre de principes fondamentaux issus de leur nature particulière.
Activités en immobilierL'activité en immobilier est une expression définissant et incluant toute activité commerciale ou privée ayant trait aux biens immobiliers. Le terme désigne communément les activités de gestion et transaction s'opérant sur ces biens, mais il touche également de nombreuses activités connexes telles que : le logement, la construction, la promotion, le conseil, l'urbanisme, l'architecture, la gérance, etc. Le droit et la finance sont des domaines d'activité indispensables au fonctionnement du marché de l’immobilier.
Taxe foncièreLa taxe foncière est un impôt local dû tous les ans par le propriétaire ou l'usufruitier d'un bien immobilier. Selon une étude commandée par la Fédération des promoteurs immobiliers (FPI) en 2014, la France a, en Europe, « la fiscalité la plus élevée en matière d'impôts locaux liés au logement : taxe foncière et taxe d'habitation ». Selon une étude de Coe-Rexecode, comparant la fiscalité de 5 pays européens, en 2012, le taux français d'impôts fonciers et immobiliers est le plus élevé avec 2,6 % du PIB devant le Royaume uni 1,6 %, l'Italie 1,4 %, l'Espagne 1,1 % et l'Allemagne 0,4 %.
Propriété personnelleLa propriété personnelle (en anglais personal property) est un type de propriété hérité du droit romain qu'on retrouve aujourd'hui dans le système de droit anglais dit de Common law mais qui ne correspond à aucune classification française. La propriété personnelle porte sur des biens mobiliers corporels ou non, et se distingue de la « propriété réelle » (real property) qui porte sur l'immobilier. En droit romain, la propriété personnelle est appelée propriété mobilière (n'importe quelle chose qui peut être déplacée d'un endroit à un autre).
Acier inoxydableL'acier inoxydable, couramment appelé acier inox ou inox, est un acier (alliage à base de fer et de carbone), comportant moins de 1,2 % de carbone et plus de 10,5 % de chrome, dont la propriété remarquable est d'être peu sensible à la corrosion et de ne pas se dégrader en rouille. La présence de chrome en solution au-delà de 10,5 % dans la matrice d'un acier provoque la formation d'une couche protectrice d'oxyde de chrome qui lui confère son inoxydabilité.
Propriété intellectuellevignette|Représentation très simplifiée du cadre de la propriété intellectuelle, et de ses « objets », en France, à la fin du . La propriété intellectuelle est le domaine comportant l'ensemble des droits exclusifs accordés sur des créations intellectuelles.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Liste chaînéeUne liste chaînée ou liste liée (en anglais linked list) désigne en informatique une structure de données représentant une collection ordonnée et de taille arbitraire d'éléments de même type, dont la représentation en mémoire de l'ordinateur est une succession de cellules faites d'un contenu et d'un pointeur vers une autre cellule. De façon imagée, l'ensemble des cellules ressemble à une chaîne dont les maillons seraient les cellules.
