Option Calcul Symbolique premier semestre 2015-2016
L2 Informatique
, Programmer, Conjecturer, Démontrer
Horaires
•Jeudi 14h00-17h15, en salle machine PV212, Intervenant Jean-Marc Fédou,
Début des cours jeudi 10 septembre.
•Devoir surveillé Jeudi 5 Novembre, durée 2h, salle PV212 Aucun document autorisé de 14h à 16h.
• Sujet
•Devoir surveillé terminal. Mardi 15 décembre, durée 2h, de 13h à 15h, salle PV212 Aucun document autorisé. sujet. DS12-2015.nb et corrigé
•Les notes du module sont accessibles ici. Attention, pour la note globale, j’ai supposé que les absences étaient justifiées, n’oubliez pas d’envoyer aux coordonateurs les attestations d’absence.
Bibliographie :
On utilisera essentiellement l’aide en ligne et les tutoriaux de mathematica.
Un livre en français qui recouvre le contenu de ce cours est «Mathematica : Calcul formel et programmation symbolique pour l’informatique scientifique » de Rémi Barrère, publié chez Vuibert Informatique.
Vous pouvez aussi consulter ces quelques tutoriels en ligne pour commencer, il y en a bien d’autres !
- Une introduction en lycée
- Un cours de licence à Paris Sud
- Une introduction un peu plus avancée
- Mathematica en classes préparatoires
- Une archive des cours au format pdf est accessible à l’adresse
http://www.i3s.unice.fr/~fedou/wwwUnice/MMA.zip
- Vous pouvez également consulter les exercices corrigés dans «exercices et solutions» . Il faut aller dans ressources et télécharger le pdf.
Programme :
Le plan du cours est le suivant :
1. Ecrire, calculer ...
- Notebooks : styles, écriture de formules mathématiques
- L’épreuve de mathématiques du bac S ... une formalité ! Résoudre avec Mathematica l’épreuve d’analyse du bac S 2011.
- Cours 1
2. Manipuler les listes
- Consulter les tutoriels sur les listes. Plus précisément, quelles sont
- les méthodes de créations de liste
- les méthodes d’accès ou de sélection d’éléments ou de parties de listes
- les méthodes de transformation de liste.
- Cours 2
3. Les graphiques
- Formes de base
- Représentation graphique de fonctions, de courbes paramétriques
- Animations
- Cours 3,
4. Programmation itérative
- Structures de contrôle
- Génération aléatoire de permutations
- Cours 4
5. Programmation fonctionnelle
- Fonctions, fonctions anonymes
- Structures des expressions,
- Sélection, remplacement
- Au delà de Map et Apply ... Nest, Thread, Fold, Inner, Outer ...
- Cours 5,
6.Programmation fonctionnelle (suite)
- Cours 6
7.Les patterns
-- Cours 7
8.Les patterns (suite)
- Cours 8
9. Révisions : DS de décembre 2013 et sous forme de fichier zip et un corrigé
10.Devoir surveillé 2h
11. Annales
- Sujet du devoir surveillé du jeudi 8 novembre 2013, de 15h à 17h, chapitres 1 à 5.
- Devoir surveillé Jeudi 17 Janvier 2013, 15h-17h, durée 2h, mma, et une correction mma
- Devoir surveillé Jeudi 20 Janvier 2014, 15h-17h 2h, 2h, sujet
- Devoir surveillé lundi 15 décembre 2014, durée 2h, salle PV212 Aucun document autorisé : Sujet et corrigé
Evaluation : L’évaluation du module se fera à partir de deux devoirs surveillés, l’un à mi semestre , l’autre en fin de semestre. La note du module sera calculée comme suit,
• pour 60% par la note du devoir surveillé d’une heure trente en fin de semestre
• pour 40% par la note du devoir d’une heure trente à mi-semestre.