1 ressource : relation de conséquence sémantique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
UNIT
Interprétation : fonctions, prédicats et connecteurs
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 ...
Mots clés : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
 En savoir plus
 Description complète
Interprétation : fonctions, prédicats et connecteurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé