IN310: Mathématiques pour l'Informatique

Bienvenue sur le wiki du cours IN310.

Info pratiques

Cours les mardis de 8h00 à 9h30, amphi G.

TDs les mardis de 9h45 à 13h00,

  • Noms de A* à F*: Salle G003,
  • Noms de G* à Z*: Salle D101.

Chargé des cours: Luca De Feo http://www.prism.uvsq.fr/~dfl.

Chargés des TDS: Mariem Krichen et Luca De Feo.

Liste des cours

Cours 1 (13/09/2011)
Changements de base.
Cours 2 (20/09/2011)
Preuves par induction.
Cours 3 (27/09/2011)
Induction, Récursivité.
Cours 4 (04/10/2011)
Ensembles, Fonctions.
Cours 5 (11/10/2011)
Relations, Équivalence.
Cours 6 (18/10/2011)
Ordres, Induction, Récursivité.
Cours 7 (08/11/2011)
Calcul des propositions, Calcul des prédicats, Tableaux de Karnaugh.
Cours 8 (22/11/2011)
Calcul des prédicats, Théorie de la preuve.
Cours 9 (29/11/2011)
Combinaisons, Permutations.
Cours 10 (06/12/2011)
Isomorphisme de Curry-Howard, Problème de l’arrêt, Théorèmes de Gödel.

Allez aussi voir la Bibliographie pour approfondir les contenus du cours et vous exercer.

Liste des TDs

Voici quelques Exercices et quelques Exercices Corrigés pour vous entraîner.

Sujets d’examen