Rechercher une ressource pédagogique : représentation des preuves

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.
1 résultat
section 1 sur 1
résultats 1 à 1
UNIT
UNIT
10.01.2020
Description : Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
  • langage logique
  • représentation des preuves
  • axiome
  • règle d'affaiblissement
  • connecteur
  • logique classique
  • raisonnement par l'absurde