|
Size: 3662
Comment:
|
← Revision 39 as of 2017-02-05 17:47:03 ⇥
Size: 1195
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| == TODO == | #language fr * La même page en anglais: SageForHighSchool * La page de développement: HighSchoolDesign * La page d'organisation: MathsAuLyceeOrganisation |
| Line 3: | Line 6: |
| * contacter des enseignants pour la conception de l'interface lycée. * contacter des enseignants pour la conception d'ateliers pratiques tests * régler le problème des machines pour les ateliers pratiques * prévoir le spam général (depuis les listes du rectorat) pour les alentours du 10 Décembre |
== Projet == |
| Line 8: | Line 8: |
| == Interface SAGE adapté au programme du lycée == | A l'occasion d'une semaine dédiée à l'informatique et aux mathématiques nous présentons des travaux pouvant être réalisés sur Sage au lycée, en classes préparatoires et à la faculté. Pour le lycée, nous sommes en train de développer une interface spécifique pour laquelle un serveur est accessible depuis internet et permet de tester le logiciel en ligne: |
| Line 10: | Line 10: |
| L'utilisation de SAGE n'est pas adapté à une utilisation au niveau collège ou au niveau lycée. | [[http://sage.irem.univ-mrs.fr:8000|Serveur Sage Lycée]] |
| Line 12: | Line 12: |
| {{{ sage: P = x^2 - 2 sage: s1, s2 = P.roots() sage: s1[0] -sqrt(2) sage: s2[0] sqrt(2) sage: s1 < s2 # would like a real comparison ! -sqrt(2) < sqrt(2) # but the result is a symbolic expression }}} |
Pour l'interface standard on trouve un autre serveur |
| Line 23: | Line 14: |
| Si on veut récupérer les racines algébriques on doit utiliser: {{{ sage: R.<x> = PolynomialRing(QQ,'x') sage: P = R(x^2-2) sage: P.roots(QQbar) [(-1.414213562373095?, 1), (1.414213562373095?, 1)] }}} |
[[http://www.sagenb.org|Serveur Sage]] |
| Line 31: | Line 16: |
| Il faudrait songer à un moyen simple et agréable de gérer les racines des polynômes de degré < 5... | Quelques feuilles d'exemples sont d'ores et déjà rédigées et vous permettent d'avoir un aperçu rapide de ce qu'il est possible de faire: |
| Line 33: | Line 18: |
A faire: * franciser (?) * un peu de géométrie interactive... est-ce possible ? Extrait du programme de terminal: * suites (approximations : pi, e, sqrt(2), ...) [1ère S] * polynômes du second degré [1ère S] * étude de fonctions [1ère S] * continuité, dérivation [Tale S] * intégration [Tale S] == Lycee interface (in english !) == A sage notebook will soon appear at iml88 with a lot of exercices... be patient ;) Clearing the namespace causes some crashes (there are some general memory initialization). I make research to do it properly. For now, I use a "do it, if it works it's good" method. In the current version, what is available at initialization : Variables and numbers * t,x,y,z : are variables (in fact element of polynomial ring over QQ) * i, I : the well known complex number * e, pi : well known real numbers Rings and fields: * ZZ, QQ, RR, CC : the integers, rationals, reals and complexes. * real_part, imag_part : real and imaginary part of a complex Functions: * cos, sin, tan, arcos, ... : trigo * cosh, sinh, arctanh, ... : hyperbolic trigo * sqrt : the square root function * log, exp : logarithm in any base and exponential Dealing with polynoms: * roots : compute the roots of a polynom (just a messy "def roots(p): return p.roots") * derivative, integerate : compute the derivative and primitive Geometry: * plot : plot functions or points Arithmetic: * is_prime, gcd, lcm : standard arithmetic functions * It is possible to work modulo p but not so easily TODO: * sqrt(n) (log(n), exp(n), ...) returns a symbolic expression which does not evaluate correctly as boolean expression. == Programme (provisoire) de la journée CIRM 2010 == 10h Présentation du logiciel Sage (qui ? ) D'où est parti le projet ? Qu'est-ce qu'un logiciel libre ? Son modèle de développement. 10h30 Premiers pas avec Sage avec "l'interface lycée" les feuilles de travail langage de programmation (~python) utilisation client serveur le partage des feuilles et un exemple de feuille de travail 11H30 Exposé de recherche en s'appuyant sur Sage (Arnoux sur le fractal de Rauzy ?) 14h Ateliers pratiques (propositions de TP à différents niveaux (terminale S et prépa) proposer l'installation des TPs modèles ouvrir un appel à demande de TP pour les profs de lycées (Anne C.) Des gens prêt à réaliser des TP 16h Table ronde: quelle place pour Sage dans l'éducation ? chercheurs + développeurs + enseignants secondaires 17h30 Fin (apéro) |
* Dichotomie pour la racine de f(x) = x^3^ - x^2^ + 1 : [[http://139.124.6.88:8001/home/pub/7/|énoncé]] et [[http://sage.irem.univ-mrs.fr:8000/home/pub/0/|correction]] * [[http://sage.irem.univ-mrs.fr:8000/home/pub/2|Approximations de racine de 2]] * [[http://sage.irem.univ-mrs.fr:8000/home/pub/6/|Les polynômes]] |
La même page en anglais: SageForHighSchool
La page de développement: HighSchoolDesign
La page d'organisation: MathsAuLyceeOrganisation
Projet
A l'occasion d'une semaine dédiée à l'informatique et aux mathématiques nous présentons des travaux pouvant être réalisés sur Sage au lycée, en classes préparatoires et à la faculté. Pour le lycée, nous sommes en train de développer une interface spécifique pour laquelle un serveur est accessible depuis internet et permet de tester le logiciel en ligne:
Pour l'interface standard on trouve un autre serveur
Quelques feuilles d'exemples sont d'ores et déjà rédigées et vous permettent d'avoir un aperçu rapide de ce qu'il est possible de faire:
Dichotomie pour la racine de f(x) = x3 - x2 + 1 : énoncé et correction