Isabelle (logiciel)The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring yet supporting explicit proof objects. Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories as well as implementations for code-generation, documentation, and specific support for a variety of formal methods.
DiamantLe diamant (//) est l'allotrope de haute pression du carbone, métastable à basses température et pression. Moins stable que le graphite et la lonsdaléite qui sont les deux autres formes de cristallisation du carbone, sa renommée en tant que minéral lui vient de ses propriétés physiques et des fortes liaisons covalentes entre ses atomes arrangés selon un système cristallin cubique. En particulier, le diamant est le matériau naturel le plus dur (avec l'indice maximal (10) sur l'échelle de Mohs) et il possède une très forte conductivité thermique.
FreeBasicFreeBasic est un compilateur libre de langage BASIC pour les plateformes DOS, Linux et Windows. Il est placé sous licence publique générale GNU et permet de créer des exécutables 32 bits dans des modes graphiques haute résolution basés sur une bibliothèque graphique incorporée. De plus, il est possible d'appeler des bibliothèques externes, telles que GTK+, GSL, SDL, Allegro, Lua, OpenGL. FreeBasic est largement compatible avec QuickBASIC, tout en apportant de nombreuses extensions.
HypothèseUne hypothèse est une proposition ou un « dit » ou une explication que l'on se contente d'énoncer sans prendre position sur son caractère véridique, c'est-à-dire sans l'affirmer ou la nier. Il s'agit donc d'une simple supposition. Une fois énoncée, une hypothèse peut être étudiée, confrontée, utilisée, discutée ou traitée de toute autre façon jugée nécessaire, par exemple dans le cadre d'une démarche expérimentale.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Formalism (philosophy of mathematics)In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess.
Asynchronous I/OIn computer science, asynchronous I/O (also non-sequential I/O) is a form of input/output processing that permits other processing to continue before the transmission has finished. A name used for asynchronous I/O in the Windows API is overlapped I/O. Input and output (I/O) operations on a computer can be extremely slow compared to the processing of data. An I/O device can incorporate mechanical devices that must physically move, such as a hard drive seeking a track to read or write; this is often orders of magnitude slower than the switching of electric current.
Classe socialeLa notion de classe sociale désigne, dans son sens le plus large, un groupe social de grande dimension (ce qui le distingue des simples professions) pris dans une hiérarchie sociale de fait et non de droit (ce qui le distingue des ordres et des castes). Si elle constitue une pièce centrale des critiques anarchiste et marxiste du capitalisme ayant tous deux pour objectif d'instaurer une société sans classes, elle ne leur est pas propre : cette notion fait même partie du lexique sociologique courant.
Hypothèse nulleEn statistiques et en économétrie, l'hypothèse nulle (symbole international : ) est une hypothèse postulant l'égalité entre des paramètres statistiques (généralement, la moyenne ou la variance) de deux échantillons dont elle fait l’hypothèse qu'ils sont pris sur des populations équivalentes. Elle est toujours testée contre une hypothèse alternative qui postule soit la différence des données (test bilatéral), soit une inégalité (plus petit que ou plus grand que) entre les données (test unilatéral).
Classe (informatique)En programmation orientée objet, la déclaration d'une classe regroupe des membres, méthodes et propriétés (attributs) communs à un ensemble d'objets. La classe déclare, d'une part, des attributs représentant l'état des objets et, d'autre part, des méthodes représentant leur comportement. Une classe représente donc une catégorie d'objets. Elle apparaît aussi comme un moule ou une usine à partir de laquelle il est possible de créer des objets ; c'est en quelque sorte une « boîte à outils » qui permet de fabriquer un objet.
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
Classe moyennevignette|L'accès à la propriété (comme l'acquisition d'une résidence) est financièrement possible pour la classe moyenne, mais reste souvent soumise à un emprunt bancaire. vignette|La société des loisirs est une idée encourageant la classe moyenne à multiplier leurs activités en opposition au temps passé à occuper un emploi. La classe moyenne désigne une classe sociale intermédiaire caractérisée par un niveau de richesse supérieur aux classes populaires (classe ouvrière et personnes en situation d'exclusion sociale) mais inférieur à celui de la classe dirigeante (élite entrepreneuriale et administrative).
