MOOC "Calcul formel"

6 semaines - mars 2016

Université Lille 1
  • Cité Scientifique
    59655 Villeneuve d'Ascq Cedex
    France
    Tél.: 33 (0) 3 20 43 43 43

MOOC

Une SAGE introduction au calcul formel

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.

Ce cours dure 6 semaines. Il nécessite de 2 à 4 heures de travail par semaine. Le cours est proposé sous la forme de vidéos, repris dans un polycopié détaillé. Toutes les ressources proposées sont libres et gratuites.

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" et "Calculs d'intégrales"
  • Semaine 6 : "Polynômes" et "Équations différentielles"

Niveau : Universitaire

Sujets :
Mathématiques

Mots-clés :
Mooc ,
Mathématiques