Logic puzzleA logic puzzle is a puzzle deriving from the mathematical field of deduction. The logic puzzle was first produced by Charles Lutwidge Dodgson, who is better known under his pen name Lewis Carroll, the author of Alice's Adventures in Wonderland. In his book The Game of Logic he introduced a game to solve problems such as confirming the conclusion "Some greyhounds are not fat" from the statements "No fat creatures run well" and "Some greyhounds run well".
Débat sur les organismes génétiquement modifiésLes organismes génétiquement modifiés (OGM) provoquent de nombreux débats qui sont sortis des mondes agricole, économique et scientifique pour toucher les sphères politique, philosophique, médiatique et juridique. Les débats sur les OGM concernent trois thèmes principaux : le bien-fondé des modifications génétiques par l'être humain les processus utilisés pour créer et expérimenter des OGM l'utilité et les risques dans leur domaine d'application Les OGM sont source de grandes divergences d’opinion, qui conduisent à une absence de consensus au sein des opinions publiques nationales ; les craintes sur les risques sanitaires qu'ils pourraient générer et sur une éventuelle atteinte à la biodiversité entrent en conflit avec les avantages mis en avant des OGM.
Géométrie algorithmiquevignette|Rendu d'un cylindre à l'aide d'un programme d'ordinateur. La géométrie algorithmique est le domaine de l'algorithmique qui traite des algorithmes manipulant des concepts géométriques. La géométrie algorithmique est l'étude des algorithmes manipulant des objets géométriques. Par exemple, le problème algorithmique qui consiste, étant donné un ensemble de points dans le plan décrits par leurs coordonnées, à trouver la paire de points dont la distance est minimale est un problème d'algorithmique géométrique.
État stationnaire (économie)thumb|350px|Les ressources naturelles traversent l'économie et finissent comme des déchets et de la pollution. Une économie stationnaire ou état stationnaire est une économie dont le stock de capital physique et la taille de la population sont constants et qui ne croît pas avec le temps. Normalement, ce terme fait référence à l'économie nationale d'un pays donné, mais il peut également s'appliquer au système économique d'une ville, d'une région ou du monde entier.
Sciences numériquesLes sciences numériques (traduction de l'anglais computational sciences), autrement dénommées calcul scientifique ou informatique scientifique, ont pour objet la construction de modèles mathématiques et de méthodes d'analyse quantitative, en se basant sur l'utilisation des sciences du numérique, pour analyser et résoudre des problèmes scientifiques. Cette approche scientifique basée sur un recours massif aux modélisations informatiques et mathématiques et à la simulation se décline en : médecine numérique, biologie numérique, archéologie numérique, mécanique numérique, par exemple.
Genetically modified soybeanA genetically modified soybean is a soybean (Glycine max) that has had DNA introduced into it using genetic engineering techniques. In 1996, the first genetically modified soybean was introduced to the U.S. by Monsanto. In 2014, 90.7 million hectares of GM soybeans were planted worldwide, this is almost 82% of the total soybeans cultivation area. The genetic makeup of a soybean gives it a wide variety of uses, thus keeping it in high demand.
ArchimèdeArchimède de Syracuse (en grec ancien : / Arkhimếdês), né à Syracuse vers 287 av. J.-C. et mort en cette même ville en 212 av. J.-C., est un grand scientifique grec de Sicile (Grande-Grèce) de l'Antiquité, physicien, astronome, mathématicien et ingénieur. Bien que peu de détails de sa vie soient connus, il est considéré comme l'un des principaux scientifiques de l'Antiquité classique. Parmi ses domaines d'étude en physique, on peut citer l'hydrostatique , la mécanique statique, et l'explication du principe du levier.
Problème de la galerie d'artvignette|Un polygone simple à 43 côtés représentant une galerie d'art, et quatre caméras couvrent cette galerie. En informatique, plus précisément en géométrie algorithmique, le problème de la galerie d'art est un problème de visibilité bien étudié inspiré d'un problème réel. Il se formule comme suit : « Quel est le nombre de gardiens (ou caméras) nécessaires pour surveiller une galerie d'art, et où faut-il les placer ? » Formellement, la galerie d'art est représenté par un polygone simple et chaque gardien par un point du polygone.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Mathématiques computationnellesvignette| Une interprétation en noir et blanc de la tablette YBC 7289 de la Yale Babylonian Collection (vers 1800–1600 avant notre ère), montrant une approximation babylonienne de la racine carrée de 2 (1 24 51 10 w : sexagésimal) dans le contexte du théorème de Pythagore pour un triangle isocèle. La tablette donne également un exemple où un côté du carré est 30 et la diagonale résultante est 42 25 35 soit 42,4263888.
