Temps d'arrêtvignette|Temps d'impact et temps d'arrêt de trois échantillons de mouvement brownien. En théorie des probabilités, en particulier dans l'étude des processus stochastiques, un temps d'arrêt (également appelé temps d'arrêt optionnel, et correspondant à un temps de Markov ou moment de Markov défini) est une variable aléatoire dont la valeur est interprétée comme le moment auquel le comportement d'un processus stochastique donné présente un certain intérêt.
Martingale (calcul stochastique)Une martingale est une séquence de variables aléatoires (autrement dit un processus stochastique), telles que l'espérance mathématique à l'instant , conditionnellement à l'information disponible à un moment préalable , notée , vaut (avec ). En particulier, dans un processus discret (t entier), . Une martingale peut modéliser les gains / pertes accumulés par un joueur au cours de répétitions indépendantes d'un jeu de hasard à espérance nulle (même si le joueur s'autorise à modifier sa mise en fonction des gains passés), d'où l'emprunt du terme martingale au monde du jeu.
Filtration (mathématiques)En mathématiques, une filtration sur un ensemble est une suite de parties croissante ou décroissante pour l'inclusion. Un espace filtré est un ensemble muni d'une filtration compatible avec sa structure. Les filtrations sont utilisées notamment : en algèbre pour ramener par exemple l'étude d'un espace vectoriel de dimension infinie à celle d'une suite d'espaces de dimension finie, en topologie pour décomposer un espace topologique à l'aide de CW-complexes finis, en statistique exploratoire pour modéliser un dendogramme de données brutes, y appliquer la notion d'homologie persistante, et ouvrir la voie à l'analyse topologique de données mais aussi en théorie des probabilités pour définir entre autres certaines classes de processus stochastiques, comme les martingales, ou encore les chaines de Markov.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Doob's martingale convergence theoremsIn mathematics specifically, in the theory of stochastic processes Doob's martingale convergence theorems are a collection of results on the limits of supermartingales, named after the American mathematician Joseph L. Doob. Informally, the martingale convergence theorem typically refers to the result that any supermartingale satisfying a certain boundedness condition must converge.
Théorèmes d'incomplétude de GödelLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.
Martingale localeDans la théorie des processus stochastiques, une martingale locale est un processus stochastique qui est localement une martingale, ce qui signifie qu'il y a une suite de localisation de temps d'arrêt et que le processus arrêté est une martingale. Soi un espace de probabilité filtré et un processus -adapté avec (zéro à zéro). S'il existe une suite non décroissante de temps d'arrêt de telle que et pour tout le processus arrêté défini par soit une martingale, alors on appelle une martingale locale et on écrit .
Conjecture de SyracuseLa conjecture de Syracuse, encore appelée conjecture de Collatz, conjecture d'Ulam, conjecture tchèque ou problème 3x + 1, est l'hypothèse mathématique selon laquelle la suite de Syracuse de n'importe quel entier strictement positif atteint 1. Une suite de Syracuse est une suite d'entiers naturels définie de la manière suivante : on part d'un nombre entier strictement positif ; s’il est pair, on le divise par 2 ; s’il est impair, on le multiplie par 3 et l'on ajoute 1.
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Lexical definitionThe lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.
Intension et extensionEn logique, l’intension (ou « compréhension ») et l’extension sont deux façons de définir un concept. L'intension d'un concept est sa définition. Par exemple, l'intension de « chat » est : « animal à quatre pattes de la famille des félins ». L'extension est l'ensemble des choses auxquelles l'intension (la définition) s'applique. Par exemple : mon chat, le chat de mon voisin, les chats siamois, etc.
MS-DOSMS-DOS (abréviation de Microsoft Disk Operating System) est le système d'exploitation de type DOS développé par Microsoft pour l'IBM PC d'abord, puis les compatibles PC. Il s'agit d'un système fonctionnant en mode réel, monotâche et mono-utilisateur, et équipé par défaut d'une interface en ligne de commande. Des années 1980 au début des années 1990, il a été le système le plus utilisé sur compatible PC, avant d'être progressivement remplacé par des systèmes d'exploitation plus évolués, notamment Windows.
Saison 2018 des Cardinals de Saint-LouisThe 2018 St. Louis Cardinals season was the 137th for the St. Louis Cardinals of Major League Baseball (MLB), a franchise in St. Louis, Missouri. It was the 127th season for the Cardinals in the National League (NL), and their 13th at Busch Stadium III. Forbes ranked the Cardinals as the seventh-highest valued team of the 30 teams in 2017 for its 1.9billionvaluation(+6319 million revenue, and $40 million operating income. The Cardinals also had baseball's second-highest local television rating, averaging 7. Energy in CaliforniaEnergy in California is a major area of the economy of California. California is the state with the largest population and the largest economy in the United States. It is second in energy consumption after Texas. , per capita consumption was the fourth-lowest in the United States partially because of the mild climate and energy efficiency programs. Energy consumption in California is dominated by transportation, due to the high number of motor vehicles and long commutes.
Fully ChargedFully Charged (also called The Fully Charged Show) is a YouTube channel, podcast, website, and live event focusing on electric vehicles and renewable energy founded by writer, broadcaster and actor Robert Llewellyn. Llewellyn would later become Joint CEO of Fully Charged with Dan Caesar and Caesar also presents many of the episodes of the show. They are both joined by many regular presenters along with guest presenters from many different countries.
Numérotation ISO des semainesvignette|redresse=2|Calendrier de l'année 2017 avec numérotation des semaines selon la norme ISO 8601. Le dimanche janvier 2017 est le dernier jour de la semaine 52 de l'année 2016 (2016-S52-7). Le système de numérotation ISO des semaines est un système de calendrier faisant partie de la norme d’horodatage ISO 8601. Le système est principalement utilisé par les gouvernements et entreprises pour baser également les années comptables et fiscales et la planification de projets à cycles hebdomadaires de travail, ainsi que pour le paiement des salaires ou des loyers (quand ceux-ci sont versés hebdomadairement).
Algorithme du jour du Jugement derniervignette|John H Conway en 2005 L’algorithme de jour du Jugement dernier, ou méthode des jours pivots, ou méthode du clavedi, ou enfin méthode de Conway (à distinguer de la méthode de Conway pour le calcul de la date de Pâques), Doomsday rule ou Doomsday algorithm, est une méthode de calcul du jour de la semaine à une date précise. Elle fournit un calendrier perpétuel pour le calendrier grégorien et pour le calendrier julien.
Détermination du jour de la semaineLa détermination du jour de la semaine est un algorithme utilisé pour déterminer le jour de la semaine (lundi, mardi, mercredi, jeudi, vendredi, samedi, ou dimanche) connaissant la date, basé sur la notion mathématique de congruence. Il est aussi appelé congruence de Zeller, du mathématicien allemand Christian Zeller. L'année tropique moyenne (qui est désormais définie comme étant le temps nécessaire pour que la longitude écliptique du Soleil augmente de 360° – et non plus comme étant le temps séparant deux équinoxes de printemps successifs), donnée pour l'an 2000 par Pierre Bretagnon, astronome à l'Observatoire de Paris, compte , , et , soit .
Petits livres de notes d'Anna Magdalena Bachthumb|250px|right|Clavier-Büchlein vor Anna Magdalena Bach in ANNO 1722 Les Petits livres de notes d'Anna Magdalena Bach (en allemand Notenbüchlein für Anna Magdalena Bach) sont des cahiers de musique (Klavierbüchlein) rédigés par Johann Sebastian Bach (Jean-Sébastien Bach) et des membres de sa famille. Le premier cahier commencé à Cöthen en 1720 est rédigé à l'intention de son fils aîné Wilhelm Friedemann Bach et comporte les versions originales des Inventions, Sinfonia(s) et quelques préludes du Clavier bien tempéré.
Alfred and EmilyAlfred and Emily is a book by Doris Lessing in a new hybrid form. Part fiction, part notebook, part memoir, it was first published in 2008. The book is based on the lives of Lessing's parents. Part one is a novella, a fictional portrait of how her parents' lives might have been without the interruption of the First World War. Part two is a retelling of how her parents' lives really developed. The novella begins in England in 1902, when Alfred and Emily meet at a cricket match.
