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....
cours / présentation, autoévaluation, exercice, liste de références - Date de création : 10-01-2020
Partagez !

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)

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)

Diffusion

Partagez !

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
  • Entrepôt d'origine
    UNIT
  • Date de publication
    10-01-2020