dm1
Texte intégral
Documents relatifs
On verra plus tard qu’en fait notre algèbre du calcul propositionnel s’identifie naturellement à l’algèbre des ouverts-fermés de l’ensemble des distribu- tions de
Un corps ordonné est un corps muni d’une relation d’ordre total < telle que la multiplication de deux nombres positifs est un nombre positif, et l’addition préserve l’ordre...
En introduisant un schéma (F s ) s∈ N < N satisfaisant des propriétés similaires à celles utilisées en cours pour montrer que l’espace de Cantor se surjecte continûment sur
Chaque joueur, à son tour, relie par un trait deux points encore non reliés, trait rouge pour le premier joueur, bleu pour le second4. Le premier joueur ayant ainsi tracé un
On appelle axiome du choix dénombrable l’énoncé suivant : tout produit dénombrable d’ensembles non vides est non vide.. Il est évidemment plus faible que l’axiome du choix et
On va définir une variante des machines RAM, les machines PRAM (Primitive Random Access Memory) et chercher à comprendre ce qu’elles calculent... Une telle fonction est
Le soin accordé à la rédaction sera pris en compte dans l’évaluation de la copie..
Montrer qu’à homéomorphisme près, l’espace de Baire est le seul espace polonais zéro- dimensionel non vide dont les compacts sont d’intérieur vide.. On pourra s’inspirer de
