Ressource documentaire
| Interprétation : fonctions, prédicats et connecteurs (en Français) | |||
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : Mathieu JAUME, Isabelle Mounier Éditeur(s) : Sorbonne Université, UNIT 10-01-2020 Description : 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. Mots-clés libres : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable | TECHNIQUE Type : lecture, self assessment, exercise, liste de références Format : text/html | ||
Entrepôt d'origine :  Identifiant : oai:www.unit.eu:unit-ori-wf-1-7383 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Interprétation : fonctions, prédicats et connecteurs (en Français) | |||||||||
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7383 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0, SupLOMFRv1.0 Droits : libre de droits, gratuit Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : JAUME MATHIEU, MOUNIER ISABELLE Éditeur(s) : Sorbonne Université, UNIT 10-01-2020, 10-01-2020 Description : 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. Mots-clés libres : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable Structure : linéaire
| PEDAGOGIQUE Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références Granularité : cours Niveau : enseignement supérieur, licence Public cible : apprenant Langue de l'apprenant : Français TECHNIQUE Type de contenu : texte, image, son Format : Document HTML RELATIONS Cette ressource fait partie de : | ||||||||
Entrepôt d'origine : Identifiant : oai:www.unit.eu:unit-ori-wf-1-7383 Type de ressource : Ressource pédagogique | |||||||||
| Exporter au format XML |