Séance de cours
Récurrence: Induction
Séances de cours associées (33)
Induction pour les solvants SMT
Explore les techniques d'induction dans les résolveurs SMT, en mettant l'accent sur l'implémentation de CVC4 et la performance compétitive avec d'autres proverbes.
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.
Série inductive
Couvre le concept de séries inductives et leurs conditions de convergence.
Maths Puzzle: La famille de l'ours et le miel
Présente un puzzle mathématique impliquant une famille d'ours et la consommation de miel.
Algèbre linéaire : fonctions injectives
Explore les fonctions d'injection en algèbre linéaire, démontrant comment prouver l'injectivité étape par étape.
Propositions et preuves
Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.
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.
Preuves formelles: vérification des invariants et des modèles liés
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
Mécanique quantique: mesure
Couvre les axiomes de la mécanique quantique et la mesure des quantités dans un système quantique.
Plan séparation
Explore l'axiome de la séparation du plan en deux demi-plans et le concept de points intérieurs.