| Version imprimable |
Ressource documentaire
| Interprétation : variables et quantificateurs (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 la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage. Mots-clés libres : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences | 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-7387 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Interprétation : variables et quantificateurs (en Français) | |||||||||
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7387 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 la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage. Mots-clés libres : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences 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-7387 Type de ressource : Ressource pédagogique | |||||||||
| Exporter au format XML |