Cette page est la page officielle du cours 2010/2011 « LOGIQUE (MLO) ». Elle est alimentée au fur et à mesure de l'avancée du cours

• Nouvelles fraîches
• Notes de cours
• TD et TP
• Equipe pédagogique
• Evaluation
• Annales
• Bibliographie
• Autres liens

Nouvelles fraîches

• Corrigé de l'interro 2011 : Corrigé
  
• Corrigé de l'interro Strasbourg : Corrigé
• Corrigé du contrôle final : Corrigé

Notes de cours

• Le cours sur l'induction (PDF)
  
• Logique propositionnelle PDF complété
  
• Logique des prédicats 1ère partie
  

TD et TP

• Corrigé partiel du TD 6 ici Complément : Ralph et Harry en déduction naturelle

Annales

• Interro groupes 1 et 2 texte corrigé
  
• Interro des groupes 3 et 4 texte corrigé
  
• Correction du contrôle final mai 2010 Correction
  

Équipe pédagogique

Catherine Dubois
Louis Gacogne
William Bartlett
Guillaume Burel

Evaluation

Contrôle continu et contrôle final

Bibliographie

A. Arnold, I. Guessarian, Mathématiques pour l'Informatique , 4ème édition, Dunod, 2005
R. David, K. Nour, C. Raffalli, Introduction à la logique. Dunod, 2001
G. Dowek, La logique. Flammarion, 1995
R. Lalement, Logique, Réduction, Résolution. Masson, 1990

Autres liens

---