Séance de cours
Algèbre abstraite et classes de type
Séances de cours associées (28)
Preuve de l'embouteillage : stratégie
Couvre la stratégie de preuve de Borcherds, en soulignant la signification des racines simples et des vecteurs Weyl.
Fondations algorithmiques pour la certification des systèmes
Explore les défis dans la conception de systèmes avec des composants peu fiables, se concentrant sur la vérification, l'analyse limitée et la synthèse des contrôleurs.
Théorie des représentations : algèbres et homomorphismes
Couvre les objectifs et les motivations de la théorie de la représentation, en se concentrant sur les algèbres associatives et les homomorphismes.
Types de données C avancés
Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.
Réseaux de rétropropagation et de neurones
Couvre l'algorithme de rétropropagation pour la formation des réseaux neuronaux et la représentation des fonctions dans les réseaux multicouches.
Topologie d'Adeles
Couvre la topologie d'Adèles et leur relation avec les formes quadratiques, les variétés polynomiales et les propriétés de finitude.
Fondements de Scala: Modélisation et Systèmes de Type
Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.
Structures algébriques des espaces morphistes
Explore les structures algébriques des espaces de morphisme, y compris les propriétés de stabilité et les homomorphismes des anneaux injectables.
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.
Somme directe des groupes abeliens
Explore la somme directe des groupes abeliens, en mettant l'accent sur les bijections et l'unicité.