Stoïcismevignette|Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes. Le stoïcisme est une philosophie de l'éthique personnelle influencée par son système logique et ses vues sur le monde naturel. Selon ses enseignements, en tant qu'êtres sociaux, la voie de l’eudaimonia (, le bonheur, la prospérité) pour les êtres humains consiste à accepter le moment tel qu'il se présente, à ne pas se laisser contrôler par le désir du plaisir ni la peur de la douleur, à utiliser son esprit pour comprendre le monde et à faire sa part dans le plan de la nature, à œuvrer avec les autres et à les traiter de manière juste et équitable.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Programmation par contratLa programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles. Ces règles, appelées des assertions, forment un contrat qui précise les responsabilités entre le client et le fournisseur d'un morceau de code logiciel. C'est une méthode de programmation semi-formelle dont le but principal est de réduire le nombre de bugs dans les programmes.
Psychology of reasoningThe psychology of reasoning (also known as the cognitive science of reasoning) is the study of how people reason, often broadly defined as the process of drawing conclusions to inform how people solve problems and make decisions. It overlaps with psychology, philosophy, linguistics, cognitive science, artificial intelligence, logic, and probability theory. Psychological experiments on how humans and other animals reason have been carried out for over 100 years. An enduring question is whether or not people have the capacity to be rational.
Capability Maturity ModelLe Capability Maturity Model (CMM) (en français : modèle d'évolution des capacités) est une approche interdisciplinaire d'ingénierie des systèmes couvrant les compétences et processus techniques et managériaux. Il vise à rendre prévisibles les délais, coûts et qualité des projets, à l'origine des projets de développement logiciel. Le CMM a été créé à la demande du Département de la Défense des États-Unis par Watts Humphrey, du Software Engineering Institute de l'Université Carnegie-Mellon.
Gottlob FregeGottlob Frege (), de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne : le calcul des prédicats. Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom.
Approches fonctionnelles de la grammaireLes approches fonctionnelles de grammaire sont les approches relatives à l’étude du langage qui estiment que les fonctions linguistiques et leurs éléments sont indispensables à la compréhension du processus et de la structure d’une langue. Les approches fonctionnelles linguistiques existent puisqu’une langue est fondamentalement un outil de communication. Il semble donc évident de déduire que ces différentes structures sont mieux étudiées et comprises selon les fonctions qu’elles exercent.
Fuite de mémoireEn informatique, une fuite de mémoire est un bogue expliqué par une occupation croissante et non contrôlée ou non désirée de la taille des données résidentes en mémoire, ce qui entraine la saturation de la mémoire de l’ordinateur. Dans un programme qui stocke régulièrement de nouvelles données en mémoire, la cause la plus classique d'un tel bogue est l'absence de désallocation (de libération) de l'espace utilisé lorsque ces objets ne sont plus référencés.
Capability-based securityCapability-based security is a concept in the design of secure computing systems, one of the existing security models. A capability (known in some systems as a key) is a communicable, unforgeable token of authority. It refers to a value that references an object along with an associated set of access rights. A user program on a capability-based operating system must use a capability to access an object.
WikiLeaksWikiLeaks () est une organisation non gouvernementale sans but lucratif fondée par Julian Assange en 2006, qui publie des documents classifiés, les , provenant de sources anonymes. WikiLeaks n'est pas affiliée à Wikipédia ou à la Wikimedia Foundation. Sa raison d'être est de donner une audience aux lanceurs d'alertes et aux fuites d'information, tout en protégeant leurs sources. Plusieurs millions de documents relatifs à des scandales de corruption, d'espionnage et de violations de droits de l'homme concernant des dizaines de pays à travers le monde ont été publiés sur le site depuis sa création.
