RECHERCHER PAR
Ressources à découvrir aujourd'hui
10/01/2020
Interprétation : fonctions, prédicats et connecteurs
JAUME Mathieu, Mounier Isabelle
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 ...