Retour à la dernière recherche Version imprimable

Ressource documentaire

Interprétation : fonctions, prédicats et connecteurs (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 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)


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-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

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-7383
Type de ressource : Ressource pédagogique
Exporter au format XML