Séances de cours associées à Récursion et induction : comprendre les preuves mathématiques

Se concentre sur la preuve du théorème de Wayl par manipulation polynôme et induction.

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Introduction à l'analyse: comprendre les nombres réels et les preuves

Couvre les bases de l'analyse, y compris les nombres réels, les preuves, les ensembles et les opérations.

Techniques d'intégration: théorèmes et méthodes fondamentaux

Discute des techniques d'intégration, en mettant l'accent sur l'intégration par parties et les méthodes de substitution, avec des exemples pratiques et des idées théoriques.

Q en tant que sous-ensemble de R

Explique le concept de Q comme sous-ensemble de R et de leurs propriétés.