29890 ressources en auto-formation

Ressources à découvrir aujourd'hui

Présentation de la ressource en auto-formation Interprétation : fonctions, prédicats et connecteurs cours / présentation, autoévaluation, exercice, liste de références
10/01/2020
Interprétation : fonctions, prédicats et connecteurs
Auteur(s) : 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 ...