Ressource pédagogique : Interprétation : fonctions, prédicats et connecteurs

Ce cours est le troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi q...
cours / présentation, autoévaluation, exercice, liste de références - Date de création : 10-01-2020
Partagez !

Présentation de: Interprétation : fonctions, prédicats et 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)

Description de la ressource pédagogique

Description (résumé)

Ce cours est le troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques.

  • 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-7383
  • Identifiant
    unit-ori-wf-1-7383
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Date de publication
    10-01-2020