Séances de cours associées à Raisonnement par disjonction de cas

Preuve rigoureuse des équations différentielles

Couvre la preuve rigoureuse des équations différentielles, en mettant l'accent sur la précision et la précision.

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.

Série géométrique : Convergence et applications

Explore la convergence des séries géométriques et leurs applications dans les problèmes du monde réel.

Techniques de démonstration : exemples

Couvre les techniques de preuve, y compris la preuve directe, la contradiction, les cas et le contre-exemple.

Attentes conditionnelles

Couvre l'attente conditionnelle, le théorème de Fubini, et leurs applications dans la théorie des probabilités.

Récurrence sur deux variables

Couvre les méthodes de preuve, telles que la récurrence sur deux variables et le gradient.

Homologie relative: Séquence exacte

Couvre la longue séquence exacte des groupes d'homologie relative et des complexes de chaînes.

Preuves : méthodes directes et indirectes

Couvre des exemples de preuves directes et indirectes en mathématiques.

Existence de sous-groupes Sylow

Explore la preuve de l'existence de sous-groupes Sylow en théorie de groupe.

Forte induction: méthode de preuve et application

Explore l'induction forte comme méthode de preuve et démontre son application dans la démonstration d'un théorème sur les entiers positifs.

Techniques de preuve: Direct, Contraposition, Cas

Couvre les techniques de preuve comme le direct, la contreposition et les cas avec des exemples.

Carrés moyens avec caractéristiques

Couvre le concept de moindres carrés moyens (LM) avec des fonctionnalités et des mises à jour itératives.

Algèbre linéaire: rainurage multilinéaire et déterminants

Explore l'aine multilinéaire et ses déterminants, y compris la règle de Sarrus et la preuve par induction.

Comptage des arbres étiquetés

Explore le comptage des arbres marqués à l'aide de codes et d'algorithmes Prüfer, fournissant des cartes entre les arbres et les séquences.

Statistiques multivariées: Wishart et Hotelling T2

Explore la distribution de Wishart, les propriétés des matrices de Wishart, et la distribution de T2 de Hotelling, y compris la statistique T2 de deux exemples Hotelling.

Raisonner sur les listes

Couvre les lois de la concaténation des listes, de la preuve par induction, de la transparence référentielle et de l'induction structurelle.

Relations de récurrence linéaire

Explore les relations de récurrence linéaires, y compris des exemples comme les nombres de Fibonacci et la preuve de théorèmes liés.

Algèbre linéaire : propositions et ensembles

Couvre les propositions indexées par vecteurs, les preuves par induction et les produits cartésiens des ensembles.

Formule binomiale, nombre d'Euler, infini

Couvre la formule binomiale, le nombre d'Euler et l'infini, y compris l'induction et la convergence des séquences.

Analyse réelle : Séquences et limites

Couvre les séquences réelles, l'induction, les limites et la convergence dans l'analyse mathématique.