Logique (mathématiques)/Objectifs

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
  • Comprendre les problématiques de la formalisation, de déduction, et de vérité
  • Savoir distinguer les logiques les plus courantes et leurs caractéristiques
  • Connaitre ses applications en mathématique, philosophie, linguistique et informatique