Cette année, les salles ne sont pas totalement fixées.
Vous pouvez trouver le Poly des années passées. Mon cours s’inspire fortement de ce dernier mais quelques modifications pourront avoir lieu ici et là.
Quelques résultats d’indécidabilité
Structures algébriques effectives
Introduction à l’analyse des algorithmes
Quelques exemples de calculs prenant moins d’une seconde en Sage sur mon ordinateur: demo.sage.