Règles de déduction sur les connecteurs

Auteur(s) : Mathieu JAUME, Isabelle Mounier    2020-01-10,  2020-01-10  Éditeur(s) : Sorbonne Université   Sorbonne Université, UNIT   UNIT;     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 Mots-clés libres : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde Accès à la ressource : http://www.unit.eu/cours/logique-SorbonneU/co/sequ... Conditions d'utilisation : Attribution - Partage dans les mêmes conditions (CC BY-SA)

DONNEES PEDAGOGIQUES Type pédagogique : lecture, self assessment, exercise, liste de références Granularité : 3 Niveau : higher education, licence Public cible : learner Langue de l'apprenant : fre DONNEES TECHNIQUES Format : text/html

Exporter au format XML