Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Relations, séquences et sommations

Dans cours

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

Description

Cette séance de cours couvre la définition des cordes comme des séquences finies de caractères, des preuves télescopiques, lordre lexicographique sur les cordes, les ensembles dénombrables, la cardinalité, et le concept de comptabilité. Il explore également la dénombrabilité des entiers pairs positifs, des entiers et des nombres rationnels, ainsi que la dénombrabilité des jeux de puissances. La séance de cours se termine par une discussion sur les ensembles innombrables et la diagonalisation de Cantor.

Enseignant·e

Karl Aberer

Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.

Source officielle

Proximité ontologique

Mathématiques

Logique mathématique: Théorie des ensembles

Concepts associés (32)

Ensemble dénombrable

En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent « trop » d'éléments pour être parcourus complètement par l'infinité des entiers et sont donc dits « non dénombrables ». Il existe deux usages du mot « dénombrable » en mathématiques, suivant que l'on comprend ou non parmi les ensembles dénombrables les ensembles finis, dont les éléments peuvent être numérotés par les entiers positifs inférieurs à une valeur donnée.

Ensemble infini non dénombrable

Un ensemble infini non dénombrable est un ensemble qui est « trop gros » pour être dénombrable. De manière précise, c'est un ensemble infini qui ne peut être mis en bijection avec les entiers naturels. En présence de l'axiome du choix, cela signifie que son cardinal est strictement supérieur au cardinal du dénombrable. On dit souvent simplement ensemble non dénombrable. L'ensemble des nombres réels en est un exemple. Avec l'hypothèse généralisée du continu, un ensemble des cardinalités infinies non dénombr

Cardinalité (mathématiques)

En mathématiques, la cardinalité est une notion de taille pour les ensembles. Lorsqu'un ensemble est fini, c'est-à-dire si ses éléments peuvent être listés par une suite finie, son cardinal est la longueur de cette suite, autrement dit il s'agit du nombre d'éléments de l'ensemble. En particulier, le cardinal de l'ensemble vide est zéro. La généralisation de cette notion aux ensembles infinis est fondée sur la relation d'équipotence : deux ensembles sont dits équipotents s'il existe une bijection de l'un dans l'autre.

Argument de la diagonale de Cantor

vignette|Illustration de la diagonale de Cantor En mathématiques, l'argument de la diagonale, ou argument diagonal, fut inventé par le mathématicien allemand Georg Cantor et publié en 1891. Il permit à ce dernier de donner une deuxième démonstration de la non-dénombrabilité de l'ensemble des nombres réels, beaucoup plus simple, selon Cantor lui-même, que la première qu'il avait publiée en 1874, et qui utilisait des arguments d'analyse, en particulier le théorème des segments emboîtés.

Axiom of countability

In mathematics, an axiom of countability is a property of certain mathematical objects that asserts the existence of a countable set with certain properties. Without such an axiom, such a set might not provably exist.

Afficher plus

Séances de cours associées (27)

Cardinalité des ensembles : innombrables et dénombrables

Explore les ensembles dénombrables et non dénombrables, démontrant comment déterminer la cardinalité des différents ensembles en répertoriant les éléments dans une séquence.

Cardinalité des ensembles : innombrables et dénombrables

Explore la cardinalité, les ensembles dénombrables et les exemples d'ensembles dénombrables et innombrables.

Dynamiques non linéaires : chaos et systèmes complexes

Explore les ensembles dénombrables et innombrables, l'ensemble Cantor, l'ensemble Mandelbrot et la dimension Box dans la dynamique non linéaire et les systèmes complexes.

Relations, Séquences, Somme : Cantor Diagonalisation

Couvre les ensembles dénombrables et non dénombrables, les séquences, la sommation et la preuve de Diagonalisation de Cantor.

Fractales et étranges attracteurs

Plonge dans la renormalisation, les fractales et les attracteurs étranges, explorant les propriétés des ensembles dénombrables et innombrables.

Afficher plus

Concepts associés (32)

Ensemble dénombrable

Ensemble infini non dénombrable

Cardinalité (mathématiques)

Argument de la diagonale de Cantor

Axiom of countability

Afficher plus