Séances de cours associées à Programmation logique inductive

Propositions inductives : Techniques de raisonnement et d’évaluation

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Quantum Machine Learning : théorie et applications

Explore l'apprentissage automatique quantique, les représentations des molécules, la régression du noyau et l'interaction entre la physique et l'apprentissage automatique.

Polymorphisme dans Coq: Structures de données et fonctions

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Introduction à Coq: Expressions arithmétiques et évaluateurs

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.