Méthodologie des mathématiques 2024-25


Page web concernant les séances du cours de méthodologie des mathématiques, année 2024-25, données par J. Lavauzelle en L1 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, vendredi de 09h00 à 12h00
  2. Groupe B : salle A160, mardi de 15h00 à 18h00
Programme prévisionnel :
  • 04 et 07-02-2025. Autour des usages de l'outil informatique et des LLM en mathématiques : démystification et bonnes pratiques.
  • 04 et 07-03-2025. Utilisation de l'environnement de travail sous Linux.
  • 08 et 11-04-2025. Une initiation à la rédaction de documents scientifique en LaTeX.
Les documents de cours : Les documents de TP :
  • Séance 1. [sujet 1] À rendre deux semaines après la date du TP.
  • Séance 2. [sujet 2] À rendre à la fin de la séance.
  • Séance 3. [sujet 3] À rendre à la fin de la séance.
Documents et liens utiles pour LaTeX :