Section outline

  • Informations:

    Les documents de la DE:


    Archives:

    • Archives pales: voir plus bas dans cette même page.

    Plan prévisionnel:

    • Bloc 1: Introduction, Récursivité/Induction, Calcul propositionnel.
    • Bloc 2: Calcul propositionnel. Introduction au calcul des prédicats.
    • Bloc 3: Calcul des prédicats. Complétude du calcul des prédicats .Grands théorèmes du calcul des prédicats.
    • Bloc 4: Incomplétude. Introduction aux Machines de Turing.
    • Bloc 5: Machines de Turing. Modèles de Calculs. Thèse de Church-Turing. Calculabilité.
    • Bloc 6: Calculabilité. Révisions
    • Bloc 7: Preuve du théorème d'incomplétude. Introduction à la complexité
    • Bloc 8: Complexité en temps. NP-complétude.
    • Bloc 9: NP-complétude: suite.
    • Bloc 10: Autres complexités.