Optimisation combinatoireL’optimisation combinatoire, (sous-ensemble à nombre de solutions finies de l'optimisation discrète), est une branche de l'optimisation en mathématiques appliquées et en informatique, également liée à la recherche opérationnelle, l'algorithmique et la théorie de la complexité. Dans sa forme la plus générale, un problème d'optimisation combinatoire (sous-ensemble à nombre de solutions finies de l'optimisation discrète) consiste à trouver dans un ensemble discret un parmi les meilleurs sous-ensembles (ou solutions) réalisables, la notion de meilleure solution étant définie par une fonction objectif.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Eigenvector centralityIn graph theory, eigenvector centrality (also called eigencentrality or prestige score) is a measure of the influence of a node in a network. Relative scores are assigned to all nodes in the network based on the concept that connections to high-scoring nodes contribute more to the score of the node in question than equal connections to low-scoring nodes. A high eigenvector score means that a node is connected to many nodes who themselves have high scores. Google's PageRank and the Katz centrality are variants of the eigenvector centrality.
CombinatoireEn mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements. La combinatoire est en fait présente dans toute l'antiquité en Inde et en Chine. Donald Knuth, dans le volume 4A « Combinatorial Algorithms » de The Art of Computer Programming parle de la génération de n-uplets ; il dit que la génération de motifs combinatoires «a commencé alors que la civilisation elle-même prenait forme» (« began as civilization itself was taking shape»).
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Centralitéthumb|right|300px|Exemples de A) Centralité d'intermédiarité, B) Centralité de proximité, C) Centralité de vecteur propre, D) Centralité de degré, E) Centralité harmonique et F) Centralité de Katz sur le même graphe. En théorie des graphes et en théorie des réseaux, les indicateurs de centralité sont des mesures censées capturer la notion d'importance dans un graphe, en identifiant les sommets les plus significatifs.
NéerlandaisLe néerlandais (Nederlands, prononciation ) est, avec ses 25 millions de locuteurs maternels, la troisième langue germanique après l'anglais et l'allemand. Elle est langue officielle aux Pays-Bas et dans ses territoires d'outre mer, en Belgique et au Suriname. Elle est enfin langue régionale en France. Confinée dans l'actuel Westhoek français après une importante extension médiévale, elle a toutefois quasiment disparu de la Flandre française au cours du .
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Thiolredresse=.67|vignette|Formule générique des thiols avec le groupe sulfhydryle en bleu. Un thiol () est un composé organosulfuré de formule générique R–SH, où R est un radical organique (alkyle ou aryle, par exemple) et –SH le groupe sulfhydryle, analogue au groupe hydroxyle –OH des alcools en remplaçant l'atome d'oxygène par un atome de soufre. Les thiols ont été découverts par William Christopher Zeise, qui les avait nommés mercaptans , du latin mercurius captans, « qui capte le mercure », en raison de la tendance des thiolates à former des liaisons très fortes avec le mercure.
AfrikaansLafrikaans () est une langue germanique issue du néerlandais, parlée en Afrique du Sud, en Namibie, et dans une moindre mesure au Botswana et au Zimbabwe, notamment par les peuples de langue afrikaans dont les Afrikaners. Le mot afrikaans signifie « africain » en néerlandais. L'afrikaans est originellement dérivé de la langue néerlandaise parlée par les colons néerlandais (plus précisément du dialecte hollandais de Hollande-Méridionale) débarqués en Afrique du Sud.
Graphe nulEn mathématiques, plus spécialement en théorie des graphes, un graphe nul désigne soit un graphe d'ordre zéro (i.e. sans sommets), soit un graphe avec sommets mais sans arêtes (on parle aussi dans ce dernier cas de graphe vide). Lorsqu'un graphe nul contient des sommets tous isolés, on le note où représente le nombre de sommets du graphe. La taille (i.e. le nombre d'arêtes ou d'arcs) d'un graphe nul est toujours zéro. L'ordre (i.e. le nombre de sommets) d'un graphe nul n'est pas nécessairement zéro.
LuxembourgeoisLe luxembourgeois (autonyme : Lëtzebuergesch) est une langue indo-européenne de la famille des langues germaniques parlée essentiellement au Luxembourg, ainsi que dans quelques communes limitrophes en Belgique, en France et en Allemagne. Le luxembourgeois est la seule langue nationale des Luxembourgeois. Les langues administratives du pays sont le luxembourgeois, le français et l'allemand (première langue d'alphabétisation). Comme décrit dans la loi, le Luxembourg n'a pas de langue officielle.
