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.
Composant électroniqueUn composant électronique est un élément destiné à être assemblé avec d'autres afin de réaliser une ou plusieurs fonctions électroniques. Les composants forment de très nombreux types et catégories, ils répondent à divers standards de l'industrie aussi bien pour leurs caractéristiques électriques que pour leurs caractéristiques géométriques. Leur assemblage est préalablement défini par un schéma d'implantation d'un circuit électronique. alt=Un transistor, composant actif, boîtier ouvert.
Coût de revientLe coût de revient, souvent appelé prix de revient ou parfois prix naturel, représente la somme des coûts supportés pour la production et la distribution d'un bien ou d'un service. Le coût de revient est la somme : du coût d'achat ; du coût d'approvisionnement ; du coût de la production ; du coût de la distribution ; du coût administratif. L'une des difficultés du calcul consiste à bien répartir, pour chaque activité, la quote-part des charges communes de l'entreprise. Cette quote-part est parfois appelée clef de répartition.
Outline of organic gardening and farmingThe following outline is provided as an overview of and topical guide to organic gardening and farming: Organic farming – alternative agricultural system that relies on fertilizers of organic origin such as compost, manure, green manure, and bone meal and places emphasis on techniques such as crop rotation and companion planting. Biological pest control, mixed cropping and the fostering of insect predators are encouraged. Organic standards, in general, are intended to enable the use of naturally occurring compounds while restricting or strongly limiting the use of manufactured substances.
Cost-of-production theory of valueIn economics, the cost-of-production theory of value is the theory that the price of an object or condition is determined by the sum of the cost of the resources that went into making it. The cost can comprise any of the factors of production (including labor, capital, or land) and taxation. The theory makes the most sense under assumptions of constant returns to scale and the existence of just one non-produced factor of production. With these assumptions, minimal price theorem, a dual version of the so-called non-substitution theorem by Paul Samuelson, holds.