Passer au contenu principal
Graph
Search
fr
|
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Séance de cours
Langages formels : Concepts
Graph Chatbot
Séances de cours associées (30)
Précédent
Page 2 sur 3
Suivant
Courbes elliptiques : structure de groupe et isomorphisme
Explore la structure du groupe et l'isomorphisme des courbes elliptiques, y compris les inverses, l'associativité et la compactification du tore.
Finite Automata: Récapitulation
Couvre les fondamentaux des automates finis et des langues formelles.
Produit cartésien
Couvre le concept du produit cartésien, mettant l'accent sur l'ordre des éléments en paires.
Limites et limites : deux exemples
Se concentre sur les constructions pushout et pullback dans les ensembles, illustrant les limites et les limites avec des exemples explicites.
Comparaison d'objets : Comparable vs Comparator
Couvre les concepts d'interfaces Comparable et Comparator en Java, en expliquant comment les classes implémentent ces interfaces pour permettre la comparaison d'objets.
Propriétés de levage et catégories de modèles
Couvre l'étude des propriétés de levage dans les catégories, en mettant l'accent sur les propriétés de levage à gauche et à droite.
Deux définitions de l'action du groupe
Explorer deux définitions de l'action de groupe sur un ensemble, en mettant l'accent sur les propriétés et les applications.
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.
Groupes de commutation: fonction totient d'Euler
Explore les groupes commutatifs, la fonction Totient d'Euler et les produits cartésiens en théorie de groupe.
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.