Séance de cours
Chaînes Markov: Applications et chaînes couplées
Séances de cours associées (44)
Chaînes et algorithmes de Markov
Couvre les chaînes de Markov et leurs applications dans les algorithmes, en se concentrant sur l'échantillonnage Markov Chain Monte Carlo et l'algorithme Metropolis-Hastings.
Groupes fondamentaux
Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.
NISQ et IBM Q
Explore les appareils NISQ et IBM Q, couvrant les circuits quantiques bruyants, les technologies qubit et le développement d'algorithmes quantiques.
Chaînes Markov et applications Algo
Couvre les chaînes de Markov, l'algorithme Metropolis, la dynamique de Glauber et la dynamique des bains de chaleur.
Matrice de densité quantique
Explore la matrice de densité quantique, les états mixtes, l'entropie von Neumann et les mesures quantiques.
Information quantique : matrices de densité
Explore les matrices de densité, la représentation des états quantiques et l'entropie dans l'information quantique.
Coq: Introduction
Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Attente conditionnelle : Grouper le lemme
Explore l'attente conditionnelle, le lemme de regroupement et la loi des grands nombres.
Entropie quantique
Couvre l'entropie quantique, les matrices de densité et l'enchevêtrement dans la théorie de l'information quantique.
Concept de preuve en mathématiques
Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.