Ressource documentaire
| Règles de déduction sur les connecteurs (en Français) | |||
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : Mathieu JAUME, Isabelle Mounier Éditeur(s) : Sorbonne Université, 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 Mots-clés libres : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde | TECHNIQUE Type : lecture, self assessment, exercise, liste de références Format : text/html | ||
Entrepôt d'origine :  Identifiant : oai:www.unit.eu:unit-ori-wf-1-7381 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Règles de déduction sur les connecteurs (en Français) | |||||||||
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7381 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0, SupLOMFRv1.0 Droits : libre de droits, gratuit Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : JAUME MATHIEU, MOUNIER ISABELLE Éditeur(s) : Sorbonne Université, UNIT 10-01-2020, 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 Mots-clés libres : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde Structure : linéaire
| PEDAGOGIQUE Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références Granularité : cours Niveau : enseignement supérieur, licence Public cible : apprenant Langue de l'apprenant : Français TECHNIQUE Type de contenu : texte, image, son Format : Document HTML RELATIONS Cette ressource fait partie de : | ||||||||
Entrepôt d'origine : Identifiant : oai:www.unit.eu:unit-ori-wf-1-7381 Type de ressource : Ressource pédagogique | |||||||||
| Exporter au format XML |