Ressources et cours complet
Progression
#Ressources et cours complet
Pourquoi ces liens: donner une base formelle solide aux raisonnements et modèles de l’informatique. Comment s’en servir: lire un module, faire les exercices, puis vérifier les solutions et formaliser vos preuves.
- Cours complet (Markdown) hébergé dans le dépôt: /cours/maths-discretes-base/INDEX.md
- Syllabus: /cours/maths-discretes-base/README.md
- Progression: /cours/maths-discretes-base/plan.md
Conseil: gardez un carnet d’égalités/implications usuelles (De Morgan, contraposée) et de schémas de preuve qu’on réutilise.