Séance de cours
Systèmes logiques : représentations et arithmétique
Séances de cours associées (33)
Sémantique spatiale vectorielle (et récupération d'information)
Explore le modèle Vector Space, le sac de mots, tf-idf, cosine similarité, Okapi BM25, et la précision et le rappel dans la récupération d'information.
Algorithme de Shor: Détails du circuit
Couvre les détails du circuit d'algorithme de Shor et sa complexité.
Théories du mensonge et algèbre de groupe
Couvre les théorèmes de Lie, l'algèbre de groupe, le théorème d'Ado et les symétries spatio-temporelles.
Physique avancée: Introduction à la mécanique
Présente les fondamentaux de la physique avancée, mettant l'accent sur la mécanique et les développements historiques d'Aristote à Newton.
Générateurs de groupes
Explique le concept de générateurs de groupes et leurs propriétés mathématiques.
Optique quantique : États pressés et représentation en Quadrature
Explore les états pressés, la représentation quadrature, la fonction P et la fonction Wigner en optique quantique.
Algèbre de groupe : le théorème de Maschke
Explore le théorème de Wedderburn, les algèbres de groupe et le théorème de Maschke dans le contexte des algèbres simples de dimension finie et de leurs endomorphismes.
Signaux : analyse et synthèse
Présente la typologie des signaux et l'analyse des signaux déterministes.
Compter sur les doigts
Compare différents systèmes de comptage de doigts et introduit la représentation binaire.
Représentation de l'information : nombres et opérations
Couvre la représentation des nombres à l'aide de modèles binaires et d'opérations de calcul.