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

Concept

Dedekind-infinite set

Séances de cours associées (28)

Théorie de calcul : problèmes de comptage et de décision

Explore le comptage des ensembles infinis et les problèmes de décision, montrant les limites du calcul dans la résolution de certains problèmes indécis.

Les chaînes de Markov : définition et exemples

Couvre la définition et les propriétés des chaînes de Markov, y compris la matrice de transition et des exemples.

Théorie quantique des champs : Intégrales du chemin

Explore les intégrales de chemin dans la théorie quantique des champs, en mettant l'accent sur la signification de la rotation de Wick et le cas classique.

Comptage avancé : Inclusion-Exclusion

Couvre le principe d'inclusion-exclusion pour les ensembles et introduit les dérangements.

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Traitement des flux: Systèmes réactifs de programmation

Déplacez-vous dans le traitement des flux, ses objectifs, le lien avec le Manifeste Réactif, les défis et le traitement asynchrone.

Générer des fonctions: Comptage avancé

Couvre la définition des fonctions génératrices et leur application dans la résolution des relations de récurrence.

Cardinalité des ensembles : innombrables et dénombrables

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

Le groupe de classe discriminant et idéal en mathématiques

Explore le discriminant dans les matrices, les groupes de classes idéaux et les intégrations optimales en mathématiques.

Une conjecture d'Erdös : preuve de Moreira, Richter et Robertson

Présente une courte preuve d'une conjecture d'Erdös, explorant des questions connexes et une preuve détaillée de la proposition.

Calcul avec des séquences infinies

Introduit des listes paresseuses pour calculer des séquences infinies comme les nombres premiers.

Composants Shell dans les espaces de paramètres méromorphes

Explore les composants de la coquille dans les plans de paramètres transcendantaux et attire les cycles.

Séquences infinies: Paresse

Couvre les listes paresseuses, les séquences infinies, les nombres premiers et les défis de traitement des listes.

Bases de comptage : Théorie de l'ensemble et permutations

Couvre les principales règles de comptage des objets combinatoires et introduit diverses techniques de comptage.

Énumérabilité récursive: Machines de Turing et langages indécidables

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.

Ideal Class Relations de groupe

Couvre les relations entre le groupe de classe idéal et les idéaux fractionnaires appropriés.

Induction mathématique: bases et applications

Introduit des principes et des applications d'induction mathématique, y compris les inégalités, la divisibilité, les sous-ensembles et l'induction forte.

Applications polynomiales: Calculs combinatoires

Déplacez-vous dans l'utilisation des polynômes pour les calculs combinatoires et explorez les opérations et les identités avec des coefficients binomiaux.

Anneaux Dedekind: Théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les anneaux Dedekind, la fermeture intégrale, la factorisation des idéaux, et Lemma de Gauss.

Analyse complexe : Série Laurent Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la série Laurent en analyse complexe, mettant l'accent sur les singularités, les résidus et le théorème de Cauchy.