Mathématiques pour l’informatique 2

Responsable: Christine Paulin-Mohring (paulin@lri.fr)
TD : François Gonard, Véronique Ventos
TP : Stefania Dumbrava
http://www.lri.fr/ paulin/MathInfo2

2015–16

Nouvelles

1  Objectifs

2  Organisation

Evaluation

Devoirs

Planning

Travaux Pratiques

3  Plan

Notes du cours (version provisoire, jan 2016)

  1. Table des matières
  2. Introduction
  3. Le cadre logique
  4. Graphes
  5. Système d’inférence, induction, récursion
  6. Le paysage syntaxique
  7. Équivalences et Ordres
  8. Calcul propositionnel

4  Programme officiel

5  Liens utiles

Références

[1]
André Arnold and Irène Guessarian. Mathématiques pour l’informatique. EdiScience. Dunod, 2005.
[2]
Stéphane Devismes, Pascal Lafourcade, and Michel Lévy. Informatique théorique : Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre. Ellipses, 2012.
[3]
Jacques Vélu. Méthodes mathématiques pour l’informatique. Sciences Sup. Dunod, 2005.

Ce document a été traduit de LATEX par HEVEA