Cours de logique

  • Série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités

  • Cours 1 : Langages logiques
  • Cours 2 : Règles de déduction sur les connecteurs
  • Cours 3 : Interprétation : fonctions, prédicats et connecteurs
  • Cours 4 : Règles de déduction sur les quantificateurs
  • Cours 5 : Interprétation : variables et quantificateurs
Réalisé avec SCENARI