Retour à la dernière recherche Version imprimable

Ressource documentaire

Interprétation : variables et quantificateurs (en Français)


URL d'accès : http://www.unit.eu/cours/logique-SorbonneU/co/sequ...

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)


URL d'accès : http://www.unit.eu/cours/logique-SorbonneU/co/sequ...

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

Classification UNIT : Mathématiques > Fondamentaux
Mathématiques > Mathématiques inductives déductives
Classification : Mathématiques et Sciences de la nature et de la matière > Mathématiques
Philosophie et psychologie > Logique
Indice(s) Dewey:  (511.3)
Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)


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 :
  • Cours de logique



Entrepôt d'origine : 
Identifiant : oai:www.unit.eu:unit-ori-wf-1-7387
Type de ressource : Ressource pédagogique
Exporter au format XML