Interprétation : fonctions, prédicats et connecteurs

Auteur(s) : Mathieu JAUME, Isabelle Mounier    2020-01-10,  2020-01-10  Éditeur(s) : Sorbonne Université   Sorbonne Université, UNIT   UNIT;     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 Accès à la ressource : http://www.unit.eu/cours/logique-SorbonneU/co/sequ... Conditions d'utilisation : Attribution - Partage dans les mêmes conditions (CC BY-SA)

DONNEES PEDAGOGIQUES Type pédagogique : lecture, self assessment, exercise, liste de références Granularité : 3 Niveau : higher education, licence Public cible : learner Langue de l'apprenant : fre DONNEES TECHNIQUES Format : text/html

Exporter au format XML