Séance de cours
Le groupe de classe discriminant et idéal en mathématiques
Séances de cours associées (31)
Tutoriel court Coq
Offre un tutoriel sur Coq, couvrant les définitions inductives, les fonctions récursives, les propositions, les théorèmes et les tactiques.
Test d'hypothèse binaire
Par Emre Telatar explore les tests d'hypothèses binaires et la conception de règles de décision.
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.
Formes quadratiques et opérateurs Hecke
Explore les formes quadratiques, les opérateurs Hecke, les valeurs propres et les fonctions supportées de manière compacte dans la théorie des matrices.
Logique principale : quantificateurs et formulaires normaux
Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Induction mathématique: bases et applications
Introduit des principes et des applications d'induction mathématique, y compris les inégalités, la divisibilité, les sous-ensembles et l'induction forte.
Anneaux et champs : Idées principales et homomorphismes de l'anneau
Couvre les idéaux principaux, les homomorphismes annulaires, et plus dans les anneaux et les champs commutatifs.
Contre-exemple de l'état de baseMOOC: Analyse I
Explore le contre-exemple de base de l'insuffisance d'une condition pour la représentation en série.
Variational Calculus: Quasicovexity
Explore la quasi-covexité dans le calcul variationnel, en discutant des conditions nécessaires et des implications sur l'optimisation fonctionnelle.
Martingales et Brownian Motion: Trois Théorèmes d'arrêt
Explore trois théorèmes d'arrêt dans martingales et Brownian motion.