apprendre à apprendre
premier TP avec IDLE: utiliser direct le mémo, déclencher des erreurs…
algos efficaces:
puissance avec repr binaire de l'exposant
fibo avec matrice (1 1)(1 0)
ambiguïté de la langue française: «on sait quand on va s’arrêter»
«quand» peut signifier «à quelle condition» ou «à quel rang»
1. SLAM 4 et 5
github plus tôt
- commencer les numérations par des révisions sur les puissances, les codes
à 10 chiffres et 3 cases…
- http://christophe.prevot.free.fr/formations/unites.pdf
- arbre sys num (en commentaire html)
- bit tweaking :
- http://www.catonmat.net/blog/low-level-bit-hacks-you-absolutely-must-know/
- http://graphics.stanford.edu/~seander/bithacks.html
- exemple propositions :
- P il fait beau
- Q j’ai mon parapluie
- R je suis mouillé
- autres exemples avec
Superman
- Correction prédicats à finir, «pour tous x, non P(x)» se dit «Aucun…» et non «Tous se sont pas…».
- quantificateurs pour U21
- arith (turtle pour les sauts)
2.1. U21 Feuille 2 exo 1
i) Traduire A implique B avec not et or
ii) Dans cette expression, remplacer A par non P ou Q et B par P ou Q
iii) Continuer avec d’autres formules en changeant de A et B
formules sans lettres barre () <=> barre barre
P ou (P et ?) = (P et 1) ou (P et ?) = P et (1 ou ?) = P et 1 = P
- plus de memo Python à utiliser en ref en TP
- Commencer doucement avec des exercices simples sur les variables.
- ((x + 20)×2 )×5 ×10 + 13 - année de naissance
- feuilles de la liste SIO-Maths
- décla, init, utilisation
- plus de if imbriqués
- Tant que: Nougaro chenilles
- plus de lecture d’algo dans les feuilles d’exos
- plus de doctests dans les exos
- exo simulation div euc
- bool == True <=> bool
- Algo: Sinon Si ? Switch ?
- programmer liste des quartets
- permutations variables
- https://code.google.com/p/pybotwar/
4.1. Travailler plus
- random, randint, randint à la main (pratique et un peu de théorie)
- les tris
- TUI
5. Divers
- http://blog.matthen.com/tagged/trick
- http://www.france-ioi.org/concours/algorea2013
- strings ≠ liste de chars