Тема: Resources | Introduction to logic and automated proof (UGA, L2, INF432) | Caseine

Начална страница Календар Shared Space

Схема на раздела

- Изберете дейност Annales Les solutions sont minimalistes et ne cons...
  
  Archives
  
  The provided solutions are minimalistic and do not reflect the expected level of writing.
  
  2024-2025 Subjects: Midterm (with solutions), 1st Session (with solutions).
  
  2023-2024 Subjects: Midterm (with solutions), 1st Session (with solutions).
  
  Tools
  
  Logic calculator BDDC by Pascal Raymond.
  
  A classical natural deduction prover offered by Laurent Théry.
  Also available as an Android app.
  
  A classical natural deduction prover offered by Michel Levy.
  
  A first-order binary resolution prover offered by Michel Levy.
  
  A training website for formalization and natural deduction (subscription is mandatory but free).
  
  Books and web sites
  
  Informatique théorique : logique et démonstration automatique par Michel Lévy, Stéphane Devismes and Pascal Lafourcade
  
  Miscellaneous
  
  From 2010 to 2012 this lecture was given by Pascal Lafourcade.
  Until 2009 it was taught by Michel Levy.