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).
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.
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 џ.
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.
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.
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.
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.
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.
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.
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.
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).
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.
Band diagramIn solid-state physics of semiconductors, a band diagram is a diagram plotting various key electron energy levels (Fermi level and nearby energy band edges) as a function of some spatial dimension, which is often denoted x. These diagrams help to explain the operation of many kinds of semiconductor devices and to visualize how bands change with position (band bending). The bands may be coloured to distinguish level filling. A band diagram should not be confused with a band structure plot.
Simple random sampleIn statistics, a simple random sample (or SRS) is a subset of individuals (a sample) chosen from a larger set (a population) in which a subset of individuals are chosen randomly, all with the same probability. It is a process of selecting a sample in a random way. In SRS, each subset of k individuals has the same probability of being chosen for the sample as any other subset of k individuals. A simple random sample is an unbiased sampling technique. Simple random sampling is a basic type of sampling and can be a component of other more complex sampling methods.
