Langages formels : Concepts

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Page 3 sur 3

Produit cartésien en algèbre linéaire

Explore le produit cartésien en algèbre linéaire et la méthode d'induction pour prouver des propositions.

Régularité Lemmas et théorèmes de densité

Explore les lemmas de régularité et les théorèmes de densité pour le partitionnement des graphes et l'identification des structures.

Groupes et sous-groupes : Définitions, Théorèmes et Morphismes

Couvre les concepts fondamentaux des groupes et sous-groupes, y compris les définitions, les théorèmes et les morphismes.

Catégories

Présente les catégories comme des collections d'objets avec des morphismes et des morphismes d'identité.

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.

Cohomologie Real Projective Space

Couvre la cohomologie dans les espaces projectifs réels, en se concentrant sur les propriétés associatives et les structures algébriques.

Raisonnement automatisé : vérification formelle avec LISA

Examine la vérification formelle à l'aide de l'assistant d'épreuve LISA et du vérificateur d'équivalence OCBSL.

Nombres naturels

Couvre le concept de nombres naturels, y compris des propriétés telles que la commutativité et l'associativité.

Théorie de groupe

Couvre les bases de la théorie des groupes, y compris les ensembles, les applications et les exemples comme les permutations et les rotations.

Quasi-Catégories: Séance d'apprentissage actif

Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.