Séances de cours associées à Primitive recursive arithmetic

Équations polynomiales : Détermination des coefficients

Couvre le processus de détermination des coefficients dans les équations polynômes.

Couvertures dérivant des intégrales avec des paramètres et leurs dérivés, y compris les cas spéciaux et les preuves.

Offre un tutoriel sur Coq, couvrant les définitions inductives, les fonctions récursives, les propositions, les théorèmes et les tactiques.

Récursion et induction : comprendre les preuves mathématiques

Explore la récursion et l'induction pour les preuves mathématiques à travers des algorithmes et des fonctions récursifs.

Équations différentielles : solutions et méthodes générales

Couvre la résolution des équations différentielles inhomogènes linéaires et la recherche de leurs solutions générales en utilisant la méthode de variation des constantes.