Ressource pédagogique : Règles de déduction sur les connecteurs
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
Langue du document : 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 d'auteur : 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
Éditeur(s)
-
Sorbonne Université
Voir toutes les ressources pédagogiques -
UNIT
Voir toutes les ressources pédagogiques
Diffusion
Document(s) annexe(s) - Règles de déduction sur les connecteurs
- Cette ressource fait partie de
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
oai:www.unit.eu: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
-
Date de publication
10-01-2020