Présentation

Produit par Alain Tapp de 1999 à 2019 dans le cadre d'in cours sous gradué enseigné au DIRO de l'Université de Montréal. Le cours existe toujours et porte le signe IFT2105.

Préface

J'ai enseigné avec passion le cours d'introduction a l'informatique théorique durant près de 20. Je laisse disponible le matériel que j'ai produit dans sa version finale. Le cours a été transformé en MOOC et les vidéos sont disponibles avec les notes de cours. La version LaTeX est disponible sur demande et j'ai aussi du matériel pour les travaux pratiques. Le matériel couvre a peu près 36 heures d'enseignement.

Notes de cours et vidéos

• • Chapitre 0

    • Révision des techniques de preuves

    • v0.2, v0.3, v0.4, v0.5, v0.6

  • Chapitre 1

    • Deux modèles calculatoires simples

    • v1.2, v1.3, v1.4, v1.5, v1.6, v1.7, v1.8, v1.9, v1.10

    • TP 1, TP 2, preuve

  • Chapitre 2

    • Notions préliminaires et langages réguliers

    • TP 1, TP 2

    • v2.2, v2.3, v2.4, v2.5, v2.7, v2.8

  • Chapitre 3

    • Les langages hors contexte

    • TP 1, TP 2, TP 3

    • v3.2, v3.4, v3.6, v3.8

  • Chapitre 4

    • Thèse de Church-Turing

    • v4.2

  • Chapitre 5

    • Les classes P et NP

    • v5.2, v5.3, v5.5, v5.6, v5.7, v5.9

  • Chapitre 6

    • Langages décidables et reconnaissables

    • v6.1, v6.2, v6.3, v6.4, il manque la fin

  • Chapitre 7

    • Cryptographie, vie privé, informatique quantique, inteligence artificielle.