Ressource pédagogique : Règles de déduction sur les quantificateurs
Ce cours est le quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs....
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 quantificateurs
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 quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs.
- 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-7385 -
Identifiant
unit-ori-wf-1-7385 -
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
