Catégorie dérivéeLa catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.
Théorie du choix rationnelLa théorie du choix rationnel (en anglais « rational choice theory », prononcé 'ræʃənl tʃɔɪs thēərē), ou « décision rationnelle », en microéconomie contemporaine, regroupe plusieurs théories de l'action qui, de manière générale, attribuent aux agents un comportement rationnel, lequel, en raison de préférences, dénote une recherche du plus grand profit pour le moindre mal. Elles ont été développées en économie (où elles constituent un paradigme dominant), en sociologie (où elles sont en concurrence avec d'autres paradigmes) et en psychologie, notamment en criminologie.
Pragmatic theory of truthA pragmatic theory of truth is a theory of truth within the philosophies of pragmatism and pragmaticism. Pragmatic theories of truth were first posited by Charles Sanders Peirce, William James, and John Dewey. The common features of these theories are a reliance on the pragmatic maxim as a means of clarifying the meanings of difficult concepts such as truth; and an emphasis on the fact that belief, certainty, knowledge, or truth is the result of an inquiry. Pragmatic theories of truth developed from the earlier ideas of ancient philosophy, the Scholastics.
PenséeAu sens large du terme, penser est une activité psychique, consciente dans son ensemble (mais parfois incontrôlée), qui recouvre les processus par lesquels sont élaborées, en réponse aux perceptions venues des sens, la synthèse des images et des sensations réelles et imaginaires qui produisent les concepts que l'être humain associe pour apprendre, créer, agir et communiquer dans la réalité. Penser vient du bas latin « pensare » (en latin classique : peser, comparer), fréquentatif du verbe « pendere » : peser.
Pragmatismethumb|right|Les pères fondateurs du pragmatisme de haut en bas et de gauche à droite : Charles Sanders Peirce, William James, John Dewey, George Herbert Mead. Le pragmatisme est une école philosophique américaine fondée par Charles Sanders Peirce à la fin du . La thèse principale de Peirce est que le sens d'une expression réside dans ses conséquences pratiques. Les principaux membres ultérieurs de l'école pragmatiste sont William James et John Dewey, James ayant popularisé le mot pragmatisme grâce à un cycle de conférences qui sera édité en 1907 dans un ouvrage intitulé Le Pragmatisme : Un nouveau nom pour d'anciennes manières de penser.
Prise de décisionvignette|Lorsqu'il s'agit de prendre une décision, il est bon de savoir que des situations différentes nécessitent une approche différente. Il n'y a pas de façon unique de penser/d'agir. la plupart du temps, nous errons dans l'espace du désordre, sans savoir ce qui se passe, sans savoir comment agir. Dans ce cas, nous avons tendance à entrer dans l'espace avec lequel nous nous sentons le plus à l'aise et à commencer à agir. Lorsque vous avez trouvé le Saint Graal, la solution unique pour chaque problème, vous feriez mieux de faire attention.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Conception participativeLa conception participative, ou coconception, que l'on retrouve couramment sous le terme codesign, co-design et design participatif, est une méthode de travail qui implique l'utilisateur final, lors d'un processus de développement et de conception d'un produit ou d'un service. Il s'agit donc d'une méthode de conception centrée sur l'utilisateur où l'accent est mis sur le rôle actif des utilisateurs.
Systems modelingSystems modeling or system modeling is the interdisciplinary study of the use of models to conceptualize and construct systems in business and IT development. A common type of systems modeling is function modeling, with specific techniques such as the Functional Flow Block Diagram and IDEF0. These models can be extended using functional decomposition, and can be linked to requirements models for further systems partition.
Basic (langage)Basic ou basic (de l'acronyme anglais BASIC pour Beginner's All-purpose Symbolic Instruction Code est littéralement « code d'instruction symbolique multiusage du débutant »), fait partie d'une famille de langages de programmation de haut niveau ayant pour caractéristique leur facilité d'utilisation. La première version est présentée par John George Kemeny et Thomas Eugene Kurtz au Dartmouth College en 1964. À l’époque, la quasi-totalité des ordinateurs exigeait l’écriture de logiciels personnalisés, que seuls les scientifiques et les mathématiciens avaient tendance à apprendre.
