Collective action problemA collective action problem or social dilemma is a situation in which all individuals would be better off cooperating but fail to do so because of conflicting interests between individuals that discourage joint action. The collective action problem has been addressed in political philosophy for centuries, but was most clearly established in 1965 in Mancur Olson's The Logic of Collective Action. Problems arise when too many group members choose to pursue individual profit and immediate satisfaction rather than behave in the group's best long-term interests.
Règle d'inférenceDans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes. Une règle d'inférence est une fonction qui prend un -uplet de formules et rend une formule. Les formules arguments sont appelées « les prémisses » et la formule retournée est appelée la « conclusion ».
Magasin (arme)vignette|redresse=1|Chargeur transversal du FN P90. Un magasin est la partie d'une arme à feu où les cartouches sont stockées avant d'être chambrées puis percutées. Lorsque celui-ci devient amovible, il est appelé « chargeur » . Il est donc possible d'emporter plusieurs chargeurs afin de réalimenter une arme rapidement vignette|upright=1.2|Barillet de revolver. Le barillet est un élément rotatif, abritant souvent six chambres, parfois moins pour les revolvers puissants ou de faible encombrement, parfois davantage (sept coups sur certains Mateba).
Modèle-vue-contrôleurvignette|370x370px|Interactions entre le modèle, la vue et le contrôleur. Modèle-vue-contrôleur ou MVC est un motif d'architecture logicielle destiné aux interfaces graphiques, lancé en 1978 et très populaire pour les applications web. Le motif est composé de trois types de modules ayant trois responsabilités différentes : les modèles, les vues et les contrôleurs. Un modèle (Model) contient les données à afficher ; Une vue (View) contient la présentation de l'interface graphique ; Un contrôleur (en) contient la logique concernant les actions effectuées par l'utilisateur.
