C. Crespelle

Grands concepts de l'Informatique

L'objectif de ce cours est de faire découvrir de concepts qui dominent l'informatique au-delà de l'ordinateur.

L3 6 ECTS 24h cours + 36h TD S6 C. Crespelle

Description

Nous y découvrons d’une façon « simple » et « uniforme » l’aventure intellectuelle de la « quête épique des fondements des Mathématiques et de l’ Informatique ». Cantor, Cödel, et Turing nous enseignent le pourquoi des limites des sciences mathématique et informatique.

Cours

  1. Concepts Obligatoires: Déduction, Diagonalisation, Réduction:
  2. Concepts Optionnels : Génération aléatoire, non-déterminisme, lnteraction
  3. Applications:
    1. Le non démontrable (Gödel)
    2. Le non calculable (Turing)
    3. Le non dénombrable (Cantor)
    4. « explications » de paradoxes logiques (Roussel, Grelling,…)
    5. Raisonnement formel , informel, probabiliste …

Modalités de contrôle des connaissances

  • 2 CC à 30%
  • 1 CT à 40%

Ressources

  1. Apóstolos K. Doxiàdis, Christos Papadimitriou, Logicomix (2008)
  2. Jean-Paul Delahaye : Outils logiques pour l’intelligence (1986)
  3. Jean-Paul Delahaye : Logique, informatique et paradoxes (1998)
  4. Jean-Paul Delahaye : La Logique, un aiguillon pour la pensée (2012)
  5. Hintikka Y. On Godel (1999)