Introduction à la logique et démonstration automatique - Université Grenoble Alpes (UGA, L2, INF402), Sezione: Ressources | Caseine

Home Calendario Shared Space

Schema della sezione

- Seleziona attività Annales Les solutions sont minimalistes et ne cons...
  
  Annales
  
  Les solutions sont minimalistes et ne constituent pas un modèle de rédaction.
  
  Sujets de 2024-2025 : Partiel (avec solutions), Session 1 (avec solutions).
  
  Sujets de 2023-2024 : Partiel (avec solutions), Session 1 (avec solutions).
  
  Sujets de 2022-2023 : Partiel (avec solutions), Session 1 (avec solutions).
  
  Outils
  
  Calculette logique BDDC par Pascal Raymond.
  
  Un prouveur en déduction naturelle classique proposé par Michel Levy.
  
  Un prouveur en résolution binaire au premier ordre proposé par Michel Levy.
  
  Un site d'entraînement à la formalisation et à la déduction naturelle (inscription obligatoire mais gratuite).
  
  Livres et sites web
  
  Informatique théorique : logique et démonstration automatique par Michel Lévy, Stéphane Devismes and Pascal Lafourcade
  
  Divers
  
  De 2010 à 2012 ce cours fut enseigné par Pascal Lafourcade.
  Jusqu'en 2009 ce cours fut enseigné par Michel Levy.