Méthodologie des mathématiques 2025-26


Page web concernant les 3 séances du cours de méthodologie des mathématiques, année 2025-26, données première année de Licence Mathématiques à l'Université Paris 8. Plus généralement, ce cours est donné conjointement avec B. Mariou ; voir la page Moodle du cours pour le contenu relatif à sa partie.

Résumé. Ce cours a pour objectif principal d'apporter des outils et méthodes tuiles à l'accès à des textes mathématiques de niveau universitaire, ainsi qu'à la construction et la rédaction de preuves mathématiques correctes. Une partie de cours s'intéresse également à l'accès à l'outil informatique, en lien avec les mathématiques. C'est justement l'objet des 3 séances présentées dans cette page web.

Lieu et horaire :
  1. Groupe A : salle A160, mardi de 15h00 à 18h00
  2. Groupe B : salle A160, mercredi de 09h00 à 12h00
Programme prévisionnel :
  • 10 et 11-02-2026. Autour des usages de l'outil informatique et des LLM en mathématiques : démystification et bonnes pratiques.
  • 03 et 04-03-2026. Utilisation de l'environnement de travail sous Linux.
  • 24 et 25-03-2026. Une initiation à la rédaction de documents scientifique en LaTeX.
Les documents de cours : Les documents de TP :
  • Séance 1. [sujet 1] À rendre à la fin de la séance.
  • Séance 2. [sujet 2] À rendre à la fin de la séance.