Categories
Effort
Certification
Languages
Misc
L'ordinateur peut-il nous aider à résoudre des problèmes mathématiques ? Oui grâce au calcul formel ! Le calcul formel manipule des objets mathématiques abstraits, il permet de faire du calcul algébrique, de conjecturer des formules et même d'en démontrer quelques unes.
Le logiciel de calcul formel choisi pour ce cours est SAGE. C'est un logiciel très puissant, gratuit et facile à prendre en main. Il ne s'agit pas d'un cours de maths classique : le but est de vous faire manipuler des objets mathématiques, d'expérimenter, en adoptant le point de vue du calcul formel.
Plan du cours
Semaine 1 : "Premier pas avec Sage" et "Structures de contrôle"
Semaine 2 : "Suites récurrentes et preuves formelles"
Semaine 3 : "Suites récurrentes et visualisation"
Semaine 4 : "Algèbre linéaire"
Semaine 5 : "Courbes et surfaces"
Semaine 6 : "Polynômes" et "Calculs d'intégrales"
Semaine 7 : "Équations différentielles"