| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
|
Tri :
Date
Editeur
Auteur
Titre
|
|
|
Règles de déduction sur les connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/ 
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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
Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
|
Accéder à la ressource
|
|
|
Logique, ensembles, raisonnements
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2008
/ Unisciel
Bodin Arnaud, Boulakia Muriel, Seguin Nicolas
Voir le résumé
Voir le résumé
Cette série d'exercice est divisée en quatre parties: logique, ensembles, absurdes et contraposée, récurrence. Cette série comprend 19 exercices, des indications et les corrigés.
Mot(s) clés libre(s) : logique, ensembles, raisonnement, absurdes, contraposée, récurrence, Exo7
|
Accéder à la ressource
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
