Séances de cours associées à Induction forte: le pouvoir de la preuve mathématique

Couvre le théorème de Dognion, expliquant la preuve des problèmes irréalisables de programmation entière.

Couvre la théorie de la dimension des anneaux, y compris l'additivité de la dimension et de la hauteur, Hauptidealsatz de Krull, et la hauteur des intersections générales complètes.

Produit cartésien en algèbre linéaire

Explore le produit cartésien en algèbre linéaire et la méthode d'induction pour prouver des propositions.

Techniques de démonstration : exemples

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

Potentiel newtonien : Domaines liés

Explore le potentiel newtonien dans des domaines délimités, en discutant de ses conditions et de ses propriétés.