IFT2105 ­ automne 2009

Introduction à l'informatique théorique
 

PRÉALABLES
(IFT1015 et IFT1065 ) ou (IFT1010 et IFT1063 )
 

PROFESSEUR

Alain Tapp
Bureau: 3345
Tél: 514-250-9774
E-mail: tappa@iro.umontreal.ca

DÉMONSTRATEUR(S)

    • Adrien Lemaître

HORAIRE

    • Horaire
    • Disponibilité d'Alain Tapp:
    • Disponibilité de Adrien Lemaître:

BIBLIOGRAPHIE

  • Notes de cours disponibles sur le web.
  • Michael Sipser. Introduction to the Theory of Computation. PWS (Brooks/Cole) 1997. ISBN 0-534-94728-X.
  • John E. Hopcroft, Rajeev Motwani, et Jeffrey D. Ullman. Introduction to AutomataTheory, Languages, and Computation 2e édition. Addison-Wesley 2000. ISBN 0-201-44124-1.
  • Pierre Wolper. Introduction à la calculabilité. 2e édition. Dunod 2001. ISBN 2-10-004853-8.

ÉVALUATION

Devoirs: 30% Intra: 30% Final: 40%

Les deux examens seront à livre fermé et l'examen final portera sur la matière de toute la session. Il y aura 5 devoirs à caractère théorique, dont les numéros ne seront pas nécessairement tous corrigés. Si la note moyenne aux examens n'atteint pas le seuil de 40%, le cours est échoué.

Important: Vous êtes encouragés à faire vos devoirs en groupes de deux ou trois et à remettre une seule copie par groupe.
Important: Aucun devoir ne sera accepté après la date de remise.
Important: Nous serons impitoyables avec les plagiaires.

NOTES DE COURS

Veuillez noter que les versions préliminaires présentement disponible peuvent être changées après le cours pour y correspondre mieux.

DÉMONSTRATIONS

Démonstrations

DEVOIRS

 

AUTRES DOCUMENTS
The emperor's new mind: Concerning Computers, Minds, and the Laws of Physics
Gödel, Escher, Bach. Les Brins d'une Guirlande Eternelle
 
MATÉRIEL
Machine de Turing (enregistrer la cible sous...)
Exemples
 
PLAN DE L'INTRA

Plan de l'intra (2009)

 
PLAN DU FINAL
Plan du final (2009)