Ressource pédagogique : Règles de déduction sur les connecteurs
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 :
cours / présentation, autoévaluation, exercice, liste de références - Date de création : 10-01-2020
Présentation de: Règles de déduction sur les connecteurs
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Langue de l'apprenant : Français
Contenu : texte, image, son
Public(s) cible(s) : apprenant
Document : Document HTML
Droits : libre de droits, gratuit
Attribution - Partage dans les mêmes conditions (CC BY-SA)
Attribution - Partage dans les mêmes conditions (CC BY-SA)
Description de la ressource pédagogique
Description (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
- Granularité : cours
- Structure : linéaire
"Domaine(s)" et indice(s) Dewey
- Logique mathématique (Logique symbolique) (511.3)
- Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)
Thème(s)
Intervenants, édition et diffusion
Editeur(s)
-
Sorbonne Université
Voir toutes les ressources pédagogiques -
UNIT
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Mathieu JAUME
Sorbonne Université -
Isabelle Mounier
Sorbonne Université
ÉDITION
Sorbonne Université
UNIT
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7381 -
Identifiant
unit-ori-wf-1-7381 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
10-01-2020
