Entier naturel

Science formelle
Mathématiques
Logique mathématique
Théorie des ensembles

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 4

Algèbre élémentaire: ensembles numériques

Explore les concepts d'algèbre élémentaire liés aux ensembles numériques et aux nombres premiers, y compris la factorisation et les propriétés uniques.

Récursivité mathématique : Induction et récursivité

Couvre le principe de l'induction mathématique pour prouver que les propositions sont vraies pour tous les entiers positifs.

Propriétés de base

Couvre les propriétés de base des nombres naturels, y compris les relations d'ordre et les inverses.

Théorie de catégorie: Ensembles G et Functor de gauche

Explore la construction des ensembles G et les functeurs adjoints de gauche dans la théorie de catégorie.

Continuation analytique de la fonction zêta

Explore la continuation analytique de la fonction zêta et sa relation avec les fonctions holomorphes et les nombres naturels.

Contre-exemple au théorème d'induction

Explore un contre-exemple au principe d'induction, démontrant une propriété des nombres naturels.

Division: Propriétés et Quotient

Explore les propriétés de la division en nombres naturels et sa relation à la multiplication.

Actions libres, Ch III: Actions de groupe

Explique le concept d'actions libres et leurs propriétés de préservation dans la théorie des groupes.

Preuves et ensembles: Applications

Couvre les bases des preuves, définissant des ensembles et des applications entre les ensembles.

Ensembles et structures définis récursivement

Explore les ensembles définis récursivement, les nombres naturels, les chaînes, les fonctions et les formules de logique propositionnelle.