Alphabetthumb|Lettres de l'alphabet phénicien. Un alphabet (de alpha et bêta, les deux premières lettres de l’alphabet grec) est un système d'écriture constitué d'un ensemble de symboles dont chacun représente, par exemple, un des phonèmes d’une langue. Chacun des symboles d'un alphabet ou graphèmes, est appelé « lettre ». Dans les cas les plus simples, chaque lettre correspond à un phonème de la langue et inversement.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Latin alphabetThe Latin alphabet, also known as the Roman alphabet, is the collection of letters originally used by the ancient Romans to write the Latin language. Largely unaltered with the exception of extensions (such as diacritics), it forms the Latin script that is used to write many modern European languages, including English. With modifications, it is also used for other alphabets, such as the Vietnamese alphabet. Its modern repertoire is standardised as the ISO basic Latin alphabet.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Alphabet phénicienL'alphabet phénicien (appelé par convention alphabet protocananéen pour les inscriptions antérieures à 1200 av. J.-C.) est un ancien abjad, un alphabet consonantique non pictographique. Il était utilisé pour l'écriture des langues cananéennes et en particulier du phénicien, langue sémitique utilisée par la civilisation phénicienne. Il s'agit d'un abjad, car il ne note que les sons consonantiques (une mater lectionis a été utilisée pour certaines voyelles dans des variétés tardives).
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
F-divergenceIn probability theory, an -divergence is a function that measures the difference between two probability distributions and . Many common divergences, such as KL-divergence, Hellinger distance, and total variation distance, are special cases of -divergence. These divergences were introduced by Alfréd Rényi in the same paper where he introduced the well-known Rényi entropy. He proved that these divergences decrease in Markov processes.
Divergence de Kullback-LeiblerEn théorie des probabilités et en théorie de l'information, la divergence de Kullback-Leibler (ou divergence K-L ou encore entropie relative) est une mesure de dissimilarité entre deux distributions de probabilités. Elle doit son nom à Solomon Kullback et Richard Leibler, deux cryptanalystes américains. Selon la NSA, c'est durant les années 1950, alors qu'ils travaillaient pour cette agence, que Kullback et Leibler ont inventé cette mesure. Elle aurait d'ailleurs servi à la NSA dans son effort de cryptanalyse pour le projet Venona.
Montenegrin alphabetThe Montenegrin alphabet is the collective name given to "Abeceda" (Montenegrin Latin alphabet) and "Азбука" (Montenegrin Cyrillic alphabet), the writing systems used to write the Montenegrin language. It was adopted on 9 June 2009 by the Montenegrin Minister of Education, Sreten Škuletić and replaced the Serbian Cyrillic and Gaj's Latin alphabets in use at the time.
Divergence (statistiques)En statistiques, une divergence est une fonction ou une fonctionnelle qui mesure la dissimilarité d'une loi de probabilité par rapport à une autre. Selon le contexte, elles peuvent être définies pour des lois, des mesures positives (non-normalisées), des vecteurs (par exemple sur l'espace des paramètres si l'on considère un modèle paramétrique), ou encore des matrices. Les divergences sont analogues à des distances au carré et permettent de généraliser la notion de distance aux variétés statistiques, mais il s'agit d'une notion plus faible dans la mesure où elles ne sont en général pas symétriques et ne vérifient pas l'inégalité triangulaire.
Histoire de l'alphabet grecL’alphabet grec est, historiquement, à l'origine des alphabets modernes servant à écrire les langues européennes. Ce n’est pas une création ex nihilo, car il est dérivé des alphabets utilisés sur la côte de Phénicie, l’alphabet phénicien. Celui-ci est à proprement parler un abjad, un alphabet consonantique. Cependant, vers le , des matres lectionis y apparurent pour indiquer certaines voyelles, surtout des voyelles finales.
Alphabet cyrillique serbeL’alphabet cyrillique moderne serbe (en Српска ћирилица / Srpska ćirilica) a 30 lettres cyrilliques et chacune d’entre elles correspond à un son. L’alphabet a été réformé par Vuk Stefanović Karadžić en 1818 et devient l’écriture officielle de la Serbie en 1868. Vuk Stefanović Karadžić l’a réformé en retirant quelques lettres, pour un objectif d'unir les slaves du sud. Il a éliminé certaines lettres comme : і, ю, й, ъ, ь, щ, я et d’autres, et il a ajouté six nouvelles lettres ћ, ђ, љ, њ, ј et џ.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
IOSiOS (initialement iPhone OS) est un système d'exploitation mobile créé et développé par la société américaine Apple exclusivement pour ses produits. Il gère de nombreux appareils tels que l'iPhone, l'iPod touch et fonctionnait sur les iPad jusqu'en 2019. Il s'agit du deuxième système d'exploitation mobile le plus installé au monde, après Android. Il constitue la base de quatre autres systèmes d'exploitation : iPadOS, tvOS, watchOS et macOS.
Proofs and RefutationsProofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
Mac OS 8Mac OS 8 est le nom donné à la huitième révision majeure du système d'exploitation des ordinateurs Macintosh de la marque Apple. Pour la première fois il est nommé « Mac OS » (pour Macintosh Operating System), bien plus attrayant que les précédentes dénominations « Système » (ex. : Système 7). Apple ayant en effet décidé de rattraper les erreurs du Système 7 (à savoir : bugs à répétition avec les mises à jour 7.5, matériel non ou mal pris en charge, ...) en faisant disparaître tout ce qui avait trait à son prédécesseur.
Théorie des bandesredresse=1.5|vignette|Représentation schématique des bandes d'énergie d'un solide. représente le niveau de Fermi. thumb|upright=1.5|Animation sur le point de vue quantique sur les métaux et isolants liée à la théorie des bandes En physique de l'état solide, la théorie des bandes est une modélisation des valeurs d'énergie que peuvent prendre les électrons d'un solide à l'intérieur de celui-ci. De façon générale, ces électrons n'ont la possibilité de prendre que des valeurs d'énergie comprises dans certains intervalles, lesquels sont séparés par des bandes d'énergie interdites (ou bandes interdites).
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
Bande interditeredresse=.9|vignette|Bandes d'un semiconducteur. La bande interdite d'un matériau, ou gap, est l'intervalle, situé entre la bande de valence et la bande de conduction, dans lequel la densité d'états électroniques est nulle, de sorte qu'on n'y trouve pas de niveau d'énergie électronique. La largeur de bande interdite, ou band gap en anglais, est une caractéristique fondamentale des matériaux semiconducteurs ; souvent notée , elle est généralement exprimée en électronvolts (eV). Fichier:Band filling diagram.
