Séance de cours
Quantum Machine Learning : théorie et applications
Séances de cours associées (32)
Rechercher Algorithmes: Raisons Abductives
Explore le raisonnement abducteur, les algorithmes de recherche et la recherche heuristique pour la résolution de problèmes.
Raisonnement incertain : Réseaux bayésiens
Explore le raisonnement incertain, les réseaux bayésiens et la résolution stochastique, soulignant l'importance de la logique probabiliste et de l'enlèvement.
Contre-exemple au théorème d'inductionMOOC: Analyse I
Explore un contre-exemple au principe d'induction, démontrant une propriété des nombres naturels.
Intégrales de courbes non fermées
Couvre le calcul des intégrales sur des courbes non fermées, en se concentrant sur les singularités essentielles et le calcul des résidus.
Raisonnement logique : Quiz d'analyse
Analyse un quiz sur le raisonnement logique, en discutant des réponses correctes et incorrectes.
Programmation de Thymio avec VPLMOOC: Il robot Thymio come strumento di scoperta delle scienze digitali
Explore l'utilisation de la VPL pour programmer des robots Thymio et répond aux défis des étudiants et des enseignants en programmation.
Rechercher Algorithmes: Raisons Abductives
Couvre les algorithmes de recherche, se concentrant sur le raisonnement abducteur et les stratégies de recherche heuristique.
George Boole: Logique et ordinateurs
Explore comment l'approche mathématique de George Boole a révolutionné la logique et jeté les bases de l'informatique moderne.
Programmes de vérification avec l'inox: Comment fonctionne l'inox
Explore le fonctionnement intérieur du cadre Inox, en mettant l'accent sur les transformations de vérification et de contrôle de type dépendant.
Raisonnement du programme d'aide à l'apprentissage
Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.