Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
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.
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.
Caractéristique d'EulerEn mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace. Elle est communément notée χ. La caractéristique d'Euler fut définie à l'origine pour les polyèdres et fut utilisée pour démontrer divers théorèmes les concernant, incluant la classification des solides de Platon.
Cône (photorécepteur)thumb|Cônes et bâtonnets de la rétine en microscopie électronique (fausses couleurs). Les cônes sont des photorécepteurs situés dans la rétine, transformant le signal électromagnétique de la lumière en signal nerveux permettant la vision photopique diurne. La vision scotopique nocturne est assurée par les bâtonnets. vignette|Densité des cônes en bleu et des bâtonnets en noir (en milliers par mm) par rapport à la distance au centre de la fovéa (en degrés). La zone entre pointillés est la papille optique, ou point aveugle, sans photorécepteurs.
Cone dystrophyA cone dystrophy is an inherited ocular disorder characterized by the loss of cone cells, the photoreceptors responsible for both central and color vision. The most common symptoms of cone dystrophy are vision loss (age of onset ranging from the late teens to the sixties), sensitivity to bright lights, and poor color vision. Therefore, patients see better at dusk. Visual acuity usually deteriorates gradually, but it can deteriorate rapidly to 20/200; later, in more severe cases, it drops to "counting fingers" vision.
Polyèdre uniforme étoiléEn géométrie, un polyèdre uniforme non convexe, ou polyèdre étoilé uniforme, est un polyèdre uniforme auto-coupant. Il peut contenir soit des faces polygonales non convexes, des figures de sommet non convexes ou les deux. Dans l'ensemble complet des 53 polyèdres étoilés uniformes non prismatiques, il y a les 4 réguliers, appelés les solides de Kepler-Poinsot. Il existe aussi deux ensembles infinis de prismes étoilés uniformes et des antiprismes étoilés uniformes. Ici, nous voyons deux exemples de polyèdres
PolyèdreUn polyèdre est une forme géométrique à trois dimensions (un solide géométrique) ayant des faces planes polygonales qui se rencontrent selon des segments de droite qu'on appelle arêtes. Le mot polyèdre, signifiant à plusieurs faces, provient des racines grecques πολύς (polys), « beaucoup » et ἕδρα (hedra), « base », « siège » ou « face ». Un polyèdre est un solide dont toutes les faces sont des polygones. Les côtés de ces polygones sont appelés arêtes. Les extrémités des arêtes sont des points appelés sommets.
Note scolaireUne note scolaire est une évaluation des travaux effectués par un élève. Une note peut être soit un nombre (sur une échelle de 20 en France, au Sénégal et en Tunisie, sur 10 en Belgique, sur 6 en Suisse, sur 100 en Amérique{etc}), soit une lettre de A à F aux États-Unis ou au Canada ou A à NA dans quelques pays. L'évaluation peut aussi être faite sous forme de commentaires (comme : faible, mauvais, passable, assez bien, bien, très bien, excellent, "satisfaisant " {etc}).
Grade histologiquethumb|300px|right|Grades de Gleason En pathologie et en cancérologie, le grade histologique est une mesure du progrès d'une tumeur. Le grade histopronostique tente de quantifier le degré de malignité de la tumeur. Il établit un score en fonction du degré d'anomalies nucléaires et cytoplasmiques (anomalies cytonucléaires), de la différenciation cellulaire, du nombre de mitoses. Le caractère du stroma tumoral, l'existence d'invasions vasculaires ou d'invasion périneurale, de zones de nécrose tumorale, ont également leur importance.
Polyèdre semi-réguliervignette|Le cuboctaèdre, un des 13 solides d'Archimède. Un polyèdre est dit semi-régulier si ses faces sont des polygones réguliers, et si son groupe de symétrie est transitif sur ses sommets. Ou au moins, c'est ce qui découle de la définition de 1900 de Gosset sur le polytope semi-régulier le plus général. Ces polyèdres incluent : Les treize solides d'Archimède. La série infinie des prismes convexes. La série infinie des antiprismes convexes (leur nature semi-régulière fut observée en premier par Kepler).
Polyèdre étoiléEn géométrie, le terme polyèdre étoilé ne semble pas avoir été défini proprement, même si l'objet est pensé dans le sens commun. On peut dire qu'un polyèdre étoilé est un polyèdre qui possède une certaine qualité répétitive de non-convexité lui donnant l'aspect d'une étoile. Il existe deux espèces générales de polyèdres étoilés : Les polyèdres qui s'auto-intersectent d'une manière répétitive. Les polyèdres concaves d'une sorte particulière qui alternent les parties concaves et convexes ou les sommets de selle d'une manière répétitive.
